#Logic

Introducing ProofSketcher: A New Hybrid Model for Enhanced Mathematical Reasoning

ProofSketcher combines large language models with a lightweight proof checker to improve the reliability of mathematical and logical reasoning, addressing common errors.