10 posts published in the last hour
- 08:35When Is Proof-Step Verification Worth Its Cost? Operating Requirements of Certify-or-Decline Verification for Open-Weight Mathematical Reasoning
- 08:35Rational Use of Time for Social Coordination in Humans and AI
- 08:34GenPFN: An In-Context Tabular Foundation Model Approach for Augmenting Small Datasets in Engineering
- 08:34Robust Task-Aware State Estimation from Pre-trained Perception
- 08:34Leaderboard Hacking: Preference-Based Model Evaluations are Vulnerable to Manipulation
- 08:05SynthCorp: A Platform for Creating Benchmarks for Data Agents
- 08:05Together Compiler: Continual Compilation for AI Inference
- 08:05Cleaning an Agent’s History Hurts When the World Still Holds the Error
- 08:04When Should Semantic Priors Enter Partially-Identified Causal Discovery?
- 08:04Zugwise: Domain-Aware Game Reconstruction for Digitizing Handwritten Chess Scoresheets