Thompson, R., Pease, A., Milanese, R., Singley, J., and Toutsios, A. (2025). Formalizing Natural Language: Cultivating LLM Translations Using Automated Theorem Proving. In Komendantskaya, E., Polgreen, E., Saemann, C., Stark, K., and Rawson, M., editors, Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives. European Research Network on Formal Proofs.
and
Adam Pease and Richard Thompson (2026). A Neuro-Symbolic Approach to Translate English to Logic and Ontology. forthcoming