Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Re…
Explorar
Noticias de IA
37834 elementos — filtrados, clasificados y sin duplicados
RecourseBench: A Modular Framework for Reproducible Algorithmic Recourse Evaluation
Mind-Studio: Executable World Models with Lookahead Evaluation for Partially Observable G…
Auditing Reward Hackability in Code RL Training Environments
SciText2Eq: Assessing LLMs for Explainable Equation Generation for Scientific Creativity
UrbanWell: Benchmarking Multimodal Large Language Models for Spatio-Temporal Urban Wellbe…
LLM-as-Code Agentic Programming for Agent Harness
RetailBench: Benchmarking long horizon reasoning and coherent decision making of LLM agen…
Heteroskedastic Signals in Budgeted LLM Verification: Structural Heterogeneity Limits Opt…
AIChilles: Automatically Uncovering Hidden Weaknesses in AI-Evolved Systems
An Integrated System for Real-Time Student Assessment and Career Guidance Using Neural Ne…
TrustedARI: Towards Trust-Native Agentic Routing Infrastructure for Agentic AI
X-Tokenizer: A Multimodal Action Tokenizer for Vision-Language-Action Pretraining
TNODEV: Toolbox for Neural ODE Verification
ROSA-RL: Uncertainty-Aware Roundabout Optimized Speed Advisory with Reinforcement Learning
Model Graph Inductive Learning for Knowledge Graph Completion
Post-Hoc Merging is Not Enough: Many-Shot Model Merging with Loss-Gap Balancing
Tensor-Coord: Algebraic Decomposition of Joint Plan Tensors for Conflict-Free Multi-Agent…
When Agent Automation Becomes Profitable: Quantifying and Insuring Autonomous AI Risk thr…
Posterior Twins: Distributional Behavioral Simulation for Enterprise Decisions
Whose hotel does the AI recommend? An algorithm audit of reputation signals in LLM-assist…
Limited Marginal Benefit of Reasoning-Heavy LLM Deployment in ESG Narrative Scoring: A 4-…
Exploiting Search in Symbolic Numeric Planning with Patterns
AdaSTORM: Scaling LLM Reasoning on Dynamic Graphs via Adaptive Spatio-Temporal Multi-Agen…
Architectural Wisdom: A Framework for Governing Optimization in AI Systems
SpecAlign: Efficient Specification-Grounded Alignment of Large Language Models via Synthe…
Latent Thought Flow: Efficient Latent Reasoning in Large Language Models
Sensor-Conditioned Representation Learning via Scene-Relevant Observation Quotients
Measuring Whether LLM Tutors Teach or Solve: A Diagnostic for Educational Impact
PAL-Bench: Evidence-Grounded Profile Reconstruction from Longitudinal Personal Albums