"Bug Buster team on AI Genesis Hackathon"

Team Idea

We build models that work better than our morning alarms!!

Team Members

Mudassir Uddin

mudassiruddin308

AI Product Manager

Mohammed Kaif Pasha

mdkaifpasha2k

Submission

AI Tool for Verifying and Correcting Math Proofs

ProofGuard AI uses advanced AI models to automatically verify, validate, and correct AI-generated mathematical proofs, ensuring logical consistency and mathematical rigor through multi-step reasoning and formal verification techniques.