Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,695 papers · 148 categories

Trend · papers per month

3.6%7.1%10.7%14.3% · Oct 199219922001200920172026
48 results for sequencing rules

A new sequencing rule prevents miners from front-running transactions in decentralized exchanges.

problem Miners exploit their privileged position to front-run transactions, leading to unfair profits.
method Introduce verifiable sequencing rules that constrain transaction execution order and are verifiable.
result A verifiable sequencing rule ensures users receive at least fair execution prices, preventing front-running.

System uses neural networks to prove program equivalence via rewrite rules.

problem Proving equivalence between two dataflow graphs.
method Developed a graph-to-sequence neural network trained on example generation to find semantics-preserving rewrite rules.
result System correctly outputs a rewrite sequence for 96% of program pairs, proving equivalence.

When people learn mathematical patterns or sequences, they are able to identify the concepts (or rules) underlying those patterns. Having learned the underlying concepts, humans are also able to generalize those concepts to other numbers, so far as to even identify previously unseen combinations of those rules. Current…

2020-01-13abs ↗pdf ↗

We study the Calabi functional on a ruled surface over a genus two curve. For polarisations which do not admit an extremal metric we describe the behaviour of a minimising sequence splitting the manifold into pieces. We also show that the Calabi flow starting from a metric with suitable symmetry gives such a minimising…

2007-03-19abs ↗pdf ↗

This paper shows that every Gromov hyperbolic group can be described by a finite subdivision rule acting on the 3-sphere. This gives a boundary-like sequence of increasingly refined finite cell complexes which carry all quasi-isometry information about the group. This extends a result from Cannon and Swenson in 1998 th…

2017-08-08abs ↗pdf ↗

Develops anytime-valid stopping rules for SGD based on observed trajectory.

problem Stopping stochastic gradient descent (SGD) based on observed trajectory.
method Develops anytime-valid confidence sequences for stochastic gradient methods.
result Statistically valid, time-uniform stopping rules for SGD across convex and nonconvex settings.

We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect properties such as growth, ends, divergence, etc. We include figures of several worked…

2013-07-06abs ↗pdf ↗

A model learns stock trading rules from raw prices using encoder-decoder neural network.

problem Extracting features from long price sequences for profitable trading rules.
method Neural encoder-decoder framework combined with DRL.
result The model outperforms state-of-the-art models in dynamic environments.

Many widely studied graphical models with latent variables lead to nontrivial constraints on the distribution of the observed variables. Inspired by the Bell inequalities in quantum mechanics, we refer to any linear inequality whose violation rules out some latent variable model as a "hidden variable test" for that mod…

2011-06-08abs ↗pdf ↗

Wittgenstein's Rule Following evolves datasets by extrapolating structural descriptors.

problem Generating meaningful continuations of evolving datasets.
method Wittgenstein's Rule Following (WRF) uses structural descriptors to extrapolate trajectories and average historical descriptors.
result WRF can generate meaningful continuations of evolving datasets.

In this short note, we give an explicit construction of inequivalent Lefschetz pencils and fibrations of same genera on blow-ups of all rational and ruled surfaces. This complements our earlier results, concluding that every symplectic 4-manifold, after sufficiently many blow-ups, admits inequivalent Lefschetz pencils …

2018-06-01abs ↗pdf ↗

Study efficient sequential evaluation of large language models using historical data.

problem Sequentially evaluate a new large language model (LLM) on a fixed question set.
method Construct a confidence sequence (CS) and design active querying rules to shrink CS width.
result Simple uniform sampling can sometimes outperform adaptive querying rules.

New rules control false discoveries in online anomaly detection for time series data.

problem Controlling false discoveries in anomaly detection for time series data.
method Novel online false discovery rate control (FDRC) rules for time series anomaly detection.
result Ensures high power in detecting anomalies even when the alternative is rare and test statistics are serially dependent.

We consider a skew ruled surface ΦΦ in the Euclidean space E3E^{3} and relative normalizations of it, so that the relative normals at each point lie in the corresponding asymptotic plane of ΦΦ. We call such relative normalizations and the resulting relative images of ΦΦ \emph{asymptotic}. We determine all ruled surf…

2013-07-23abs ↗pdf ↗

HRTPP improves TPP interpretability and accuracy in medical event modeling.

problem Lack of interpretability in TPPs for medical event sequences.
method Hybrid-Rule Temporal Point Processes (HRTPP) integrating temporal logic rules and numerical features.
result HRTPP outperforms state-of-the-art interpretable TPPs in predictive performance and clinical interpretability.

We give a simple construction of the Bernstein-Gelfand-Gelfand sequences of natural differential operators on a manifold equipped with a parabolic geometry. This method permits us to define the additional structure of a bilinear differential cup product on this sequence, satisfying a Leibniz rule up to curvature terms.…

2000-01-27abs ↗pdf ↗

We propose a method to extract interpretable rules from tree ensembles.

problem Tree ensembles are accurate but hard to interpret.
method Propose an estimator to extract compact sets of decision rules from tree ensembles.
result Our estimator improves accuracy and reveals useful relationships in the data.

We consider the setting of sequential prediction of arbitrary sequences based on specialized experts. We first provide a review of the relevant literature and present two theoretical contributions: a general analysis of the specialist aggregation rule of Freund et al. (1997) and an adaptation of fixed-share rules of He…

