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

Mohammad Raza, Natasa Milic-Frayling

Browse the full IJCAI paper archive.