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