The Proceedings are available online. The following submissions have been accepted to the workshop:
From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem Proving
Ioannis Tzachristas, Georgios Tzachristas
Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery
Ioannis Tzachristas, Georgios Tzachristas, Aifen Sui
Beyond Hallucination: Reframing LLM Quality Assessment as Task-Output Alignment
Andrew Hoblitzell
Challenging the Myth: A Research Arc on LLMs as Human Simulacra
Simon Münker, Achim Rettinger, Damian Trilling
Towards Trustworthy AI-Mediated Communication Across Languages and Cultures
Dayeon Ki
Challenging Quadratic Attention - A Holistic View On the Rise of Alternative Language Model Architectures
Alexander M. Fichtl, Jeremias Bohn, Josefin Kelber, Edoardo Mosca, Georg Groh
Why Low-Resource NLP Needs More Than Cross-Lingual Transfer: Lessons Learned from Luxembourgish
Fred Philippy, Siwen Guo, Jacques Klein, Tegawendé F. Bissyandé
Building Arabic NLP from the Ground Up: Twenty Years of Lessons, Failures, and Open Problems
Wajdi Zaghouani
Speaking of Language: Reflections on Metalanguage Research in NLP
Nathan Schneider, Antonios Anastasopoulos
Harnessing the Latent Space: From Steering Vectors to Model Calibrators for Control and Trust
Nishant Subramani
Language Models as Measurement Apparatus for Culture
Kent K. Chang
Memorisation Meets Compositionality in Natural Language Processing
Verna Dankers