Verifier-Backed Hard Problem Generation for Mathematical Reasoning
Paper • 2605.06660 • Published • 1
Pretraining algorithms, Semantic parsing, Dialog systems, Machine Translation
OSReward: Instituting Standardized Evaluation for Cross-Platform Computer-Use Reward Models
OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows