---
title: "NALOMA 2026 — accepted papers — Elamur Research"
description: "NALOMA 2026 — accepted papers: 1 paper in the Elamur Research library (Prague, Czechia), with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/naloma/2026/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/naloma/2026/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [NALOMA](https://md.research.elamur.ai/free/en/venues/naloma/) / 2026

# 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](https://md.research.elamur.ai/free/en/countries/czechia/) · 🗓 August 2026

[**7** papers in the proceedings](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/naloma/2026/#works) · [**0** citations of these works](https://md.research.elamur.ai/free/en/venues/naloma/2026/#works)

## 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 ↗](https://aclanthology.org/2026.naloma-1.5/)**Kazumi Kasaura, Naoto Onda, Yuta Oriike et al.
2. **[Negation in Reasoning Traces: Interpretable Signals of Correctness and Provenance ↗](https://aclanthology.org/2026.naloma-1.4/)**Leon Hammerla, Alexander Mehler
3. **[Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems ↗](https://aclanthology.org/2026.naloma-1.2/)**Honoka Kobayashi, Hinari Daido, Daisuke Bekki
4. **[Revisiting the Systematicity in Negation in the Era of In-Context Learning ↗](https://aclanthology.org/2026.naloma-1.1/)**Hitomi Yanaka, Taisei Yamamoto
5. **[Semantic Distance for Presburger Formula Generation](https://md.research.elamur.ai/free/en/papers/taniguchi-2026-semantic-distance-presburger-formula-generation/)**Masaya Taniguchi, Hitomi Yanaka*our summary*
6. **[Visual Question Answering and the relation between language, perception and the world ↗](https://aclanthology.org/2026.naloma-1.8/)**Staffan Larsson, Bill Noble, Robin Cooper
7. **[Where Does Proof Search Spend Its Effort? A Visualization and Profiling Tool for Formal NLI ↗](https://aclanthology.org/2026.naloma-1.7/)**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 Generation](https://md.research.elamur.ai/free/en/papers/taniguchi-2026-semantic-distance-presburger-formula-generation/) [Workshops on Natural Logic Meets Machine Learning (NALOMA)](https://md.research.elamur.ai/free/en/venues/naloma/)**Masaya Taniguchi, Hitomi Yanaka*2026*

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

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

[🧑‍🔬**Hitomi Yanaka**1 work here](https://md.research.elamur.ai/free/en/authors/hitomi-yanaka/)

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

- [← previous NALOMA 2023](https://md.research.elamur.ai/free/en/venues/naloma/2023/)
- [↑ back to NALOMA](https://md.research.elamur.ai/free/en/venues/naloma/)