Guo, Wenbo
21 publications
NeurIPS
2025
Co-PatcheR: Collaborative Software Patching with Component-Specific Small Reasoning Models
ICML
2025
PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
NeurIPS
2025
SECODEPLT: A Unified Benchmark for Evaluating the Security Risks and Capabilities of Code GenAI