HN Robert_Linz 9d ago

TS Foundation Models

TiRex-2 pretrained time series foundation model for zero-shot multivariate forecasting with streaming support.

Ax Jiacheng Miao, Jonathan K Pritchard, James Zou 9d ago

The Agentic Garden of Forking Paths

Study showing AI agents capture analytical variation among human researchers; different personas enable agents to report divergent conclusions from identical datasets.

Ax Oskar J. Hollinsworth, Ann-Kathrin Dombrowski, Sam Adam-Day, Adam Gleave, Chris Cundy 9d ago

Scaling Trends for Lie Detector Oversight in Preference Learning

Scaling analysis of SOLiD, a lie detector-based oversight method for identifying deceptive LLM responses, showing improved scaling with larger models in preference learning.

Ax Xingyuan Dai, Yue Liu, Xiaoyan Gong, Qinghai Miao, Junyou Shang, Yutong Wang, Chao Guo, Yonglin Tian, Yizhang Chai, Chao Xiang, Yisheng Lv, Fei-Yue Wang 9d ago

Autonomous discovery of traffic laws with AI traffic scientists

Autonomous AI system discovers universal traffic laws from observational data to identify recurrent congestion patterns across cities.

Ax Simon Guilloud, Sankalp Gambhir, Samuel Chassot 9d ago

Reformalization of the Jordan Curve Theorem

Case study in reformalization converting Jordan Curve Theorem proofs between proof assistants: Mizar, HOL Light, Lean, and Agda.

Ax Chunjiang Liu, Xiaoyuan Wang, Haoyu Chen, Yizhou Zhao, Ming-Hsuan Yang, L\'aszl\'o A. Jeni 9d ago

SimWorlds: A Multi-Agent System for Dynamic 3D Scene Creation

SimWorlds enables LLM agents to generate dynamic 4D scenes with physics simulation from text, supporting liquids, particles, and articulated motion.

Ax Maximo Rulli (Sapienza University of Rome), Thomas Fontanari (Sapienza University of Rome), Simone Petruzzi (Sapienza University of Rome), Federico Alvetreti (Sapienza University of Rome), Giorgio Strano (Sapienza University of Rome), Donato Crisostomi (Sapienza University of Rome), Giorgos Nikolaou (EPFL), Tommaso Mencattini (EPFL), Andrea Santilli (Independent researcher), Emanuele Rodol\`a (Sapienza University of Rome), Simone Scardapane (Sapienza University of Rome), Alessio Devoto (Independent researcher) 9d ago

Subliminal Clocks: Latent Time Modelling in Diffusion Language Models

Studies latent time representations in Diffusion Language Models, showing they internally encode denoising progress information without explicit timestep conditioning.

Ax Georgiana Caltais, Milan Lopuha\"a-Zwakenberg, Mari\"elle Stoelinga 9d ago

Actual causality in fault trees

Applies Halpern & Pearl's actual causality theory to fault trees for failure diagnostics in complex systems.

Ax Joshua Adrian Cahyono 9d ago

Safety Targeted Embedding Exploit via Refinement

STEER identifies safety gaps in LLM multilingual and code-switching inputs, revealing models generate harmful responses outside English safety training distribution.