Learning to Reason with Insight for Informal Theorem Proving
Explorar
Noticias de IA
30294 elementos — filtrados, clasificados y sin duplicados
Fully Open Meditron: An Auditable Pipeline for Clinical LLMs
ASH: Agents that Self-Hone via Embodied Learning
Graph Machine Learning in the Era of Large Language Models (LLMs)
PRISM: Self-Pruning Intrinsic Selection Method for Training-Free Multimodal Data Selection
Cross-Modal Attention Calibration for LVLM Hallucination Mitigation
Understanding the Fundamental Design Decisions of Retrieval-Augmented Generation Systems
EMCEE: Improving Multilingual Capability of LLMs via Bridging Knowledge and Reasoning wit…
Organizational Adaptation to Generative AI in Cybersecurity
DISCO: Mitigating Bias in Deep Learning with Conditional Distance Correlation
Residual Reservoir Memory Networks
Joint angle based learning to refine kinematic human pose estimation
Reasoning-Intensive Regression
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese …
SAEmnesia: Erasing Concepts in Diffusion Models with Supervised Sparse Autoencoders
Dual Mechanisms of Value Expression: Intrinsic vs. Prompted Values in Large Language Mode…
LLMs Lean on Priors, Not Programming Language Semantics
Scaling Multi-Agent Environment Co-Design with Diffusion Models
SWIM: Single-Instance Whole-Body Imitation for swiMming
Learning to Solve and Optimize by Evolving Code
Personalized to Persuade: The Effects of Contextualization and Warmth on Trust and Relian…
Reliable Self-Improvement Training by Verifying Reasoning, Not Just Answers
LH-Bench: Skill-Grounded Evaluation of Long-Horizon Agents on Subjective Enterprise Tasks
ClimAgent: LLM as Agents for Autonomous Open-ended Climate Science Analysis
To Use AI as Dice of Possibilities with Timing Computation
Counterfactual Trace Auditing of LLM Agent Skills
Regret-Based Federated Causal Discovery with Unknown Interventions
Agentic Physical AI toward a Domain-Specific Foundation Model for Energy Systems: A Case …
SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
Breaking Information Cocoons: A Hyperbolic Framework for Balancing Exploration and Exploi…