📰 NALOMA 2026 — accepted papers

NALOMA 2026 is the 2026 edition of the Workshops on Natural Logic Meets Machine Learning (NALOMA), held in Prague, Czechia, August 2026 (publisher: Association for Computational Linguistics). The ACL Anthology lists 7 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions.

📍 Prague, Czechia · 🗓 August 2026

All accepted papers (7)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. Discovering New Theorems via LLMs with In-Context Proof Learning in Lean ↗Kazumi Kasaura, Naoto Onda, Yuta Oriike et al.
2. Negation in Reasoning Traces: Interpretable Signals of Correctness and Provenance ↗Leon Hammerla, Alexander Mehler
3. Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems ↗Honoka Kobayashi, Hinari Daido, Daisuke Bekki
4. Revisiting the Systematicity in Negation in the Era of In-Context Learning ↗Hitomi Yanaka, Taisei Yamamoto
5. Semantic Distance for Presburger Formula GenerationMasaya Taniguchi, Hitomi Yanakaour summary
6. Visual Question Answering and the relation between language, perception and the world ↗Staffan Larsson, Bill Noble, Robin Cooper
7. Where Does Proof Search Spend Its Effort? A Visualization and Profiling Tool for Formal NLI ↗Koharu Saeki, Daisuke Bekki

📄 Papers with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. Semantic Distance for Presburger Formula GenerationWorkshops on Natural Logic Meets Machine Learning (NALOMA)Masaya Taniguchi, Hitomi Yanaka2026

📚 Fields

🖥️Computer Science (1)

🧑‍🔬 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

Place and dates from the event's site or the ACL Anthology; works and citations from OpenAlex and our library.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/naloma/2026/