Ultralytics YOLO26: Unified Real-Time End-to-End Vision Models Paper • 2606.03748 • Published 3 days ago • 5
Trust but Verify: Introducing DAVinCI -- A Framework for Dual Attribution and Verification in Claim Inference for Language Models Paper • 2604.21193 • Published Apr 23 • 2
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving Paper • 2604.01483 • Published Apr 1 • 7
GrandCode: Achieving Grandmaster Level in Competitive Programming via Agentic Reinforcement Learning Paper • 2604.02721 • Published Apr 3 • 631