Axiom

Ask about this topic

Recent momentum

-60%

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

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

Also in Axiom

Neighbouring directions

Inductive Logic ProgrammingModal LogicPropositionsEntailment

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.

38 papers

Latest in Axiom

Browse all topics →
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 LiAxiomRegularity

  3. Proportional Analogies on Probability Distributions via Bayesian Updating

    Aug 12, 2026Pierre-Alexandre MurenaAnalogyBayesian

  4. Strengthening Full Justified Representation: Efficient Verification and Computation

    Aug 11, 2026Nicholas TehAxiomToken Budgets

  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 AndrewsRationalityLarge Language Model Decision-Making

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

    Jul 26, 2026Yakov Kuzin, Dmitriy Shcheka, Michael Polyntsov +3Order MattersData Mining

  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 XuAvoidanceGoal-Directed Behavior

  11. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschModal LogicAxiom

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

    Jul 19, 2026Silviu PitisEntropy Regularized Reinforcement LearningBellman Equation

  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 RenAgentic ReasoningEmpirical Study

  15. Belief Contraction in Dynamic Epistemic Logic

    Jun 30, 2026Gaia Belardinelli, Snow ZhangModal LogicBelief

  16. The Logic of Data Access and Data Exchanges

    Jun 30, 2026Alexandru Baltag, Sonja SmetsModal LogicAxiom

  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-SmithProofAxiom

  20. Measurable Majorities Are Not Finitely Axiomatizable

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

  21. The Measurable Majority

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

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

    May 30, 2026Alessio BrunoMathematical ReasoningAxiom

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

    May 25, 2026Aydin HomayInteraction DesignAxiom

  24. Arrow-Type Impossibility for Genuinely Modal Judgments

    May 22, 2026Yutaka Nagai, Hirotaka OnoAxiomPropositions

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

    May 13, 2026George KoomullilCertificatesFinite-Sample Certificates

  26. The Price of Proportional Representation in Temporal Voting

    May 11, 2026Nicholas TehWelfareAxiom

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

    May 11, 2026Gideon Popoola, John SheppardExplainable Artificial IntelligenceImplicit Bias

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

    May 7, 2026Fahd Seddik, Fatemeh FardLatent ThoughtsAxiom

  29. Rethinking Explanations: Formalizing Contrast in Description Logics

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

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

    May 1, 2026Alan L. McCannAlgebraic StructuresFormal Semantics

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

    Apr 29, 2026Richard Booth, Ivan VarzinczakInitial Human Belief DistributionsBelief

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

    Apr 21, 2026Kyuhee Kim, Auguste Poiroux, Antoine BosselutFormalizationLarge Language Model Reasoning

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

    Feb 18, 2026Zoran MajkicNeuro-Symbolic FrameworkAxiom

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

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

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

    Jan 10, 2026Murad FarzullaMulti-Agent CoordinationReplicator Equations

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

    Oct 3, 2025Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisAxiomEpistemic Actions

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

  38. Proportionally Representative Clustering

    Apr 27, 2023Haris Aziz, Barton E. Lee, Sean Morota Chu +1Image ClusteringApproximation Algorithms