Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

Alexander Beiser, Nysret Musliu, David Penz. Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning. In David Chaves-Fraga, Ivan Heibi, Daniel Garijo, Diego Collarana, Angelo A. Salatino, Sahar Vahdati, editors, Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025), Vienna, Austria, September 3-5, 2025. Volume 4064 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]

Abstract

Abstract is missing.