Learning to Reason with Insight for Informal Theorem Proving
DGX agentarXiv:2604.16278v1 Announce Type: new Abstract: Although most of the automated theorem-proving approaches depend on formal proof systems, informal theorem proving can align better with large language