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]

Authors

Alexander Beiser

This author has not been identified. Look up 'Alexander Beiser' in Google

Nysret Musliu

This author has not been identified. Look up 'Nysret Musliu' in Google

David Penz

This author has not been identified. Look up 'David Penz' in Google