13 posts published in the last hour
- 06:36EnvOpt: Automated Optimization for Agent Environments
- 06:36Graph learning-assisted logic-based Benders decomposition for distributionally robust in-station train rescheduling under disruptions
- 06:35SAVeR$^2$: Reasoning-based Safety Alignment for Large Reasoning Models via Verifiable Rewards
- 06:35Asian AI and Chip Stocks Tumble on US Data-Center Fears
- 06:35DelegateEval: Evaluating Platforms for Personal External Service Agents
- 06:35Palo Alto Networks in talks to buy AI agent security startup Clutch for $500M
- 06:34FINCOSMOS: An Open-World Evaluation Paradigm for Agents in Finance
- 06:05PromptOps: Iterative Prompt Optimization for LLM-as-a-Judge Systems
- 06:05When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization
- 06:05Synthesizing symbolic models of human and machine reasoning at scale
- 06:04Robust Ranking of Port Impacts from Impending Tropical Cyclones: A Two-Stage Recommendation System
- 06:04Thinking Machines Releases Inkling 2 Small, a 594B MoE With 17B Active
- 06:04Goal Revelation as a Bridge Between Information-Theoretic Empowerment and Capability-Based Human Power