Natural Language to First-Order Logic LLM-based Autoformalization
DGX agentarXiv:2610.12030v1 Announce Type: new Abstract: Large Language Models (LLMs) have renewed interest in autoformalization. Yet, when First-Order Logic (FOL) is considered as the target formalism, the fi