"ProofFix team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building ProofFix, an AI-powered scientific debugging system for finding bugs, testing hypotheses, and verifying patches. Looking for developers interested in AI, software testing, and debugging.

Team Members

Nam Nguyễn

nam117

Submission

ProofFix — BUG COURT

ProofFix is a scientific debugging system that turns bug fixing into an evidence-driven workflow: reproduce the bug, test competing hypotheses, apply a patch, and verify it against adversarial tests.