001 Encoding orders and trees in real-valued functions arXiv Paper Shenzhe Zhu, Haoqian Zhang et al. Jul 23 002 First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint) arXiv Paper C. Benzmuller, Daniel Kirchner Jul 12 003 Quantum Logic as the Logic of Contexts arXiv Paper Haruki Emori, Atsushi Iriki et al. Jul 10 004 Fast approximation and learning of binary classification tasks in o-minimal structures using ReLU neural networks arXiv Paper Clemens Kinn, Philipp Petersen Jun 29 005 Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings arXiv Paper R. Mendoza-Smith Jun 26 006 Measurable Majorities Are Not Finitely Axiomatizable arXiv Paper Lawrence S. Moss, Arthur Paul Pedersen Jun 24 007 Study on Quantitative Dynamic Epistemic Logic for Belief Revision arXiv Paper Felipe Nunes de Souza Camargo Jun 18 008 NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning arXiv Paper D. Schellhorn, Till Mossakowski et al. Jun 17 009 Random coloured digraphs defined by a Markov logic network arXiv Paper Yasmin Tousinejad, Vera Koponen Jun 16 010 The algebra of Krom logic programs arXiv Paper Christian Anti'c Jun 14 011 How (and when) can you fit examples to logic-based hypothesis classes over infinite structures? arXiv Paper Michael Benedikt, Alessio Mansutti May 31 012 Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) arXiv Paper C. Benzmuller, Daniel Kirchner et al. May 26 013 Every Feedforward Neural Network Definable in an o-Minimal Structure Has Finite Sample Complexity arXiv Paper Anastasis Kratsios, Greg Cousins et al. May 8 014 Towards an Inferentialist Account of Information Through Proof-theoretic Semantics arXiv Paper M. Collinson, Timo Eckhardt et al. May 6 015 Rethinking Explanations: Formalizing Contrast in Description Logics arXiv Paper Yasir Mahmood, Arnab Sharma et al. May 2 016 NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework arXiv Paper D. Schellhorn, Till Mossakowski Apr 27 017 Artificial Intelligence and the Structure of Mathematics arXiv Paper M. Barkeshli, Michael R. Douglas et al. Apr 7 018 Compression is all you need: Modeling Mathematics arXiv Paper V. Aksenov, Eve Bodnia et al. Mar 20 019 Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium arXiv Paper V. Ilin Mar 16 020 The logic of KM belief update is contained in the logic of AGM belief revision arXiv Paper Giacomo Bonanno Feb 26 021 da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems arXiv Paper Gabriel Rocha Feb 16 022 A vector logic for intensional formal semantics arXiv Paper Daniel Quigley Feb 3 023 Uniform Computability of PAC Learning arXiv Paper Vasco Brattka et al. Jan 26 024 Conditioning Accept-Desirability models in the context of AGM-like belief change arXiv Paper Kathelijne Coussement et al. Dec 22, 2025 025 Vague Knowledge: Information without Transitivity and Partitions arXiv Paper Kerry Xiao Dec 5, 2025 026 An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction arXiv Paper Yang Xu et al. Nov 6, 2025 027 Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning arXiv Paper David Kattermann, L. S. Krapp Nov 4, 2025 028 Dynamic Logic of Trust-Based Beliefs arXiv Paper Junli Jiang et al. Nov 2, 2025 029 Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games arXiv Paper Mirco A. Mannucci Oct 26, 2025 030 Remarks on a recent preprint of Chernikov and Towsner arXiv Paper Maryanthe Malliaris Oct 22, 2025 031 The analogy theorem in Hoare logic arXiv Paper Nikitin Nikita Oct 4, 2025 032 Higher-arity PAC learning, VC dimension and packing lemma arXiv Paper Artem Chernikov et al. Oct 2, 2025 033 Advancing mathematics research with generative AI arXiv Paper Lisa Carbone Sep 29, 2025 034 Sample completion, structured correlation, and Netflix problems arXiv Paper Leonardo N. Coregliano et al. Sep 23, 2025 035 Deep Learning as the Disciplined Construction of Tame Objects arXiv Paper Gilles Bareilles, Allen Gehret et al. Sep 22, 2025 036 Domain size asymptotics for Markov logic networks arXiv Paper Vera Koponen Sep 4, 2025 037 Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving arXiv Paper Md Shahi Amran Hossain, Abu Shad Ahammed et al. Aug 25, 2025 038 AI-Powered Legal Intelligence System Architecture: A Comprehensive Framework for Automated Legal Consultation and Analysis arXiv Paper Sean Kalaycioglu et al. Aug 24, 2025 039 Complexity in finitary argumentation (extended version) arXiv Paper Uri Andrews, L. Mauro Aug 23, 2025 040 Basic interactive algorithms: Preview arXiv Paper Yuri Gurevich Aug 7, 2025 041 Formal Power Series Representations in Probability and Expected Utility Theory arXiv Paper Arthur Paul Pedersen et al. Aug 1, 2025 042 Axiomatizing Rumsfeld Ignorance arXiv Paper Jie Fan Jul 22, 2025 043 FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming arXiv Paper Gal Beniamini, Yuval Dor et al. Jul 17, 2025 044 Higher-Order Pattern Unification Modulo Similarity Relations arXiv Paper Besik Dundua et al. Jul 17, 2025 045 On statistical learning of graphs arXiv Paper Vittorio Cipriani, Valentino Delle Rose et al. Jul 17, 2025 046 Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version) arXiv Paper Uri Andrews, Luca San Mauro Jul 9, 2025 047 Interleaving Logic and Counting arXiv Paper Johan van Benthem et al. Jul 7, 2025 048 Polynomial Fingerprinting for Trees and Formulas arXiv Paper Mihai Prunescu Jun 26, 2025 049 Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition arXiv Paper Craig Steven Wright Jun 23, 2025 050 Systemic Constraints of Undecidability arXiv Paper Seth Bulin Jun 21, 2025 051 Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning arXiv Paper Wright, Craig S. Jun 19, 2025 052 Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems arXiv Paper Craig Steven Wright Jun 19, 2025 053 An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces arXiv Paper Andreu Ballus Santacana May 31, 2025 054 The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems arXiv Paper Mohamed Aly Bouke May 24, 2025 055 Unraveling the iterative CHAD arXiv Paper Fernando Lucatelli Nunes et al. May 21, 2025 056 Vague Knowledge: Evidence from Analyst Reports arXiv Paper Kerry Xiao et al. May 18, 2025 057 Theory: Multidimensional Space of Events arXiv Paper Sergii Kavun May 16, 2025 058 SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures arXiv Paper Julian Kranz, Davide Gallon et al. May 14, 2025 059 First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images arXiv Paper Isabelle Bloch, E. Bonnot et al. Apr 30, 2025 060 Security Science (SecSci), Basic Concepts and Mathematical Foundations arXiv Paper Dusko Pavlovic et al. Apr 23, 2025