@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" }