每天自动聚合 AI 领域最新动态
Token-level hallucination detectors are evaluated as classifiers, by AUC over all tokens, yet a streaming monitor is ...
Image-to-3D methods often trade off faithfulness and completeness: depth estimators are anchored to input pixels but ...
We present a benchmark for evaluating AI models and agents on real-world formal software verification tasks. We first...
Studies of human reasoning have shown that people are typically stronger at evaluating reasoning than producing it fr...
Modern Lean theorem provers achieve strong performance only with substantial training and inference compute, driven i...
With PRECISE, we extended Prediction-Powered Inference to produce bias-corrected estimates of ranking evaluation metr...
As AI-generated reviews move from experimental tools into peer-review infrastructure, most robustness concerns have f...
Affordance reasoning, the inference of an object's action possibilities from its physical properties (e.g., shape and...
We study fixed-confidence best-action identification (BAI) in stochastic minimax trees. This problem is increasingly ...
Autoregressive video diffusion models enable streaming generation but often degrade over long rollouts: static scene ...
Large Audio-Language Models (LALMs) have shown strong performance on a wide range of audio understanding tasks, yet t...
AI-assisted software development has moved from line-level autocomplete to agents that can plan changes, edit files, ...