Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor 2026-08 Association for Computational Linguistics Prague, Czechia text conference publication 979-8-89176-389-0 naloma-2026-1 https://aclanthology.org/2026.naloma-1.0/ Revisiting the Systematicity in Negation in the Era of In-Context Learning Hitomi Yanaka author Taisei Yamamoto author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 yanaka-yamamoto-2026-revisiting https://aclanthology.org/2026.naloma-1.1/ 2026-08 1 8 Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems Honoka Kobayashi author Hinari Daido author Daisuke Bekki author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 kobayashi-etal-2026-neural https://aclanthology.org/2026.naloma-1.2/ 2026-08 9 18 Negation in Reasoning Traces: Interpretable Signals of Correctness and Provenance Leon Lukas Hammerla author Alexander Mehler author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 hammerla-mehler-2026-negation https://aclanthology.org/2026.naloma-1.4/ 2026-08 19 39 Discovering New Theorems via LLMs with In-Context Proof Learning in Lean Kazumi Kasaura author Naoto Onda author Yuta Oriike author Masaya Taniguchi author Akiyoshi Sannai author Sho Sonoda author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 kasaura-etal-2026-discovering https://aclanthology.org/2026.naloma-1.5/ 2026-08 40 49 Where Does Proof Search Spend Its Effort? A Visualization and Profiling Tool for Formal NLI Koharu Saeki author Daisuke Bekki author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 saeki-bekki-2026-proof https://aclanthology.org/2026.naloma-1.7/ 2026-08 50 59 Visual Question Answering and the relation between language, perception and the world Staffan Larsson author Bill Noble author Robin Cooper author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 larsson-etal-2026-visual https://aclanthology.org/2026.naloma-1.8/ 2026-08 60 70 Semantic Distance for Presburger Formula Generation Masaya Taniguchi author Hitomi Yanaka author 2026-08 text Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA) Hitomi Yanaka editor Lasha Abzianidze editor Association for Computational Linguistics Prague, Czechia conference publication 979-8-89176-389-0 taniguchi-yanaka-2026-semantic https://aclanthology.org/2026.naloma-1.9/ 2026-08 71 79