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. Orthologic for SAT Solving

    May 14, 2026Vladislas de Haldat, Simon Guilloud, Viktor KunčakSatisfiabilityPropositions

  2. Dsat: A Native SAT Solver for Discrete Logic

    May 10, 2026Yaofang Zhang, Ken Zhou, Adnan DarwicheSatisfiabilityPropositions

  3. Static Analysis of Recursive SHACL

    May 4, 2026Anouk Oudshoorn, Magdalena Ortiz, Mantas SimkusModal LogicLabel Constraint Modeling

  4. Rethinking Explanations: Formalizing Contrast in Description Logics

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

  5. How Hard is it to Decide if a Fact is Relevant to a Query?

    Apr 24, 2026Meghyn Bienvenu, Diego Figueira, Pierre LafourcadeRelevanceEntailment

  6. HSG: Hyperbolic Scene Graph

    Apr 19, 2026Liyang Wang, Zeyu Zhang, Hao TangHyperbolic Learning3D Scene Graphs

  7. Probabilistic Programs of Thought

    Apr 19, 2026Poorva Garg, Renato Lui Geh, Daniel Israel +3Code GenerationLarge Language Model Reasoning

  8. PROMPT2BOX: Uncovering Entailment Structure among LLM Prompts

    Mar 22, 2026Neeladri Bhuiya, Shib Sankar Dasgupta, Andrew McCallum +1Instruction-Tuned ModelsPrompt Engineering

  9. Training Language Models to Use Prolog as a Tool

    Dec 8, 2025Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke PoechTraining Language ModelsInductive Logic Programming

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

  11. Proportionally Representative Clustering

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