The study addresses the task of judging and diagnosing candidate programs using only the problem statement and source code, without relying on official verdicts. A dataset called USACO-JUDGE was created, and an agentic verifier called ARBITER was trained, improving verdict accuracy and code selection/refinement effectiveness.
The chart will appear after repeat observations. The current metric comes from the source.
2 source votesReal observations only. History before source connection is not reconstructed.
The model can be used to enhance code verification processes in programming competitions, providing useful feedback without requiring official submissions.
Determining whether an image is AI-generated does not establish whether the situation it depicts is factually supported. We formulate Image Factuality Assessment: given an image and a generic verification instruction, a system returns a supported or refuted verdict with an evidence-grounded explanation. We introduce EviLens, an expert-reviewed benchmark of 10,174 supported and refuted images covering twelve factual error types.
4 days agoDaily PapersThe paper introduces TerminalHorizon, an automated data synthesis engine for long-horizon terminal agents. It constructs 1.5K task environments and fine-tunes Qwen3.5-27B to create TerminalHorizon-27B, achieving performance gains across multiple benchmarks. The model demonstrates improved ability to experiment, refine methods, and retain effective improvements in final results.
5 days agoDaily PapersUrbex is an agentic vision-language framework that reformulates grounding as active spatial search. It represents a city-scale 3D scene as an interactive multi-view environment, enabling a VLM agent to query landmarks, zoom into local regions, and commit grounded bounding boxes. Experiments show Urbex achieves the best Hit@1 and IoU on CityRefer.
yesterdayDaily PapersThe study presents AgentSWE, a benchmark evaluating coding agents' ability to build agents aligned with user requirements. The research found that existing agents fail to accurately fulfill tasks, as there is a significant gap between demonstrated and actual performance.
5 days agoDaily PapersThe paper introduces S-Space, a linear subspace in multimodal language models where object-token representations encode continuous spatial coordinates. It demonstrates that S-Space serves as an internal workspace for spatial reasoning, enabling accurate spatial judgments through perception, internal reasoning, and selective verbal access, while highlighting limitations in spatial transformations across viewpoints.
5 days agoDaily PapersThe study explores Adversarial Heuristic Learning (AHL), where AI agents refine game strategies with fixed model weights. The AAArena benchmark includes 12 games and 1,920 archived programs, evaluated through protocols mimicking real competitions. Results show agents can improve strategies but face challenges in complex games.
6 days ago