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,878 papers · 148 categories

Trend · papers per month

25.0%50.0%75.0%100.0% · Dec 199219922001200920172026
48 results for expressive rules

New framework learns interpretable rule ensembles without sacrificing accuracy.

problem Trade-off between accuracy and interpretability in rule ensembles.
method Introduces local interpretability and a regularizer to promote it, using coordinate descent with local search.
result Learns rule ensembles with fewer rules to explain individual predictions, maintaining comparable accuracy.

Simplified holonomy map for ruled submanifolds in graded manifolds.

problem Characterizing deformability of ruled submanifolds in graded manifolds.
method Introducing natural coordinates and higher dimensional holonomy map for ruled submanifolds.
result Characterization of singularities and deformability criterion for ruled submanifolds.

Symbolic regression is a type of discrete optimization problem that involves searching expressions that fit given data points. In many cases, other mathematical constraints about the unknown expression not only provide more information beyond just values at some inputs, but also effectively constrain the search space. …

2019-01-23abs ↗pdf ↗

Proposes a neural network for efficient imbalance electricity price forecasting.

problem Accurate and efficient imbalance electricity price forecasting in industrial energy trading systems.
method Market-rule-informed neural network framework.
result The proposed model achieves competitive forecasting performance with fewer parameters and shorter training time.

Study ruled surfaces in 3D Riemannian manifolds, determining curvature and striction curves.

problem Characterize ruled surfaces in 3D Riemannian manifolds.
method Determine extrinsic and sectional curvature, introduce Sannia frame, characterize striction curves.
result Prove existence and uniqueness of striction curves in space forms, disprove in others.

In the artificial intelligence field, learning often corresponds to changing the parameters of a parameterized function. A learning rule is an algorithm or mathematical expression that specifies precisely how the parameters should be changed. When creating an artificial intelligence system, we must make two decisions: …

2017-06-09abs ↗pdf ↗

New methods prune unpromising rules from KGs, improving scalability and runtime.

problem Scalability issues in walk-based rule learning from KGs.
method Rule Hierarchy Framework (RHF) and Hierarchical Pruning (HPMs).
result Significant reductions in runtime and number of learned rules without compromising predictive performance.

In this work, we consider the hedging error due to discrete trading in models with jumps. Extending an approach developed by Fukasawa [In Stochastic Analysis with Financial Applications (2011) 331-346 Birkhäuser/Springer Basel AG] for continuous processes, we propose a framework enabling us to (asymptotically) optimize…

2011-08-30abs ↗pdf ↗

It is "well known" that there is no explicit expression for the Black-Scholes implied volatility. We prove that, as a function of underlying, strike, and call price, implied volatility does not belong to the class of D-finite functions. This does not rule out all explicit expressions, but shows that implied volatility …

2012-11-21abs ↗pdf ↗

A nonparametric kernel-based method for realizing Bayes' rule is proposed, based on representations of probabilities in reproducing kernel Hilbert spaces. Probabilities are uniquely characterized by the mean of the canonical map to the RKHS. The prior and conditional probabilities are expressed in terms of RKHS functio…

2010-09-29abs ↗pdf ↗

We analyze families of non-autonomous systems of first-order ordinary differential equations admitting a common time-dependent superposition rule, i.e., a time-dependent map expressing any solution of each of these systems in terms of a generic set of particular solutions of the system and some constants. We next study…

2010-03-18abs ↗pdf ↗

The paper connects knot homology, quantum 6j-symbols, and complements of knots.

problem Investigating the relationship between knot homology, quantum 6j-symbols, and knot complements.
method Developed a grading rule for HOMFLY-PT and Kauffman homology, found relationships between A-polynomials, and conjectured closed-form expressions for quantum 6j-symbols and knot complements.
result Closed-form expressions for SO(N) quantum 6j-symbols and conjectured expressions for (a,t)-deformed F_K for knot complements.

We present a framework for autonomously learning a portable representation that describes a collection of low-level continuous environments. We show that these abstract representations can be learned in a task-independent egocentric space specific to the agent that, when grounded with problem-specific information, are …

2019-05-28abs ↗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.

Novel approach for creating interpretable classifiers using bilevel optimization of split-rules in NLDTs.

problem Creating highly accurate and easily interpretable classifiers for practical applications.
method Representing classifiers as assemblies of simple mathematical rules using NLDTs with evolutionary bilevel optimization.
result The approach ensures interpretability while achieving high accuracy on various classification problems.

New scoring rules for multivariate distributions and level sets.

problem Evaluating forecast accuracy for multivariate distributions and level sets.
method Theoretical framework for scoring rules, decomposition of multivariate scoring functions, numerical algorithm for computation.
result New scoring functions for multivariate distributions and level sets, including density and cumulative distribution level sets.

In this paper, we describe the "implicit autoencoder" (IAE), a generative autoencoder in which both the generative path and the recognition path are parametrized by implicit distributions. We use two generative adversarial networks to define the reconstruction and the regularization cost functions of the implicit autoe…

2018-05-24abs ↗pdf ↗

New model captures complex relationships from experimental data.

