CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 23
Rafi C. Halim
halim0627
·
AI & ML interests
Interested in alignment and AI safety
Recent Activity
updated a model 26 days ago
halim0627/visual-question-answering published a model 26 days ago
halim0627/visual-question-answering upvoted a paper 26 days ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet
upvoted a paper 26 days ago