Hang He
Benchanything
AI & ML interests
None yet
Recent Activity
submitted a paper about 17 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? authored a paper about 17 hours ago
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services authored a paper about 17 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet