Lingfeng Bao

Behavioral alignment in bug resolution is quantifiable and reveals that structured signals can significantly enhance the reliability of test generation and patch ranking.

Autonomous agents are driving millions of daily transactions, yet their growth is shackled by a fragile infrastructure that threatens the Web4 economy's sustainability.

Forget brute-force code generation: FixAudit shows iteratively debugging a single candidate with targeted tests can beat much larger models.