Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers

Mohammad Raza, Natasa Milic-Frayling

Robustness of reasoning remains a significant challenge for large language models, and addressing it is essential for the practical applicability of AI-driven reasoning systems. We…