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.
New experiments show Gauss diagrams not all as simple as previously thought.
Killing tensor fields have been thought of as describing hidden symmetry of space(-time) since they are in one-to-one correspondence with polynomial first integrals of geodesic equations. Many problems in classical mechanics can be formulated as geodesic problems in curved spaces and spacetimes, and thus solving the de…
A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher…
Tensor logic aims to unify AI types with scalable and transparent features.