CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 52
Hang He
Benchanything
AI & ML interests
None yet
Recent Activity
submitted a paper about 8 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? authored a paper about 9 hours ago
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services authored a paper about 9 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet
submitted a
paper to Daily Papers about 8 hours ago
authored 4
papers about 9 hours ago
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services
Paper • 2512.07436 • Published • 1
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 52
VistaHop: Benchmarking Long-Horizon Visual DeepSearch
Paper • 2606.03273 • Published
A Very Big Video Reasoning Suite
Paper • 2602.20159 • Published • 202
upvoted a paper about 24 hours ago
updated a
dataset about 24 hours ago
published a
dataset 11 days ago
upvoted a paper 2 months ago
upvoted a paper 5 months ago
updated a
dataset 10 months ago
liked a
dataset 11 months ago
published a
dataset 11 months ago