CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 75
Daniel Thomas
dfthomas
AI & ML interests
None yet
Recent Activity
updated a model 16 days ago
dfthomas/grounded-language-proto published a model 16 days ago
dfthomas/grounded-language-proto upvoted a paper 16 days ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet