Building a Verification Pipeline for AI-Assisted Math Solutions

Mathematics assistants are useful when they reduce the mechanical burden of a problem without hiding...