Yuheng Tang

1
Papers
6
Total Citations

Papers (1)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

ICML 2025
6
citations