Closing the gap between frontier and smaller language models is usually approached by distillation: fine-tuning the small model (student) on a frontier model's (teacher) outputs, which binds transfer to training compute and leaves the transferred knowledge largely opaque. We propose Artifact Distillation: a teacher sol...
Forecasting in the real world requires integrating structured time-series data with unstructured textual information, but existing methods are architecturally limited by fixed input/output horizons and are unable to model or quantify uncertainty. We address this challenge by introducing LLM-integrated Bayesian State sp...
Sungjun Cho, Changho Shin, Suenggwan Jo et al.· 0 citations
This study demonstrates that collaborating AI agents can select research questions, derive theoretical results and test their predictions experimentally, by investigating ensembles of quantum spins in diamond.
Elhocine Mansouri, Eiki Kimura, Masatoshi Koga et al.· 0 citations
Building and scaling computer-using agents (CUAs) across desktop, mobile, and web environments requires reliable task-completion verification for data curation, evaluation, and reinforcement learning. Typical automated approaches prompt vision-language models (VLMs) to judge trajectories or generate programs to inspect...
Qiushi Sun, Da Yu, Alexander Knop et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
The findings highlight both similarities and differences in the application of counselling patterns across scenarios, showing the potential of LLM-based role-playing exercises to enhance counselling competencies and to identify areas for further refinement in virtual client simulations.
Eric Rudolph, P. Steigerwald, J. Albrecht· Educational Data Mining· 3 citations
Automated computational science could accelerate discovery by selecting, adapting and developing numerical methods. This prospect requires mathematical knowledge that AI systems can interpret and reuse with explicit guarantees. Here we present FARMS, a faithful and efficient foundation that transforms computational mat...
Clinical genomic analysis requires experts to integrate evolving guidelines, databases, and computational evidence to augment specialist genomic interpretation, and ClinGeX, a large-language-model agent that composes 105 curated executable skills through task-specific retrieval and dependency-aware orchestration, is de...
Q. Zheng, Weike Zhao, Yan-Jie Fan et al.· 0 citations
As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan Challenge is a benchmark comprised of research-level problems in number theory, including unpublished results and open conjectures. It pres...
A. Sorani, Ashvni Narayanan, M. Shalyt et al.· 0 citations
The hypothesis that stateful retrieval may be easier to learn than stateless retrieval is motivated, which motivates the hypothesis that stateful retrieval may be easier to learn than stateless.
It is argued for a benchmarking protocol that fixes the model, data, and sampling parameters and that reports relative-error metrics alongside absolute ones, confirming that system error dominates model error.
Hao-Wen Shi, Xu-Zhe Yan, Fa-Hao Chen et al.· 0 citations
Scalable oversight asks how a weak verifier can check the outputs of computations performed by more powerful AI systems. One proposed approach uses relativizing interactive proofs, in which a weak verifier checks the output of a complex oracle-aided computation by interacting with one or more powerful provers. A promin...
Zi-Yi Guan, Y. Kalai, Ron D. Rothblum et al.· 0 citations
AI has made remarkable progress in mathematics, solving challenging problems with machine-checkable proofs in Lean, yet typically relying on predefined mathematical definitions and formal specifications. This raises a natural question: can it reason rigorously about an unknown world? We introduce the Algebraic World Mo...
Guan-Cheng Pan, Qi-Xin Tan, Yang Yuan et al.· 0 citations