2025
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers
IJCAI 2025
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 introduce Semantic Self-Verification (SSV), a novel approach that addresses the key challenge in combining language mod