2012-07-09abs ↗pdf ↗

This work bounds classification error in machine learning for low Bayes error conditions.

problem Understanding the error mismatch between Bayes error and model-based classification error.
method Applying classification error bounds to study the relationship with Kullback-Leibler divergence and proposing a linear approximation for low Bayes error conditions.
result A linear approximation of the classification error bound for low Bayes error conditions is proposed.

E-valuator converts verifier scores into reliable decision rules.

problem Ensuring the correctness of agent trajectories based on heuristic scores.
method Sequential hypothesis testing framework for online monitoring of agent trajectories.
result E-valuator provides better false alarm rate control and statistical power than other strategies.

Generative networks minimize predictive scoring rules for probabilistic forecasting.

problem Evaluating and improving probabilistic forecasts using generative models.
method Training generative networks to minimize predictive-sequential scoring rules on temporal sequences.
result Our method outperforms adversarial approaches in probabilistic calibration.

For each graph we construct graded cohomology groups whose graded Euler characteristic is the chromatic polynomial of the graph. We show the cohomology groups satisfy a long exact sequence which corresponds to the well-known deletion-contraction rule. This work is motivated by Khovanov's work on categorification of the…

2004-12-13abs ↗pdf ↗

Improves text-to-speech speed by interleaving character reading and audio synthesis.

problem Latency in text-to-speech models limits their use in time-sensitive tasks.
method Reinforcement learning to train an agent to choose the order of character reading and audio synthesis.
result The proposed method successfully balances latency and audio quality.

New algorithms optimize decision rules in strategic scenarios, minimizing prediction risk and incentivizing better outcomes.

problem Strategic agents manipulate features to improve outcomes, complicating decision-making models.
method Efficient algorithms for learning decision rules that minimize prediction risk, incentivize better outcomes, and estimate true model coefficients.
result Optimal decision rules can be learned through testing and observing agent responses, circumventing hardness results.

The Chekanov-Eliashberg differential graded algebra of a Legendrian knot L is a rich source of Legendrian knot invariants, as is the theory of generating families. The set P(L) of homology groups of augmentations of the Chekanov-Eliashberg algebra is an invariant, as is a count of objects from the theory of generating …

2014-06-30abs ↗pdf ↗

This thesis improves deep sequence models by integrating probabilistic methods for uncertainty quantification.

problem Lack of uncertainty awareness in deep sequence models limits their deployment.
method Develops approximate Bayesian inference methods for Transformers and HiPPOs, leveraging inductive biases.
result Improves predictive and generative performance of deep sequence models by incorporating probabilistic structures.

In this paper, we show that standard feed-forward and recurrent neural networks fail to learn abstract patterns based on identity rules. We propose Relation Based Pattern (RBP) extensions to neural network structures that solve this problem and answer, as well as raise, questions about integrating structures for induct…

2018-12-06abs ↗pdf ↗

A method for concept-based learning using probabilistic inference and expert rules.

problem Concept-based learning with limited training data.
method Divide images into patches, transform into embeddings, cluster, and use frequentist inference to find concepts.
result FI-CBL outperforms concept bottleneck model in small data scenarios.

Proposes a method to train neural networks directly on compressed text data.

problem Training neural networks on compressed text data without decompression.
method Introduces composer modules to encode symbols from grammar compression rules into vector representations.
result Demonstrates that the proposed method can achieve both memory and computational efficiency while maintaining moderate performance.

Efficiently clusters data sequences with varying distributions.

problem Sequentially grouping data sequences with fixed error probability.
method Proposes Efficient Bandit Clustering (EBC) algorithm for asymptotic optimality and computational efficiency.
result EBC and EBC-H achieve better performance and computational efficiency compared to existing methods.

Sequences have become first class citizens in supervised learning thanks to the resurgence of recurrent neural networks. Many complex tasks that require mapping from or to a sequence of observations can now be formulated with the sequence-to-sequence (seq2seq) framework which employs the chain rule to efficiently repre…

2015-11-19abs ↗pdf ↗

Connections between nodes of fully connected neural networks are usually represented by weight matrices. In this article, functional transfer matrices are introduced as alternatives to the weight matrices: Instead of using real weights, a functional transfer matrix uses real functions with trainable parameters to repre…

2017-10-28abs ↗pdf ↗

Dynamic treatment regimes are of growing interest across the clinical sciences as these regimes provide one way to operationalize and thus inform sequential personalized clinical decision making. A dynamic treatment regime is a sequence of decision rules, with a decision rule per stage of clinical intervention; each de…

2010-06-30abs ↗pdf ↗

New method improves Robbins-Monro algorithm convergence with prior information.

problem Improving convergence speed of Robbins-Monro algorithm.
method Integrates prior information into Robbins-Monro iteration without regression model.
result Prior-information Robbins-Monro sequence converges faster than standard.

We define two transforms between minimal surfaces with non-circular ellipse of curvature in the 5-sphere, and show how this enables us to construct, from one such surface, a sequence of such surfaces. We also use the transforms to show how to associate to such a surface a corresponding ruled minimal Lagrangian submanif…

2005-02-17abs ↗pdf ↗

We analyze a model of learning and belief formation in networks in which agents follow Bayes rule yet they do not recall their history of past observations and cannot reason about how other agents' beliefs are formed. They do so by making rational inferences about their observations which include a sequence of independ…

2015-09-30abs ↗pdf ↗