CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Paper • 2610.07557 • Published • 51
Jack Wood
jackwjw56
·
AI & ML interests
code generation, drug discovery
Recent Activity
liked a model about 12 hours ago
autotrust/GEV-26B-Decide upvoted a paper about 12 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? upvoted a paper about 12 hours ago
TRACE: Rollout-Guided Quantization-Aware Training for FP4 Reinforcement Learning of MoE Language ModelsOrganizations
None yet
upvoted 2
papers about 12 hours ago