Axiom

Ask about this topic

Momentum

3 papers in the last four weeks, level with the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 43

All topics
CardsList

  1. Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes

    Sep 28, 2026Christoph BenzmüllerFirst-Order LogicAxiom

    AI Systems Engineering, Otto-Friedrich-Universität Bamberg, Germany · Faculty of Mathematics and Computer Science, Freie Universität Berlin, Germany

  2. CQ4OE: A benchmark for assessing LLM-assisted ontology generation from competency questions

    Sep 22, 2026Jiayi Li, Ziyuan Wang, Daniel Garijo +1OntologyCompetence

    Ontology Engineering Group, Universidad Politécnica de Madrid

  3. When Can One Obtain Certificates of Optimality Using Positivstellensaetze?

    Sep 8, 2026Nayoon Kim, Allen Gehret, Shenyuan Ma +1Finite-Sample CertificatesOptimality

  4. The Axiomatic Trader: Latent Regularity, Information Budgets, and the Canonical Form of a Quantitative Investment System

    Aug 24, 2026Jiayu LiAlgorithmic TradingAxiom

  5. Proportional Analogies on Probability Distributions via Bayesian Updating

    Aug 12, 2026Pierre-Alexandre MurenaAnalogyDistributions

    Hamburg University of Technology (TUHH) Research Group on Human-Centric Machine Learning

  6. Strengthening Full Justified Representation: Efficient Verification and Computation

    Aug 11, 2026Nicholas TehElectionsToken Budget Allocation

    University of Oxford, UK

  7. Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement

    Aug 9, 2026Wesley H. HollidaySatisfiabilityMajority Voting

    University of California, Berkeley

  8. The No-Meaning Falsity: The Structural Impossibility of the Arbitrary Sign in Classical Arabic

    Aug 7, 2026Elnaserledinellah Mahmoud AbdelwahabArabicAxiom

  9. Revealed Rationality: Label-Free Evaluation and Regularization from Representation Theorems

    Aug 5, 2026Isaiah AndrewsRationalityArtificial Intelligence Alignment

    Department of Economics, Massachusetts Institute of Technology, and NBER

  10. Logical Regression for Planning with Axioms

    Jul 23, 2026Connor Little, Christian MuiseClassical PlanningAxiom

    Queen’s University Kingston ON, Canada

  11. Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic

    Jul 23, 2026Bowen XuAxiomPositive

    Department of Computer and Information Sciences, Temple University, USA

  12. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschLogicAxiom

    Institute of Philosophy and Human Sciences, UNICAMP Campinas, Brazil · University of Toulouse, IRIT-CNRS Toulouse, France

  13. Rationalizing Boltzmann Rationality: An Axiomatic Characterization of Entropy-Regularized Policies

    Jul 19, 2026Silviu PitisEntropy Regularized Reinforcement LearningBellman Equation

    University of Michigan

  14. A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction

    Jul 17, 2026Karen SargsyanAxiomFormalization

    Institute of Chemistry, Academia Sinica, Taipei, Taiwan

  15. Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs

    Jul 14, 2026Junyu RenEvidence-Grounded QuestionsAgentic Reasoning

    Committee on Computational and Applied Mathematics, University of Chicago, Chicago, IL, USA.

  16. Belief Contraction in Dynamic Epistemic Logic

    Jun 30, 2026Gaia Belardinelli, Snow ZhangDynamic Epistemic LogicLogic

    Stanford University · Department of Philosophy Stanford University Stanford, USA · University of Berkeley, California +1

  17. The Logic of Data Access and Data Exchanges

    Jun 30, 2026Alexandru Baltag, Sonja SmetsLogicAxiom

    ILLC, University of Amsterdam · University of Amsterdam, ILLC Amsterdam, Netherlands

  18. Resolving Asynchronous Distributed Knowledge

    Jun 30, 2026Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisDistributed OptimizationAxiom

    IRIT, CNRS-INP-University of Toulouse · IRIT, CNRS—INPT—UT · IRIT, CNRS-INP-University of Toulouse, IHPST, CNRS-Paris 1 Pantheon Sorbonne +1

  19. Self-Supervised Theorem Discovery in a Formal Axiomatic System

    Jun 27, 2026Kazuki Ota, Takayuki Osa, Tatsuya HaradaTheorem ProvingMathematical Reasoning

    The University of Tokyo, Japan · RIKEN AIP, Japan

  20. Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings

    Jun 26, 2026Rodrigo Mendoza-SmithProofAxiom

    Independent Researcher.

  21. Measurable Majorities Are Not Finitely Axiomatizable

    Jun 24, 2026Lawrence S. Moss, Arthur Paul PedersenAxiomMajority Voting

    (†) Dept. of Mathematics, Indiana University, Bloomington. · (‡) Dept. of Computer Science & the Intel Investigations Lab, the City College of New York; the Graduate Center & Remote Sensing Earth Systems Institute, the City University of New York.

  22. The Measurable Majority

    Jun 22, 2026Lawrence S. Moss, Arthur Paul PedersenMajority VotingElections

    (†) Dept. of Mathematics, Indiana University, Bloomington. · (‡) Dept. of Computer Science & the Intel Investigations Lab, the City College of New York · the Graduate Center & Remote Sensing Earth Systems Institute, the City University of New York.

  23. The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot

    Jun 17, 2026Anselm Haak, Patrick Koopmann, Yasir Mahmood +1Abductive ReasoningEntailment

    Knowledge Representation Group, Paderborn University, Germany · Knowledge in Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands · Data Science Group, Paderborn

  24. ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics

    Jun 2, 2026Peng ChenAxiomTraces

    School of Information Science, Beijing Language and Culture University Beijing 100081

  25. AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning

    May 30, 2026Alessio BrunoMathematical ReasoningAxiom

    Independent researcher

  26. A Deep Dive into Axiomatic Design -- Part I: Problem Formulation

    May 25, 2026Aydin HomayAxiom

    Technische Universität Dresden, Dresden 01069, Germany

  27. ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale

    May 23, 2026Noel ThomasReasoning BenchmarkLLM Reasoning Strategies

    Mohamed bin Zayed University of Artificial Intelligence · Abu Dhabi, UAE

  28. Arrow-Type Impossibility for Genuinely Modal Judgments

    May 22, 2026Yutaka Nagai, Hirotaka OnoAxiomImpossibility

    Graduate School of Informatics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya 464–8601, Japan

  29. Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture

    May 13, 2026George KoomullilLarge Language Model ReliabilityCertificates

    Ascendr, Inc.

  30. Diversity of Extensions in Abstract Argumentation

    May 13, 2026Johannes K. Fichte, Markus Hecher, Yasir Mahmood +1Argumentation FrameworksDiversity

    Department of Computer and Information Science (IDA), Linköping University, Sweden · University of Potsdam, Germany · University of Artois, CNRS, UMR8188 (CRIL), France +1

  31. Fairness of Explanations in Artificial Intelligence (AI): A Unifying Framework, Axioms, and Future Direction toward Responsible AI

    May 11, 2026Gideon Popoola, John SheppardExplainable Artificial IntelligenceAlgorithmic Fairness

    Montana State University, Bozeman, Montana, USA

  32. Formalizing Latent Thoughts: Four Axioms of Thought Representation in LLMs

    May 7, 2026Fahd Seddik, Fatemeh FardLatent ThoughtsReasoning Skills

    Department of Computer Science University of British Columbia Kelowna, BC, Canada

  33. Rethinking Explanations: Formalizing Contrast in Description Logics

    May 2, 2026Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1Explainable AI MethodsAxiom

    Data Science Group, Heinz Nixdorf Institute, Paderborn University Germany

  34. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

    May 2, 2026Anselm Haak, Patrick Koopmann, Yasir Mahmood +1Abductive ReasoningAxiom

    Knowledge Representation Group, Paderborn University, Germany · Knowledge in Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands · Data Science Group, Paderborn University, Germany

  35. Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

    May 1, 2026Alan L. McCannAlgebraic StructuresRuntime Enforcement

    Mashin, Inc.

  36. Interval Orders, Biorders and Credibility-limited Belief Revision

    Apr 29, 2026Richard Booth, Ivan VarzinczakAxiomOrder

    1Cardiff University, United Kingdom · 2Universit´e Sorbonne Paris Nord, Inserm, Sorbonne Universit´e, Limics, 93017 Bobigny, France · 3CAIR, University of Cape Town, South Africa +1

  37. Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning

    Apr 21, 2026Kyuhee Kim, Auguste Poiroux, Antoine BosselutFormalizationLLM Reasoning Strategies

    EPFL

  38. Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

    Feb 18, 2026Zoran MajkicNeuro-Symbolic FrameworkAxiom

    ISRST, Tallahassee, FL, USA

  39. Complete Identification of Deep ReLU Networks through Łukasiewicz Logic

    Jan 30, 2026Yani Zhang, Helmut BölcskeiRectified Linear Unit NetworksLogic

    Chair for Mathematical Information Science, ETH Zürich

  40. The Axiom of Consent: Authorization, Friction, and Multi-Agent Coordination

    Jan 10, 2026Murad FarzullaMulti-Agent CoordinationFriction

    Dissensus, London, UK · King’s College London, London, UK

  41. Axiomatisation for an asynchronous epistemic logic with sending and receiving messages

    Oct 3, 2025Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisAxiomLogic

    IRIT, CNRS—INPT—UT, Toulouse, France · IHPST University Paris 1 Panth´eon Sorbonne, Paris, France

  42. Explaining a probabilistic prediction on the simplex with Shapley compositions

    Aug 2, 2024Paul-Gauthier Noé, Miquel Perelló-Nieto, Jean-François Bonastre +1Shapley ValueMulticlass Classification

    Laboratoire Informatique d’Avignon, Avignon Universit´e, France · University of Bristol, United Kingdom

  43. Proportionally Representative Clustering

    Apr 27, 2023Haris Aziz, Barton E. Lee, Sean Morota Chu +1ClusteringAlgorithmic Fairness

    UNSW Sydney · ETH Zürich · Northwestern University