CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 75
Joseph M.
purduephysics
AI & ML interests
Rock climber. Also writes code.
Recent Activity
upvoted a paper 17 days ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? updated a model 18 days ago
purduephysics/lightweight-multimodal-study published a model 18 days ago
purduephysics/lightweight-multimodal-studyOrganizations
None yet