Proposes a new approach to learn predicates from data.
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.
Trend · papers per month
Paper introduces techniques to learn higher-order programs, improving predictive accuracy and reducing learning times.
Automatically learns hierarchical soft concepts for LRNNs.
ABae efficiently computes subset means with expensive predicates using stratified sampling.
A new method learns graph-level features for drug properties predication.
Graph neural networks struggle with proving unsatisfiability in complex logical formulas.
TSPRA integrates topics, sentiment, and user preference for better online review prediction and analysis.
Paper converts quantiles to cumulative distribution functions to simplify risk measures.
Paper proposes a novel RRL framework that learns from images and incorporates expert knowledge.
Contradiction graphs reveal VC dimension threshold.
Ensembles of classification and regression trees remain popular machine learning methods because they define flexible non-parametric models that predict well and are computationally efficient both during training and testing. During induction of decision trees one aims to find predicates that are maximally informative …
New method finds rare dense clusters in asymmetric binary perceptrons, resolving algorithmic hardness.
Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the formulation of knots in terms of braids and some basic topological results. Concretely, Knot theory is formulated in terms of a language with…
Historically, the banking multiplier has been in a range of 4 to 100, with 25% to 1% reserve ratios at most layers of the banking system encompassing the majority of its range in recent centuries. Here it is shown that multipliers over 1 000 can occur from a new mechanism in banking. This new multiplier uses a default …
A novel approach to improve knowledge base completion using tensor decomposition.
Recurrent iterated function systems (RIFSs) are improvements of iterated function systems (IFSs) using elements of the theory of Marcovian stochastic processes which can produce more natural looking images. We construct new RIFSs consisting substantially of a vertical contraction factor function and nonlinear transform…
CNNs reveal retinal ganglion cell features, linking visual processing to neuroscience.
We prove a compactness result for minimal hypersurfaces with bounded index and volume, which can be thought of as an extension of the compactness theorem of Choi-Schoen (Invent. Math. 1985) to higher dimensions.
Surprise predicts breakthroughs in science and technology.
We use the wrinkling theorem proven in Y. Eliashberg and N. Mishachev, "Wrinkling of smooth mappings and its applications - I", Invent. Math., 130(1997), 345-369, to fully describe the homotopy type of the space of S-immersions, i.e. equidimensional folded maps with prescribed folds.
This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673]. We prove compactness results for moduli spaces of holomorphic curves arising in…
Proposes OpenKI for better web-scale knowledge extraction and alignment.
In the present paper, we develop the parity theory invented in \cite{ManSb}; we construct new parities for two-component (virtual and free) links. New parities significantly depend on geometrical properties of diagrams; in particular, they are mutation-sensitive. New parities can be used practically in all problems, wh…
Link equivalence determined by Goeritz matrices.
We show how the machine of PROP profiles invented by S. Merkulov can be used to study and classify natural operators in differential geometry. We also give an interpretation of graph complexes arising in this context in terms of representation theory. As application, we prove several results on classification of natura…
Transformers for binary decisions are sensitive to evidence order, leading to unreliable outcomes.
Deep learning helps predict epileptic seizures from EEG data.
This work fine-tunes GPT-2 for generating patent claims.
Induction of common sense knowledge about prototypical sequences of events has recently received much attention. Instead of inducing this knowledge in the form of graphs, as in much of the previous work, in our method, distributed representations of event realizations are computed based on distributed representations o…
In this paper, we study the limiting properties of the energy for smooth hypersurfaces in the projective spaces. Our result generalizes the result of Ding-Tian (W. Ding and G. Tian. Kähler-Einstein metrics and the generalized Futaki invariant. {\em Invent Math}, 110:315-335, 1992.) in the case of hypersurfaces. In …
Study on fractional curvature flow on unit sphere, extending previous work.
We show that the subsurface projection of a train track splitting sequence is an unparameterized quasi-geodesic in the curve complex of the subsurface. For the proof we introduce induced tracks, efficient position, and wide curves. This result is an important step in the proof that the disk complex is Gromov hyperbolic…
We prove a generalization of Bennequin's inequality for Legendrian knots in a 3-dimensional contact manifold (Y,xi), under the assumption that Y is the boundary of a 4-dimensional manifold M and the version of Seiberg-Witten invariants introduced by Kronheimer and Mrowka [Invent. Math. 130 (1997) 209-255] is nonvanishi…
Automatically constructs models from time series data in seconds.
Using the reformulation in divergence form of the Euler-Lagrange equation for the Willmore functional as it was developed in "Analysis of the Willmore Functional" by T. Riviere (Invent. Math. 174), we study the limit of a local Palais-Smale sequence of weak Willmore immersions with locally square-integrable second fund…
The model describing market dynamics after a large financial crash is considered in terms of the stochastic differential equation of Ito. Physically, the model presents an overdamped Brownian particle moving in the nonstationary one-dimensional potential under the influence of the variable noise intensity, dependin…
The paper proves existence of special surfaces in 3D manifolds with constant curvature.
This study analyzes cryptocurrencies to reveal their homogeneity and heterogeneity.
Post-quantum cryptography needed for blockchain security.
Quantum trace map connects Teichmüller theory and quantum groups.
We define an extended Bloch group and show it is naturally isomorphic to H_3(PSL(2,C)^δ;Z). Using the Rogers dilogarithm function this leads to an exact simplicial formula for the universal Cheeger-Chern-Simons class on this homology group. It also leads to an independent proof of the analytic relationship between volu…
Four decades after their invention, quasi-Newton methods are still state of the art in unconstrained numerical optimization. Although not usually interpreted thus, these are learning algorithms that fit a local quadratic approximation to the objective function. We show that many, including the most popular, quasi-Newto…
Study finds weak solutions for complex map flows with optimal lifespan.
New meta-learning method outperforms human-designed architectures in dense image prediction tasks.
In this paper we investigate the "area blow-up" set of a sequence of smooth co-dimension one manifolds whose first variation with respect to an anisotropic integral is bounded. Following the ideas introduced by White in (J. Differential Geom., 2016), we show that this set has bounded (anisotropic) mean curvature in the…
The original k-means clustering method works only if the exact vectors representing the data points are known. Therefore calculating the distances from the centroids needs vector operations, since the average of abstract data points is undefined. Existing algorithms can be extended for those cases when the sole input i…
Following T.-J. Li, W. Zhang [Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds, Comm. Anal. Geom.], we continue to study the link between the cohomology of an almost-complex manifold and its almost-complex structure. In particular, we apply the same argument in [T…
A non-Hermitean extension of paradigmatic Wishart random matrices is introduced to set up a theoretical framework for statistical analysis of (real, complex and real quaternion) stochastic time series representing two "remote" complex systems. The first paper in a series provides a detailed spectral theory of non-Hermi…