MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
Explorar
Noticias de IA
27413 elementos — filtrados, clasificados y sin duplicados
When Saying No Makes Better Videos: Designing Dual Gatekeeping for Pedagogically Grounded…
Conformal Uncertainty Quantification Guarantees for Neural Operators
On the Maintenance and Co-evolution of Agent Plugins: An Empirical Study of Claude Code P…
A comprehensive and trustworthy benchmark of AI methods for change detection in Earth obs…
Conformal Risk-Averse Decision Making with Optimized Certainty Equivalent Risk Control
Nested Byte-Level Vocabularies Are Cheap to Deploy and Expensive to Share: A Pre-Register…
VICT: Verifier-Instrumented Credit Tracing for Long-Horizon LLM Agent Reinforcement Learn…
CheXtriev: Anatomy-Centered Representation for Case-Based Retrieval of Chest Radiographs
Dynamic Alignment Compensation for Hallucination Mitigation in Large Vision-Language Mode…
When Teacher Guidance Misleads: Reward-Aligned On-Policy Distillation
Anatomy-Aware Promptable Segmentation with Online Interactive Training for AUTOPET V
SEGRA: A Structured Experience Guided Reasoning Agent for Property Graph Question Answeri…
When Can Conditional Flow Matching Replace Pointwise Negative Log-Likelihood?
Beyond Pixels: Visual Metaphor Transfer via Schema-Driven Agentic Reasoning
Understanding and Enforcing Weight Disentanglement in Task Arithmetic
Physics-Guided Flow Matching for CT Image Reconstruction
Beyond Task-Only Matching: Personalized Skill Routing with Counterfactual Evaluation
CrabOS: An Operating System for Human-AI Co-inhabitation
The Shape of Power: A Multilingual Framework for Social Power Reasoning in Dialogues
Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Com…
WeAgent-MMSearch: Native Text-Vision Interaction for Multimodal Search Agents
Learning to Allocate Incentives for Incentivized Advertising via Offline Model-Based Rein…
Coverage, Not Credit: Failure-Credit Routing of Zeroth-Order Perturbation Budgets Does No…
PanelShield: Verifiable Closed-Loop Safe Planning for Robotic Industrial Panel Operation
PhenoIntel: A Lifecycle-Aligned Multi-Agent Web Application for Verified, Accessible Plan…
String: An Agentic OS Where Every App Is a Markdown File
Should I Use This Synthetic Dataset for Training? How to Test with Minimal Real Data
GOD: Govern, Observe, and Direct - A Real-Time Control Room for Agent Societies
Learning from Hard Prompts: Difficulty-aware Advantage Amplification in Dynamic Sampling