Yuheng Tang

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Hongwei Li (1) Shiqi Wang (1) Wenbo Guo (1)

Papers

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