🔄 Category Theory - DiToast · Scour

Metacat: a categorical framework for formal systems 🔢Mathematical Logic

arxiv.org·5h

A Gradual Probabilistic Lambda Calculus 🎲Probabilistic Programming

arxiv.org·2d

A Lower Bound for Grothendieck's Constant 🔢Mathematical Logic

arxiv.org·4d

Coexact completion of profinite Heyting algebras and uniform interpolation ⚙Functional Programming

arxiv.org·5h

Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning 🔢Mathematical Logic

arxiv.org·1d

Munkres' General Topology Autoformalized in Isabelle/HOL ⚙Functional Programming

arxiv.org·5h

Geometric Limits of Knowledge Distillation: A Minimum-Width Theorem via Superposition Theory 📊Information Theory

arxiv.org·3d

Artificial Intelligence and the Structure of Mathematics 🔢Mathematical Logic

arxiv.org·2d

Emotion Concepts and their Function in a Large Language Model 🎲Probabilistic Programming

arxiv.org·5h

Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation 🕸️Graph Theory

arxiv.org·2d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions ⚙Functional Programming

arxiv.org·5h

Stabilizing Unsupervised Self-Evolution of MLLMs via Continuous Softened Retracing reSampling 🎲Probabilistic Programming

arxiv.org·3d

An Algebraic Introduction to Persistence 🗄️Database Theory

arxiv.org·1d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer 🔢Mathematical Logic

arxiv.org·5h

On the Geometry of Positional Encodings in Transformers ⚙Functional Programming

arxiv.org·2d

Topological entropy of Turing complete dynamics 🕸️Graph Theory

arxiv.org·5h

Automatic Textbook Formalization 🔍Static Analysis

arxiv.org·4d

On the Decompositionality of Neural Networks 🔢Mathematical Logic

arxiv.org·5h

Geometric Properties of the Voronoi Tessellation in Latent Semantic Manifolds of Large Language Models 🔢Mathematical Logic

arxiv.org·1d

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 🎲Probabilistic Programming

arxiv.org·5h

Loading more...