"ShipGuard team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
ProofPatch turns a bug report into a verified code fix by reproducing the bug, identifying its root cause, applying the smallest safe patch, and proving the fix with automated tests.
Team Members
Unknown Hacker
1anshkaushik43258
Submission
Submission draft in progress