Keyword:natural language

Publications
Automated Theorem Provers Help Improve Large Language Model Reasoning Lachlan McGinness and Peter Baumgartner In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Unveiling Deep Learning's Prospects in Meta-Analysis for Chatbot Frameworks Asad Ali EasyChair Preprint 12022
Word Construction Through Sign Concatenation Based on Deep Learning Cherrate Meryem, Sabri My.Abdelouahed, Yahyaouy Ali and Aarab Abdellah EasyChair Preprint 10780
Assimilating the Structure of Formal and Informal Proof Kensho Tsurusaki and Akiko Aizawa EasyChair Preprint 6267
Science + Fiction: Understanding Robot Intelligence David M. W. Powers EasyChair Preprint 4212
A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description Erkki Luuk EasyChair Preprint 1516