problem Capturing intricate feature interactions in empirical data.
method Shape Arithmetic Expressions (SHAREs) combining GAMs and mathematical expressions.
result SHAREs model captures complex feature interactions.

GCNs struggle with learning graph moments, but modular designs improve their performance.

problem GCNs' limitations in learning graph moments.
method Investigated through graph moments, analyzed expressiveness, designed modular GCNs.
result Modular GCNs using different propagation rules can distinguish graphs from various models.

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.

Geometric pruning rules improve change point detection in multiple time series.

problem Detecting multiple changes in multiple independent time series.
method Dynamic programming algorithms with inequality-based and geometric pruning rules.
result Geometric pruning rules offer close-to-linear time complexity for multiple independent time series.

We propose a new Bayesian model for flexible nonlinear regression and classification using tree ensembles. The model is based on the RuleFit approach in Friedman and Popescu (2008) where rules from decision trees and linear terms are used in a L1-regularized regression. We modify RuleFit by replacing the L1-regularizat…

2017-02-16abs ↗pdf ↗

The paper introduces new portfolio rules beyond mean-variance, addressing asymmetry and uncertainty.

problem Optimizing portfolios with asymmetric returns and uncertainty in expected returns.
method Derives allocation rules for asymmetric Laplace distributed returns and random normal expected returns. Addresses singular covariance matrices and uncertainty in returns.
result Optimal worst-case scenario solution provides a convex alternative to risk parity, improving portfolio stability.

Characterizes surfaces enveloped by rotating cones for CNC machining.

problem Characterizing surfaces enveloped by rotating cones for CNC machining.
method Derives higher-order nonlinear PDEs for enveloping surfaces, including local approximations.
result Characterizations generalize previous work on developable and ruled surfaces.

Study curvature and torsion from cross-ratios in discrete curves.

problem Define curvature and torsion for discrete curves using cross-ratios.
method Use Möbius invariant point-insertion-rule to construct circles and express torsion using cross-ratio.
result Discrete curvature and torsion defined using cross-ratios converge to smooth curvature and torsion as sampling density increases.

We consider the problem of high-dimensional classification between the two groups with unequal covariance matrices. Rather than estimating the full quadratic discriminant rule, we propose to perform simultaneous variable selection and linear dimension reduction on original data, with the subsequent application of quadr…

2017-11-13abs ↗pdf ↗

Paper introduces a statistical framework for watermarking LLM-generated text.

problem Detecting LLM-generated text from human-written text with statistical signals.
method Hypothesis testing formulation, pivotal statistic selection, secret key, closed-form expression of false negative rate, minimax optimization.
result Derives optimal detection rules for LLM-generated text, demonstrating higher power than existing methods.

We study power expansions of the characteristic function of a linear operator AA in a pqp|q-dimensional superspace VV. We show that traces of exterior powers of AA satisfy universal recurrence relations of period qq. `Underlying' recurrence relations hold in the Grothendieck ring of representations of $\GL(V)$. The…

2003-09-10abs ↗pdf ↗

Transformers model contextual relations using probabilistic measures, revealing their expressive power.

problem Lack of clear understanding of Transformer's ability to model contextual relations.
method Introduced a measure-theoretic framework connecting softmax attention and entropy-regularized optimal transport.
result Transformer architectures can approximate arbitrary contextual relations, and the choice of normalization affects how these relations are represented.

The correlation functions of supersymmetric gauge theories on a four-manifold X can sometimes be expressed in terms of topological invariants of X. We show how the existence of superconformal fixed points in the gauge theory can provide nontrivial information about four-manifold topology. In particular, in the example …

1998-12-07abs ↗pdf ↗

Search-based methods for hard combinatorial optimization are often guided by heuristics. Tuning heuristics in various conditions and situations is often time-consuming. In this paper, we propose NeuRewriter that learns a policy to pick heuristics and rewrite the local components of the current solution to iteratively i…

2018-09-30abs ↗pdf ↗

A conformal procedure improves CoT reasoning by aggregating reasoning paths and calibrating abstention rules.

problem Aggregation uncertainty in chain-of-thought reasoning makes correct answers less reliable.
method Introduces a conformal procedure for CoT reasoning that uses weighted score aggregation and abstention rules.
result Achieves higher selective accuracy with abstention, reducing confident-error rate.

Boosting combines weak hypotheses to create accurate predictions under bounded VC dimension.

problem How to combine weak hypotheses to achieve accurate predictions efficiently.
method Designing a novel boosting algorithm with complex aggregation rules for bounded VC dimension classes.
result The new boosting algorithm requires fewer weak hypotheses than classical lower bounds, provided they belong to a bounded VC class.

We propose a probabilistic framework to directly insert prior knowledge in reinforcement learning (RL) algorithms by defining the behaviour policy as a Bayesian posterior distribution. Such a posterior combines task specific information with prior knowledge, thus allowing to achieve transfer learning across tasks. The …

2018-09-30abs ↗pdf ↗

New bounds prevent degradation in high-dimensional signal estimation.

problem Statistical learning bounds degradation with increasing dimensionality.
method Investigates linear prediction rules under structural assumptions.
result Derives upper and lower bounds on generalization error.