CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 11
Mason da Gibson
MadisonRodriguez
AI & ML interests
Working on AI projects: transformers, datasets and fine-tuning.
Recent Activity
updated a model about 1 month ago
MadisonRodriguez/flamingo-multitask-lab9 published a model about 1 month ago
MadisonRodriguez/flamingo-multitask-lab9 upvoted a paper about 1 month ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?Organizations
None yet