Axiom

Recent momentum

emerging

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

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

Weekly history

Recent digests

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

Period ending 2026-09-21

3 new papers

A weekly snapshot of new work published in Axiom.

Period ending 2026-09-14

4 new papers

A weekly snapshot of new work published in Axiom.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Axiom.

Inside this field

Focused directions

173 papers

Latest in Axiom

  1. Mining Legal Arguments in U.S. Corporate Case Law

    Sep 21, 2026Luis Brena, William Jurayj, Gregory Deyesu +3Text CorporaEntailment

  2. Linguistic Features for Interpretable Textual Entailment

    Sep 21, 2026David Torres-Moreno, Jorge Hermosillo-Valadez, Asela Reig-AlamilloEntailment

  3. Language Models Encode the Contextual Truth of Propositions

    Aug 4, 2026Rupak Sarkar, Pritika Ramu, Rachel RudingerTruthFalsehood

  4. Recovering Explanations from Transformed Rule-Based Ontologies

    Jul 31, 2026Alex Ivliev, Markus Krötzsch, Maximilian MarxOntologyRecursive Reasoner

  5. Logical Regression for Planning with Axioms

    Jul 23, 2026Connor Little, Christian MuiseAxiomClassical Planning

  6. Towards a Certifying Grounder

    Jul 23, 2026Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1Modal Logic

  7. Case study: solving P-99 with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Thierry Marianne, Étienne Payet +1TheoremInductive Logic Programming

  8. Case study: proving sqrt(2) irrational with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Étienne Payet, Wim VanhoofTheoremModal Logic

  9. Explaining Weather Bulletins via ILP

    Jul 23, 2026Enrico Santi, Alessandro Dal Palù, Agostino Dovier +2Inductive Logic ProgrammingAdverse Weather

  10. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschModal LogicAxiom

  11. NOWJ@COLIEE 2026: Adaptive Pipelines for Legal Retrieval and Reasoning

    Jul 18, 2026Thuong-Hieu Ngo, Hoang-Trung Nguyen, Huu-Dong Nguyen +5Legal DomainEntailment