CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 53
Arjun T. Kumar
arjunkumarkof
·
AI & ML interests
Reinforcement learning is my therapy
Recent Activity
liked a Space 1 day ago
jbilcke-hf/ai-comic-factory liked a model 1 day ago
autotrust/GEV-26B-Decide upvoted a paper 1 day ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet