Math Logic

ProofSketcher: Hybrid LLM for Reliable Math Logic

ProofSketcher combines LLMs with a lightweight proof checker for reliable math and logic reasoning. It aims to address the limitations of LLMs in producing persuasive but flawed arguments.