Axiom

Ask about this topic

Recent momentum

-78%

2 papers in the last 28 days · 0.1% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Also in Logic

Neighbouring directions

LogicInductive Logic ProgrammingEntailmentFirst-Order Logic

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-14

1 new paper

A weekly snapshot of new work published in Axiom.

39 papers

Latest in Axiom

Open your feed →
CardsList

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

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

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

    Aug 24, 2026Jiayu LiAxiomPredictability

  3. Proportional Analogies on Probability Distributions via Bayesian Updating

    Aug 12, 2026Pierre-Alexandre MurenaAnalogyBayesian Inference Approaches

  4. Strengthening Full Justified Representation: Efficient Verification and Computation

    Aug 11, 2026Nicholas TehAxiomVerification

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

    Aug 9, 2026Wesley H. HollidaySatisfiabilityAxiom

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

    Aug 7, 2026Elnaserledinellah Mahmoud AbdelwahabArabicAxiom

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

    Aug 5, 2026Isaiah AndrewsRationalityArtificial Intelligence Alignment

  8. Order in Desbordante: Techniques for Efficient Implementation of Order Dependency Discovery Algorithms

    Jul 26, 2026Yakov Kuzin, Dmitriy Shcheka, Michael Polyntsov +3Order MattersCode Optimization

  9. Logical Regression for Planning with Axioms

    Jul 23, 2026Connor Little, Christian MuiseAxiomClassical Planning

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

    Jul 23, 2026Bowen XuAvoidanceAxiom

  11. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschFirst-Order LogicAxiom

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

    Jul 19, 2026Silviu PitisBellman EquationKullback-Leibler Regularization

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

    Jul 17, 2026Karen SargsyanStructural Causal ModelAxiom

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

    Jul 14, 2026Junyu RenEvidence-Grounded ReasoningAgentic Reasoning

  15. Belief Contraction in Dynamic Epistemic Logic

    Jun 30, 2026Gaia Belardinelli, Snow ZhangLogicBelief

  16. The Logic of Data Access and Data Exchanges

    Jun 30, 2026Alexandru Baltag, Sonja SmetsLogicAxiom

  17. Resolving Asynchronous Distributed Knowledge

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

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

    Jun 27, 2026Kazuki Ota, Takayuki Osa, Tatsuya HaradaTheoremMathematical Reasoning

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

    Jun 26, 2026Rodrigo Mendoza-SmithTheoremAxiom

  20. Measurable Majorities Are Not Finitely Axiomatizable

    Jun 24, 2026Lawrence S. Moss, Arthur Paul PedersenAxiomRationality

  21. The Measurable Majority

    Jun 22, 2026Lawrence S. Moss, Arthur Paul PedersenAxiomCoalitions

  22. A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

    Jun 3, 2026Huanyu Yang, Yangfan Wu, Jianmin JiComplianceAnswer Set Programming

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

    Jun 2, 2026Peng ChenAxiomTraces

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

    May 30, 2026Alessio BrunoMathematical ReasoningAxiom

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

    May 25, 2026Aydin HomayAxiom

  26. Arrow-Type Impossibility for Genuinely Modal Judgments

    May 22, 2026Yutaka Nagai, Hirotaka OnoAxiomImpossibility

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

    May 13, 2026George KoomullilCertificatesFinite-Sample Certificates

  28. The Price of Proportional Representation in Temporal Voting

    May 11, 2026Nicholas TehWelfareAxiom

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

    May 11, 2026Gideon Popoola, John SheppardExplainable Artificial IntelligenceFairness

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

    May 7, 2026Fahd Seddik, Fatemeh FardLatent ThoughtsRepresentational Drift

  31. Rethinking Explanations: Formalizing Contrast in Description Logics

    May 2, 2026Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1ExplanationsEntailment

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

    May 1, 2026Alan L. McCannRuntime EnforcementAxiom

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

    Apr 29, 2026Richard Booth, Ivan VarzinczakBelief-Space PlanningBelief

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

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

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

    Feb 18, 2026Zoran MajkicNeuro-Symbolic FrameworkAxiom

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

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

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

    Jan 10, 2026Murad FarzullaMulti-Agent CoordinationGame-Theoretic Mechanisms

  38. 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

  39. Proportionally Representative Clustering

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