Skip to yearly menu bar Skip to main content


Time zone: Conference local time zone
Full Schedule Sun 12/6 Mon 12/7 Tue 12/8 Wed 12/9 Thu 12/10 Fri 12/11 Sat 12/12 Sun 12/13
Filter Events
Invited Talk
12:30 AM - 1:30 AM

Explainable machine learning is often proposed as a tool to increase the transparency of machine learning systems and to satisfy requirements that might come with the European AI Act. However, to satisfy legal requirements, explanations should not merely appear plausible, but actually be reliable. To investigate when this is the case we introduce a mathematical framework that measures whether explanations are informative. Surprisingly, we find that most of the widely used post-hoc explanations are only informative if the underlying decision function is already simple. This questions the use of post-hoc explanations for complex machine learning models in a legal context. We suggest a path forward by augmenting explanations with concrete, valid interpretations. This can make explanations both formally informative and intuitively useful.

... more
Speaker Bio
Ulrike Luxburg
Ulrike Luxburg is a full professor of Machine Learning Theory at the University of Tübingen, Germany, where she also founded and coordinates the research cluster "Machine Learning for Science" and the "Institute for AI and Law". She has served as program chair of NeurIPS and COLT, and together with her students, has received seven best student paper awards at NeurIPS, COLT, ALT, IJCAI. In 2024 she received Germany's national award for science communication. She is a member of the German National Academy of Sciences.
... more
Session
1:30 AM - 3:30 AM
Poster
3:00 AM - 5:00 AM
215 Events in this session
$\pi^2$: A Simple Framework for 2D-to-3D Registration
Hao Deng ⋅ Xiangtai Yang ⋅ Guangmingzi Yang ⋅ Xijing Wang ⋅ MaYuanxiao ⋅ Sisi Li ⋅ Zhiqiang Tian ⋅ Shaoyi Du
ACER: Towards Generalizable Protein-ligand Co-folding
Nopsinth Vithayapalert ⋅ Francesca Grisoni
A Critical $\beta$-Scale for Posterior Collapse in Dirichlet $\beta$-VAEs
Delphine Doutsas ⋅ Bruno Figliuzzi
Active Context Selection Improves Simple Regret in Contextual Bandits
Mohammad Shahverdikondori ⋅ Jalal Etesami ⋅ Negar Kiyavash
ADAPT: Hybrid Prompt Optimization for LLM Feature Visualization
João N. Cardoso ⋅ Arlindo L Oliveira ⋅ Bruno Martins
Adaptive Robust Estimator for Policy Optimization in Reinforcement Learning
Zhongyi Li ⋅ Wan Tian ⋅ Jingyu Chen ⋅ Kangyao Huang ⋅ Huiming Zhang ⋅ Hui Yang ⋅ Tao Ren ⋅ Ruijie Wang ⋅ Yijie Peng ⋅ Yikun Ban ⋅ Fuzhen Zhuang
AI Behavioral Evaluation Should Be Grounded in Psychophysics Across Marr’s Levels
Jonas Mueller ⋅ Bernhard Egger ⋅ Bjoern Eskofier ⋅ Pasquale Minervini ⋅ ANTONIO RIZZO ⋅ Marco Valentino ⋅ Dario Zanca
AI-Generated Content Should Be Evaluated by Its Substance, Not Its Source
Anastasia Voznyuk ⋅ Vasily Konovalov
A Mahalanobis Margin \texorpdfstring{$\gamma_{\min}$}{gamma\_min} Bound on Task Confusion in Pretrained Class-Incremental Learning: From Infeasibility to Exponential Attenuation
Milad Khademi Nori ⋅ Guanghui Wang
AMARIS: Merging Generalist and Specialist LLMs via Adaptive Subspace Inheritance
Hwee Young Kang ⋅ Irwin De Tao Chin ⋅ Wen-Haw Chong ⋅ Hai Leong Chieu
Amortized Molecular Optimization via Group Relative Policy Optimization
Muhammad Bin Javaid ⋅ Hasham Hussain ⋅ Ashima Khanna-Reiter ⋅ Berke Kisin ⋅ Jonathan Pirnay ⋅ Alexander Mitsos ⋅ Dominik G Grimm ⋅ Martin Grohe
An Õptimal Differentially Private PAC Learner for Concept Classes with VC Dimension 1
Chao Yan
Antibody Generation via Redistributed Latent Diffusion
Andrey Shevtsov ⋅ Viacheslav Meshchaninov ⋅ Pavel Strashnov ⋅ Dmitry Vetrov
ARC-Encoder: learning compressed text representations for large language models
Hippolyte Pilchen ⋅ Edouard Grave ⋅ Patrick Perez
AR-Edit: Training-Free Streaming Video Editing without Inversion
Hovhannes Margaryan ⋅ Vicky Kalogeiton ⋅ Quentin Bammey ⋅ Christian Sandor
Assessing Per-Sample Membership Inference Vulnerability without Retraining
Valentin Dorseuil ⋅ Jamal Atif ⋅ Olivier Cappé
Asymptotic Anytime-Valid Inference for U-statistics
Leheng Cai ⋅ Qirui Hu ⋅ Weijia Li
A Theoretical Bridge Between Long-Tailed Recognition and Continual Learning
Mahdiyar Molahasani ⋅ Michael Greenspan ⋅ Ali Etemad
A Unified Perturbation Framework for Analyzing Leaderboard Stability and Manipulation
Hosna Oyarhoseini ⋅ Jimmy Lin ⋅ Amir-Hossein Karimi
Automata from Agent Traces: Failure and Next-Step Prediction
Seonglae Cho ⋅ Franklin Cardenoso Fernandez ⋅ Umar Mohammed ⋅ Zekun Wu ⋅ Kleyton da Costa ⋅ Ilham Wicaksono ⋅ Adriano Koshiyama
Balancing Frequencies and Pixels in Flow Matching
Lucas Degeorge ⋅ Paul Couairon ⋅ Arijit Ghosh ⋅ Alexei Efros ⋅ David Picard ⋅ Vicky Kalogeiton
BalCapRL : A Balanced Framework for RL-Based MLLM Image Captioning
Shaokai Ye ⋅ Vasileios Saveris ⋅ Yihao Qian ⋅ Jiaming Hu ⋅ Elmira Amirloo ⋅ Peter Grasch
Belief Engine: Configurable Stance Dynamics for Multi-Agent LLM Deliberation
Joshua C Yang ⋅ Maurice Flechtner ⋅ Damian Dailisan ⋅ Michiel Bakker
Benchmarking Attention for Tabular Foundation Models
Maximilian Schambach ⋅ Clemens Biehl ⋅ Sam Thelin
Beyond Kemeny Medians: Consensus Ranking Distributions. Definition, Properties and Statistical Learning
Stephan Clémençon ⋅ Ekhine Irurozki
Binding Multiple Modalities via Multimodal Wasserstein Barycenter
Xiaole Tang ⋅ Jiayi Xu ⋅ Xiang Gu ⋅ Yan Yang ⋅ Jian Sun
BLANP: Memory-Efficient Backpropagation-Free Local Training via Antithetic Node Perturbation
Mehrzad Karamimanesh ⋅ Marcel A. J. van Gerven ⋅ Mahyar Shahsavari
BO-Arena: An Evolving Benchmark for High-Dimensional Bayesian Optimisation
Thomas Christie ⋅ Colin Doumont ⋅ Henry Moss ⋅ Philipp Hennig
Building Transformation Layers for Riemannian Neural Networks
Ziheng Chen
Calibrated Target Noise Recovers Curvature from the Gradients
Arash Jamshidi ⋅ Katsiaryna Haitsiukevich ⋅ Aristides Gionis ⋅ Kai Puolamäki
CANDO: Cooperative Agentic Network for Layout Design Optimization
Athanasios Masouris ⋅ ZHENG JING ⋅ Benjamin S Chandler ⋅ Hadi Jamali-Rad
CanViT: Toward Active-Vision Foundation Models
Yohaï-Eliel BERREBY ⋅ Sabrina Du ⋅ Audrey Durand ⋅ B. S Krishna
Causal Discovery via Transformed Low-Rank Quantile Surfaces
Ryo Kamimura ⋅ Thong Pham
CENDRe: Concept Extraction with Natural Domain Representations
Antonia Holzapfel ⋅ Andres Posada Moreno ⋅ Sebastian Trimpe
Cephalonauts One: A deep fMRI dataset for decoding naturalistic speech in the human brain
Antoine Collas ⋅ Louis Jalouzot ⋅ Géraud Ilinca ⋅ Corentin Caris ⋅ Romain Valabregue ⋅ Ahmed Hassayoune ⋅ David Gonçalves ⋅ Madeleine Hueber ⋅ Thaddée Delebarre ⋅ Savatovsky Julien ⋅ Clara Fonteneau ⋅ Charles Maussion ⋅ Bertrand Thirion ⋅ Alexis Thual
CHAIN: Continual Heterogeneous Cooperation with Information Bottleneck for Multi-Agent Reinforcement Learning
Haowen Dou ⋅ Lujuan Dang ⋅ Badong Chen
ChainSpace: A Chained-Reasoning Paradigm for Spatial Intelligence
Xiaohan Zhang ⋅ Feng Gu ⋅ Xudong Rao ⋅ Xuhao Pan ⋅ Tao Wei ⋅ Pan Zhou ⋅ Kun Zhan
CHASM: Cross-frequency Harmonized Axis-Separable Mixing for Spectral Token Operators
Pengcheng Fang ⋅ Hongli Chen ⋅ Yuxia Chen ⋅ Tengjiao Sun ⋅ Jiaxin Liu ⋅ Xiaohao Cai
Complexity Aware Continuous Level of Details for Gaussian Splatting
Radu Beche ⋅ Raoul de Charette
Consistency-Verified Backdoor Defense for Federated Graph Learning via Cross-Layer Drift
Yanwen Jia ⋅ Yinuo Zhang ⋅ Zitong Shi ⋅ Yuxin Wu ⋅ Zihan Tan ⋅ Xuankun Rong ⋅ Liangtao Zheng ⋅ Wenke Huang ⋅ Mang Ye
Consistent 3D Surface Flow Model with Global State
Antoine Guedon ⋅ Shu Nakamura ⋅ Nicolas Dufour ⋅ Jiahui Lei ⋅ Ko Nishino ⋅ Angjoo Kanazawa
Consistent One-vs-All Losses Robust to Misspecification of the Weak Label Transition Model
Chi Cui ⋅ Hei Victor Cheng ⋅ Jesús Cid-Sueiro
Constrained Bombieri Point Processes
Cornelius Brand
Contrastive Hypergraph Source-free Domain Adaptive Object Detection in Adverse Weathers
Jicheng Yuan ⋅ Duc Manh Nguyen ⋅ Tung Kieu ⋅ Manfred Hauswirth ⋅ Danh Le-Phuoc
Controlling for Omitted Variable Bias in Deep Neural Networks
Manuel Pfeuffer ⋅ Roshan P Rane ⋅ Kerstin Ritter ⋅ Sonja Greven
Control Under the Wrong Model Is Better Than Under the Correct One
Francesco Damiani ⋅ Ruben Moreno Bote
CS-DICE: Offline Reinforcement Learning with Coherent Occupancy Regularization
Jeremías Figueiredo Paschmann
DACE: Diversity-Driven Adversarial Co-Evolution for Robust LLM Safety Alignment
Peng Yu ⋅ Xiaoyu Wen ⋅ Zhida He ⋅ Ziyuan Zhou ⋅ Han Qi ⋅ Shao Zhang ⋅ Qiaosheng Zhang ⋅ Ying Wen ⋅ Chaochao Lu
Dandelions: A Spherical Flower for Neural Simulation of Planetary Dynamics
Till Muser ⋅ Giovanni Abati ⋅ Ivan Dokmanić
Decision-Aware Proximal Bridge Learning for Optimal Treatment Selection
Tomas Garriga ⋅ Alejandro Almodóvar ⋅ Axel Brando ⋅ Gerard Sanz ⋅ Eduard Serrahima de Cambra ⋅ Juan Parras
Deep Learning as Neural Low-Degree Filtering: A Spectral Theory of Hierarchical Feature Learning
Yatin Dandi ⋅ Matteo Vilucchio ⋅ Luca Arnaboldi ⋅ Hugo Tabanelli ⋅ Florent Krzakala
Diffusion Models Observe Only Gradients: A Geometric Perspective on Score Matching Errors
Nail B Khelifa ⋅ Richard Turner ⋅ Ramji Venkataramanan
Disentangling generalization and memorization in large language models using chess
Leonard S. Pleiss ⋅ Maximilian Schiffer ⋅ Robert K von Weizsäcker
Doomed to Re-Annotate, Forever: The ImageNet Story
Illia Volkov ⋅ Nikita Kisel ⋅ Tetiana Mishkina ⋅ Klara Janouskova ⋅ Jiri Matas
Dynamic Regret in Online Convex Optimization with Indicator Switching Costs
Naram Mhaisen ⋅ George Iosifidis
E²Gen: Evidential Energy-Based Generation for Fair Federated Graph Learning
Jingbo Wang ⋅ Zitong Shi ⋅ Yuxin Wu ⋅ Zihan Tan ⋅ Qiqi Lin ⋅ Xuankun Rong ⋅ Liangtao Zheng ⋅ Wenke Huang ⋅ Mang Ye
EEGFaceSem: An EEG Benchmark with Paired Generative Latents for Semantic Visual Modeling
Jun Ma ⋅ Michiel Spape ⋅ Keith M Davis ⋅ Tuukka Ruotsalo
Efficient Matrix Product State Learning in Logarithmic Depth
Chia-Ying Lin ⋅ Nai-Hui Chia ⋅ Shih-Han Hung
Euclidean Embedding of Data Using Local Distances
Dimitrios Arampatzis
Evaluating Epistemic Uncertainty: Beyond OOD Detection and Active Learning
Jakub Paplhám ⋅ Vojtech Franc ⋅ Willem Waegeman ⋅ Eyke Hüllermeier
Expected Batch Optimal Transport Plans and Consequences for Flow Matching
Samuel Boïté ⋅ Julie Delon ⋅ Kimia Nadjahi
Explanation of Dynamic Physical Field Predictions using WassersteinGrad: Application to Autoregressive Weather Forecasting
Younes Essafouri ⋅ Laure Raynaud ⋅ Luciano DROZDA ⋅ Laurent Risser
Expressive Power of Deep Homomorphism Networks over Relational Databases
Balder ten Cate ⋅ Maurice Funk ⋅ Benny Kimelfeld ⋅ Carsten Lutz ⋅ Moritz Schönherr ⋅ Arie Soeteman
FACBench: A Benchmark for Formal-Anchor Collisions in Multilingual Mathematical Grounding
Piotr Kuterba ⋅ Józef Spałek
Fail-Closed Alignment for Large Language Models
Zachary Coalson ⋅ Sanghyun Hong
𝑓-Differential Privacy Filters: Validity and Approximate Solutions
Long Tran ⋅ Antti Koskela ⋅ Ossi Räisä ⋅ Antti Honkela
FedTrace: Generated-Content-Based Watermark Verification for Traitor Tracing in Federated Learning
Tianzhe Xiao ⋅ Haozhao Wang ⋅ Yichen Li ⋅ Qiyu Qin ⋅ Debin Liu ⋅ Ruixuan Li
FIVE-VLA: Fast and EffectIVE Closed-Loop Autonomous Driving with Recurrent Action Memory
Kemal Oksuz ⋅ Alexandru Buburuzan ⋅ Yuhan Yao ⋅ Puneet Dokania
Focus, Align, and Diffuse: Time-Series-Aware Keyframe Diffusion for Cardiac Dynamic Synthesis from Sparse Observations
Junkai Liu ⋅ Haofan Wu ⋅ Nay Aung ⋅ Joao A Lima ⋅ Steffen E Petersen ⋅ Le Zhang
Focused Forcing: Content-Aware Per-Frame KV Selection for Efficient Autoregressive Video Diffusion
Peiliang Cai ⋅ Evelyn Zhang ⋅ Jiacheng Liu ⋅ Hao Lin ⋅ Ruiqi Zhang ⋅ Weile Mo ⋅ Yue Ma ⋅ Shikang Zheng ⋅ Jiehang Huang ⋅ Dongrui Liu ⋅ Linfeng Zhang
FogGS: Physics-Grounded 3D Foggy Effects
Jiaxin LI ⋅ Tailin Wu ⋅ Jiankang Deng ⋅ Li Zhang ⋅ Xiatian Zhu
From Anti-Forgetting to Fast Adaptation: Continual Reinforcement Learning with World Models
Qiyang Zhou ⋅ Yuliang Cai ⋅ Peng Wang ⋅ Senquan Yi ⋅ Yanming Li ⋅ Haobo Fu ⋅ Li Shen
From Baselines to Transport Geodesics: Axiomatic Attribution via Optimal Generative Flows
Cenwei Zhang ⋅ Lin Zhu ⋅ Manxi Lin ⋅ Lei You
From Persistence to Survival: Hypothesis Testing, Effect Sizes and Vectorisation for Topological Features
Juliette Murris ⋅ Bernadette J Stolz ⋅ Karsten Borgwardt
From Structural Feedback to Prompt Policies: Learning Faithful Text-to-Image Prompt Editors
Wentao Ye ⋅ Yali Ye ⋅ Zhiqing Xiao ⋅ Ru Peng ⋅ Xinpeng Ti ⋅ Liyao Li ⋅ Zhanming Shen ⋅ Peng Lu ⋅ Jie Zhang ⋅ Haobo Wang
GDSD: Reinforcement Learning as Guided Denoiser Self-Distillation for Diffusion Language Models
Xiaohang Tang ⋅ Keyue Jiang ⋅ Che Liu ⋅ Zhao ⋅ Xiaoxiao Xu ⋅ Sangwoong Yoon ⋅ Ilija Bogunovic
GEM: A Dual-Scale Architecture for Graph-Level Hierarchical Representation Learning
Zhaowei Wu ⋅ Kaizhong Zheng ⋅ Guangmingzi Yang ⋅ Shuai Jiang ⋅ Liangjun Chen ⋅ Badong Chen
Gender Artifacts from Art History to Text-to-Image Generation
Piera Riccio ⋅ Miriam Doh ⋅ Benedikt Höltgen ⋅ Noa Garcia ⋅ Nanne van Noord
Generalization in Neural Networks Through the Lens of Magnitude Potential
Sahel Torkamani ⋅ Henry Gouk ⋅ Rik Sarkar
Generalized Adaptive Boosting and the Geometry of Mistakes
Marco Bressan ⋅ Nataly Brukhim ⋅ Nicolò Cesa-Bianchi ⋅ Emmanuel Esposito ⋅ Yishay Mansour ⋅ Shay Moran ⋅ Maximilian Thiessen
Generative Object Detection with Co-Training
Yang Liu ⋅ Yao Zhang ⋅ Feng Hou ⋅ Yangzhou Du ⋅ Peng Wang ⋅ Yang Zhang ⋅ zhongchao shi ⋅ Jianping Fan ⋅ Zhiqiang He
GeoBiaset: A Counterfactual Benchmark for Demographic Bias in World-Level Geolocalization
Niccolò Niccoli ⋅ Silvia Dani ⋅ Marco Mistretta ⋅ Andrew Bagdanov ⋅ Marco Bertini ⋅ Lorenzo Seidenari
GeoCurv-TTT: Geometry-Aware Deformation Restoration for 3D Test-Time Training
Sina Ghofrani Majelan ⋅ M. O Ahmad ⋅ M.N.S. Swamy
Geometry-Guided Semantic Reconstruction for 3D Instance Segmentation
Yuanhao Su ⋅ Shaofeng Zhang
Gradient-Guided Smoothing for LLM Safety Defense
Yuxuan Gu ⋅ Xiaocheng Feng ⋅ kun Zhu ⋅ Lunjun Liu ⋅ Zhihao Yao ⋅ Lei Huang ⋅ Weihong Zhong ⋅ Bing Qin
GSQ: Highly-Accurate Low-Precision Scalar Quantization for LLMs via Gumbel-Softmax Sampling
Alireza Dadgarnia ⋅ Rush Tabesh ⋅ Mahdi Nikdan ⋅ Michael Helcig ⋅ Eldar Kurtić ⋅ Maximilian Kleinegger ⋅ Dan Alistarh
Honeyval: A Comprehensive Evaluation Framework for LLM-powered HTTP Honeypots
Mark Vero ⋅ Fabian Kaczmarczyck ⋅ Ivan Petrov ⋅ I Shumailov ⋅ Niels Heinen ⋅ Jamie Hayes ⋅ Tianqi Fan ⋅ Luca Invernizzi ⋅ Martin Vechev
Hypergraph Generation via Structured Stochastic Diffusion
Christopher Nemeth
IDEAFix: Evaluation Framework for Creative Defixation Prompting in LLMs
Florian Carichon ⋅ Soumya Sharma ⋅ Meaghan J. Girard ⋅ Romain Rampa ⋅ Golnoosh Farnadi
I Have a Stream: Making Self-Supervised Learning Work on Continuous Video
Ivan Martinović ⋅ Lukas Knobel ⋅ Yuki Asano
Implicit Bias of Mirror Flow in Homogeneous Neural Networks: Sparse and Dense Feature Learning
Tom Jacobs ⋅ Guido Montufar
In-Context Black-Box Optimization with Unreliable Feedback
Nicolas Samuel Blumer ⋅ Julien Martinelli ⋅ Samuel Kaski
Incremental Learning in Transformers for In-Context Associative Recall
Aditya Vardhan Varre ⋅ Nicolas Flammarion
Independent Learning of Nash Equilibria in Partially Observable Markov Potential Games with Decoupled Dynamics
Philip Jordan ⋅ Maryam Kamgarpour
Instantiation of Human Values in Image Generation
Maria Teresa De Rosa Palmini ⋅ Piera Riccio ⋅ Noa Garcia ⋅ Eva Cetinic
Intersectional Fairness via Mixed-Integer Optimization
Jiří Němeček ⋅ Mark Kozdoba ⋅ Illia Kryvoviaz ⋅ Tomáš Pevný ⋅ Jakub Marecek
IRPO: Boosting Image Restoration via Post-training GRPO
Haoxuan Xu ⋅ Yi Liu ⋅ Tianfu Li ⋅ Ruolin Shen ⋅ Boyuan Jiang ⋅ Jinlong Peng ⋅ Donghao Luo ⋅ Xiaobin Hu ⋅ Shuicheng Yan ⋅ Haoang Li
Joint Adaptive Neighborhood Constraint for Offline Multi-Agent Reinforcement Learning
Xiancheng Gao ⋅ Mingxiao Feng ⋅ Lin Liu ⋅ Yuanrui Duan ⋅ Yufeng Shi ⋅ Wengang Zhou ⋅ Houqiang Li
k-th Order Deep Homomorphism Networks
Takanori Maehara
KV Packet: Recomputation-Free Context-Independent KV Caching for LLMs
Chuangtao Chen ⋅ Grace Li Zhang ⋅ Xunzhao Yin ⋅ Cheng Zhuo ⋅ Bing Li ⋅ Ulf Schlichtmann
LayoutBridge: Anisotropic Brownian Bridges for Public Indoor Floorplan Generation
Tongyang Dai ⋅ Ruipeng Gao ⋅ Feng Liu ⋅ Wenqiu Bai ⋅ Lingkun Li ⋅ Qiang Ni
Learning Compositional Latent Structure with Vector Networks
Niclas Pokel ⋅ Benjamin F. Grewe
Learning to Undo: Transfer Reinforcement Learning under State Space Transformations
Mridul Mahajan ⋅ Aldo Pacchiano ⋅ Xuezhou Zhang
Learning Transferable Representations from Operating System Entities via Provenance Graph Distillation
Tristan Bilot ⋅ Xueyuan Han ⋅ Thomas Pasquier
Learning Where to Simulate: Generative Active Sampling for Online PDE Surrogate Training
Pierre Cesar ⋅ Sofya Dymchenko ⋅ Abhishek Purandare ⋅ Bruno Raffin
LithoBench: Benchmarking Large Multimodal Models for Remote-Sensing Lithology Interpretation
jun wang ⋅ Fengpeng Li ⋅ Hang Dong ⋅ Tianjin Huang ⋅ Wei Han
LLM-AutoSciLab: Closed-Loop Scientific Law Discovery via Active Experimentation with LLMs
Sanchit Kabra ⋅ Nikhil Abhyankar ⋅ Saaketh Desai ⋅ Prasad Iyer ⋅ Chandan Reddy
Lost in the Slots: Revisiting Object-Centric Representations in the era of Foundation Models
Priyam Dey ⋅ Aditya Sahdev ⋅ Omkar M Kashyap ⋅ Venkatesh Babu Radhakrishnan
Macrocanonical Generator Networks: data-efficient neural surrogates for amortized physics simulation
Niall Jeffrey ⋅ Benjamin Wandelt
Mamba Flow Matching Neural Processes: Linear-Time Inference for Irregularly Observed Spatial Fields
Cosmo Santoni ⋅ Giovanni Charles ⋅ Timothy James Hitge ⋅ Oliver Watson ⋅ Elizaveta Semenova
Many Circuits, One Mechanism: Input Variation and Evaluation Granularity in Circuit Discovery
Alireza Bayat Makou ⋅ Jingcheng Niu ⋅ Subhabrata Dutta ⋅ Iryna Gurevych
Membership Inference on Synthetic Single-Cell Genomic Data
Steven Golob ⋅ Patrick McKeever ⋅ Sikha Pentyala ⋅ Martine De Cock ⋅ Jonathan Peck
MEMEVO: A Memory-Evolved Video Agent for Long Video Understanding
Yuan Wang ⋅ Yake Wei ⋅ Tianrun Xu ⋅ Fengyun Rao ⋅ Jing LYU ⋅ Xuetao Feng ⋅ Yifan Sun
MemPlan: Memory-Conditioned PDDL Planning for Partially Observable Text Environments
Tengwei Song ⋅ Robert Hoehndorf
Meta-Cognitive Memory Policy Optimization for Long-Horizon LLM Agents
Ziyan Liu ⋅ Zhezheng Hao ⋅ Yeqiu Chen ⋅ Hong Wang ⋅ JingRen Hou ⋅ Ruiyi Ding ⋅ Yongkang Yang ⋅ Wence Ji ⋅ Wei Xia ⋅ Feng Liu
MID: Mask-Image Distributional Divergence for Evaluating Medical Image Segmentation
Vincenzo Marcianò ⋅ XIAOMING ZHANG ⋅ Gianluca Guglielmo ⋅ Sebastien Ourselin ⋅ Michela Antonelli ⋅ Maria A Zuluaga
Mildly Overparameterized ReLU Networks on Orthogonal Data: Incremental Learning and Implicit Bias
James Town ⋅ Etienne Boursier ⋅ Ben Lewis ⋅ Matthias Englert ⋅ Ranko Lazic
Mirror descent actor-critic methods for entropy regularised MDPs in general spaces: stability and convergence
Denis Zorba ⋅ David Siska ⋅ Lukasz Szpruch
Mitigating Saliency Collapse: Robust Saliency-Aware Long-Text Image-Text Alignment
Qiuyu Kong ⋅ Zanxi Ruan ⋅ Marco Cristani ⋅ Yiming Wang
More Value per Key: Asymmetric Sparse Attention for Faster LLM Decoding
Noam Elata ⋅ Itay Lamprecht ⋅ Mikey Shechter ⋅ Daniel Ohayon ⋅ Itay Hubara ⋅ Daniel Soudry
Mouse Total Capture: A multi-view Dataset for 3D Motion and Expression Capture of Freely Moving Mouse
Jiachen Zhao ⋅ He Zhang ⋅ Liang An ⋅ Tao Yu
Multi-Bridge Denoising Diffusion Probabilistic Models
Mélodie Monod ⋅ Habib Ganjgahi
Multi-Environment POMDPs with Finite-Horizon Objectives
Léonard Brice ⋅ Filip Cano ⋅ Krishnendu Chatterjee ⋅ Thomas Henzinger ⋅ Stefanie Muroya
NashDreamer: Model-Based Reinforcement Learning for Zero-Sum Imperfect-Information Games
Tomáš Holeček ⋅ Viliam Lisy
Neural Galerkin Normalizing Flows for Bayesian Inference of Diffusions with Inaccessible Boundaries
Riccardo Saporiti ⋅ Fabio Nobile
Not All Gap Correction Helps: A Geometric View of External Information in LLM Inference
Dingzirui Wang ⋅ Xuanliang Zhang ⋅ Keyan Xu ⋅ Qingfu Zhu ⋅ Wanxiang Che ⋅ Yang Deng
ObjView-Bench: Rethinking Difficulty and Deployment for Object-Centric View Planning
Sicong Pan ⋅ Hao Hu ⋅ Xuying Huang ⋅ Benno Wingender ⋅ Maren Bennewitz
OneSearch-V2: The Latent Reasoning Enhanced Self-distillation Generative Search Framework
Ben Chen ⋅ Siyuan Wang ⋅ Yufei Ma ⋅ Zihan Liang ⋅ Han Li ⋅ Chenyi Lei ⋅ Wenwu Ou ⋅ Kun Gai
On Length Bias in EEG-to-Text Decoding
Iakovos Tenedios ⋅ Yashar Moshfeghi
Online Active Testing: Adaptive Importance Sampling for Unbiased Risk Estimation in Data Streams
Hugo Schmutz ⋅ Hachem Kadri ⋅ Thierry Artières
On Observation Time for Recovering Latent Hawkes Networks
Jonas Linkerhägner ⋅ Michele Bortolasi ⋅ Lorenzo Baldassari ⋅ Maarten V. de Hoop ⋅ Ivan Dokmanić
On the Construction and Implications of Low-Loss Valleys in LoRA-based Bayesian Inference
Daniel Dold ⋅ Emanuel Sommer ⋅ Julius Kobialka ⋅ Oliver Dürr ⋅ David Rügamer
On the Rademacher Complexity of Graph Neural Networks: Unifying Expressivity and Geometry
Martin Carrasco ⋅ Caio Deberaldini Netto ⋅ Ehimare Okoyomon ⋅ Aneeqa Mehrab ⋅ Vahan Martirosyan ⋅ Caterina Graziani
Optimal algorithmic complexity of inference in quantum kernel methods
Elies Gil-Fuster ⋅ Seongwook Shin ⋅ Sofiene Jerbi ⋅ Jens Eisert ⋅ Maximilian J Kramer
Optimal In-context Adaptivity and Distributional Robustness of Transformers
Tianyi Ma ⋅ Tengyao Wang ⋅ Richard J Samworth
Optimized Forward-Backward Rematerialization for Memory-Efficient Pipeline Parallel Training
Adrien Aguila-Multner ⋅ Olivier Beaumont ⋅ Lionel Eyraud-Dubois ⋅ Julia Gusak
OTEdit: Entropic Transport Corrected Trajectory for Inversion-Free Flow-Based Image Editing
Rameshwar Mishra ⋅ Akshay Modi ⋅ A. Subramanyam
ParaVT: Taming the Tool Prior Paradox for Parallel Tool Use in Agentic Video Reinforcement Learning
Zuhao Yang ⋅ Kaichen Zhang ⋅ Sudong Wang ⋅ Keming Wu ⋅ Zhongyu Yang ⋅ Bo Li ⋅ Xiaojuan Qi ⋅ Shijian Lu ⋅ Xingxuan Li ⋅ Lidong Bing
Pareto DNN Verification: Fast for Most Queries
Yizhak Y. Elboher ⋅ Avraham Raviv ⋅ Amihay Elboher ⋅ Zhouxing Shi ⋅ Hillel Kugler ⋅ Guy Katz
Pathways of Visual Information Flow in Vision-Language Models
Israfel Salazar ⋅ Stella Christina Frank ⋅ Dan Oneata ⋅ Desmond Elliott ⋅ Constanza Fierro
P-EAGLE: Parallel-Drafting EAGLE with Scalable Training
Xin Huang ⋅ Mude Hui ⋅ Jaime Campos Salas ⋅ Yue Sun ⋅ Nathan Pemberton ⋅ Ashish Khetan ⋅ Xiang song ⋅ George Karypis
Playing Markov Games Without Observing Payoffs
Daniel Ablin ⋅ Alon Peled-Cohen
Poison-then-Hide: Finetuning-Activated Backdoor Attack on Pretrained Vision Encoders
Qixuan Jin ⋅ Abinitha Gourabathina ⋅ Vinith Suriyakumar ⋅ Walter Gerych ⋅ Marzyeh Ghassemi
Position: AI Efficiency Gains Must Be Quantitatively Evaluated Against Rebound Effects
Kim Thang Nguyen ⋅ Denis Trystram
Position: Fair Representations Cannot Hold What They Promise
Shai Ben-David ⋅ Tosca Lechner ⋅ Ruth Urner
Prediction-Powered Active Testing
Kianoosh Ashouritaklimi ⋅ Valentin Kilian ⋅ Daolang Huang ⋅ Thomas Rainforth ⋅ Francois Caron
Principia: Relational Physics Tests for Video Models
Varun V Thozhiyoor ⋅ Shivam Tripathi ⋅ Venkatesh Babu Radhakrishnan ⋅ Anand Bhattad
Privacy Amplification Persists under Unlimited Synthetic Data Release
Clément Pierquin ⋅ Aurélien Bellet ⋅ Marc Tommasi ⋅ Matthieu Boussard
Privacy by Postprocessing the Discrete Laplace Mechanism
Quentin Hillebrand ⋅ Jacob Imola ⋅ Rasmus Pagh ⋅ Sia Sejer
Privacy Guarantees in Posterior Sampling under Contamination
Shenggang Hu ⋅ Hongsheng Dai ⋅ Louis Aslett ⋅ Murray Pollock ⋅ Gareth Roberts
PurpleAudit: A Co-Evolutionary Auditing Framework for Task Hijacking in Multi-Agent Systems
Tristan Bilot ⋅ Zhilu Zhang ⋅ Kay Liu ⋅ Mikhail Kuznetsov ⋅ Wei Ding
QGround: Condition-Wise Evidence Aggregation for 3D Grounding with 2D VLMs
Fengyun Wang ⋅ Jian Wang ⋅ Dingwei Zhang ⋅ Jinhui Tang ⋅ QIANRU SUN
Quantitative Local Convergence of Mean-Field Stein Variational Gradient Flow
Lénaïc Chizat ⋅ Maria Colombo ⋅ Roberto Colombo ⋅ Xavier Fernández-Real
Read-Only Zero-Shot Classifier Expansion from Pairwise Semantics
Zhiqiang Zhong ⋅ Jun Pang
Recovering Clean Evaluation Metrics from Contaminated Benchmarks
Míriam Barrabés ⋅ Daniel Mas Montserrat ⋅ Maria Perera ⋅ Alexander Ioannidis
ReefNet: A Large-Scale Dataset and Benchmark for Fine-Grained Coral Reef Recognition
Abdulwahab Felemban ⋅ Yahia Battach ⋅ Faizan F Khan ⋅ Yuqian Fu ⋅ Xuhui Liu ⋅ Yesmeen Khattab ⋅ Yousef A Radwan ⋅ Xiang Li ⋅ Natalie Dunn ⋅ Susanne Bähr ⋅ Tullia I Terraneo ⋅ Fabio Marchese ⋅ Sara Beery ⋅ Burton H Jones ⋅ Francesca Benzoni ⋅ Mohamed Elhoseiny
Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
Kristina Levina ⋅ Nikolaos Pappas ⋅ Athanasios Karapantelakis ⋅ Aneta Vulgarakis Feljan ⋅ Jendrik Seipp
Resource-Aware Parameter-Efficient Model Adaptation for Onboard High-Dimensional Data
Qiyang Zhang ⋅ Xinhao Li ⋅ Lei Shi ⋅ Zheng Lin ⋅ Jinfeng Wen ⋅ Ao Zhou ⋅ Shangguang Wang
RigRecon: Efficient Rig-Aware Street Reconstruction via Dual-Path Spatio-Temporal Interaction
Jiaming Guo ⋅ Hongcheng Luo ⋅ Cheng Chi_ ⋅ Lijun Zhou ⋅ Bing Wang ⋅ Guang Chen ⋅ Hangjun Ye ⋅ Jiaqi Yang ⋅ Xiaowei Zhou ⋅ Haiyang Sun ⋅ Sida Peng
Robot Demonstration Videos Should Include Transparency Disclosures
Nozomi Nakajima
Robust Amortized Simulation-Based Inference via Learned Error Models
Matthew O'Callaghan ⋅ Kaisey Mandel ⋅ Gerard Gilmore
Robust Dreamer: Deviation-Aware Latent Gaussian Memory for Action-Controlled AR Video Generation
Hanlin Chen ⋅ Jiaxin Wei ⋅ Xibin Song ⋅ Yifu Wang ⋅ Senbo Wang ⋅ Hongdong Li ⋅ Pan Ji ⋅ Gim Hee Lee
RubiConv - Efficient Boundary-Respecting Convolutions
Linda Friso ⋅ Annie Marsden ⋅ Xinyi Chen ⋅ Arushi Gupta ⋅ Peter Bartlett ⋅ Mark Braverman ⋅ Elad Hazan
Safe Few-Step Generation via Velocity Editing
Yujin Choi ⋅ Jaehong Yoon
SciR: A Controllable Benchmark for Scientific Reasoning in LLMs
Pierre Beckmann ⋅ Marco Valentino ⋅ Andre Freitas
SEGA: Spectral-Energy Guided Attention for Resolution Extrapolation in Diffusion Transformers
Javad Rajabi ⋅ Kimia Shaban ⋅ Koorosh Roohi ⋅ David Lindell ⋅ Babak Taati
Self-Improvement Imitation with Biologically Guided Search for Protein Design Under Oracle Budgets
Ashima Khanna-Reiter ⋅ Dominik G Grimm
SemanticDLM+: Improving Diffusion LLMs through Bias-variance Trade-off in Transition Kernel Design
Keyue Jiang ⋅ Yuxiang Wang ⋅ Yanan Zhao ⋅ Xiang Yu ⋅ Zhao ⋅ Bohan Tang ⋅ Baojian Zhou ⋅ Yanghua Xiao ⋅ Lin Qu ⋅ Xiaoxiao Xu
Settling the Sample Complexity of Deterministic Agnostic PAC Learning
Shai Ben-David ⋅ Steve Hanneke ⋅ Farnam Mansouri ⋅ Amirreza Shaeiri
Show Me What You Don’t Know: Efficient Sampling from Invariant Sets for Model Validation
Armand Rousselot ⋅ Joran Wendebourg ⋅ Ullrich Köthe
Simultaneous Gradient Learning in First-Price Auctions
Janik Bürgermeister ⋅ Julius Durmann ⋅ Martin Bichler ⋅ Mete Ş Ahunbay ⋅ Bary Pradelski ⋅ Marco Scarsini
SLAyiNG: A Diverse and Community-validated Dataset of Queer Slang
Leonor Veloso ⋅ Lea Hirlimann ⋅ Lucija M Zidar ⋅ Philipp Wicke ⋅ Valentin Hofmann ⋅ Hinrich Schuetze
SLVMBench: Skill Learning from Video Memory
Yudong Yang ⋅ Guangzhi Sun ⋅ Yixuan Li ⋅ Wei Li ⋅ Zejun MA ⋅ Chao Zhang
SP-CACW: Convergence-Aware Client Weighting for Selfish Personalized Learning
Yaron Kiselman ⋅ Kfir Y. Levy
Spectral Re-Basin for Linear Mode Connectivity
Ya-Wei Eileen Lin ⋅ Thomas Dagès ⋅ Daniel Herbst ⋅ Daniel Cremers ⋅ Stefanie Jegelka
SR-GRPO: Stable Rank as an Intrinsic Geometric Reward for Large Language Model Alignment
Yixuan Tang ⋅ Yi Yang
Stabilizing Policy Optimization via Logits Convexity
Hongzhan Chen ⋅ Tao Yang ⋅ Yuhua Zhu ⋅ Shiping Gao ⋅ Xiaojun Quan ⋅ Ting Yao
Statistical Convergence of Spherical First Hitting Diffusion Models
Simon Bienewald ⋅ Lukas Trottner
StereoTales: A Multilingual Framework for Open-Ended Stereotype Discovery in LLMs
Pierre Le Jeune ⋅ Etienne Duchesne ⋅ Weixuan Xiao ⋅ Stefano Palminteri ⋅ Bazire Houssin ⋅ Benoît Malézieux ⋅ Matteo Dora
Stop the Sampler! Classifier-Based Adaptive Stopping for Sampling Kernels
Kirill Korolev ⋅ Nikita Morozov ⋅ Stepan Pavlenko ⋅ Esmeralda S Whitammer ⋅ Sergey Samsonov
Subset-Conditioned Boundary Compensation for Missing-Modality Multimodal Classification
Zesen Cai ⋅ Lisi Mo ⋅ Yifan Fang ⋅ Yandong Yan ⋅ Keren Shi ⋅ Daming Shi ⋅ Ruiting Dai
Surprise, Episodic Context, and Catastrophic Forgetting in LLM Fine-Tuning: An Empirical Study
Zied Ben Houidi ⋅ Alexis Huet ⋅ Alberto Eusebio ⋅ Francesco Mantovani ⋅ Dario Rossi
TerraMesh-Masks: Open‑Vocabulary Segmentation for Earth Observation
Benedikt Blumenstiel ⋅ Hugues Devimeux ⋅ Johannes Jakubik ⋅ Konrad Schindler
The Constitutional Coverage Trilemma in AI Governance
Natalija Mitic ⋅ Soona S O. ⋅ Mamadou Selly Ly ⋅ Moustapha Cisse
The Grounding Gap: How LLMs Anchor the Meaning of Abstract Concepts Differently from Humans
Odysseas S Chlapanis ⋅ Orfeas Menis Mastromichalakis ⋅ Christos H Papadimitriou
The Long-Run Distribution of Regularized Learning in Non-Concave Games: A Large Deviations Approach
Waïss Azizian ⋅ Pierre-Louis Cauvin ⋅ Franck Iutzeler ⋅ Jérôme Malick ⋅ Panayotis Mertikopoulos
The Post-Training Dilemma: Why We Should Rethink the Sequential SFT-RL Paradigm
Xueyan Niu ⋅ Bo Bai ⋅ Wei Han ⋅ Weixi Zhang
The Ruler and the Judge: Benchmark-Conditional Evaluation of LLM-as-a-Judge
Adrián Ghajari ⋅ Alejandro Benito-Santos ⋅ Víctor Fresno
The SEC Filings Dataset: Reconstructing U.S. Corporate and Financial Disclosures into Layout-Faithful and Token-Efficient Pretraining Data
Nick Bettencourt ⋅ Xiaowei Ding ⋅ Kay Giesecke
The Smart Buildings Control Suite: A Diverse Open Source Benchmark to Evaluate and Scale HVAC Control Policies for Sustainability
Judah Goldfeder ⋅ Victoria Dean ⋅ Zixin Jiang ⋅ Xuezheng Wang ⋅ Bing Dong ⋅ Hod Lipson ⋅ John Sipple
To Align or Not To Align: Check Your COMPASS Before You Train
Fabian Gröger ⋅ Petar Damjanović ⋅ Maria Brbic
Toward Optimal Regret in Robust Pricing: Decoupling Corruption and Time
Kalana K Kalupahana ⋅ Francesco Emanuele Stradi ⋅ Matteo Castiglioni ⋅ Alberto Marchesi
Towards Convergence of PPO: An Approximate Descent Approach
Leif Döring ⋅ Daniel A Schmidt ⋅ Moritz Melcher ⋅ Sebastian Kassing ⋅ Benedikt Wille ⋅ Tilman Aach ⋅ Simon Weissmann
Training Data Attribution in Diffusion Models via Mirrored Unlearning and Noise-Consistent Skew
Joan Serrà ⋅ Dipam Goswami ⋅ Fabio Morreale ⋅ Wei-Hsiang Liao ⋅ Yuki Mitsufuji
Training-free Focus-Ambient Retention for Memory-Efficient Video Large Language Models
Haozheng Zeng ⋅ Qi Bi ⋅ Gui-Song Xia
TropNNC: Structured Neural Network Compression Using Tropical Geometry
Konstantinos Fotopoulos ⋅ Petros Maragos ⋅ Panagiotis Misiakos
TS-ICL: A Flexible Time-Indexed Foundation Model for Time Series via In-Context Learning
Etienne Le Naour ⋅ Tahar Nabil ⋅ Adrien Petralia
TUBE: Tangent Upper Bound on Evidence for Discrete Diffusion Language Models
Arseny Ivanov ⋅ Sergei Kholkin ⋅ Vladislav Gromadskii ⋅ Grigoriy Ksenofontov ⋅ Ivan Oseledets ⋅ Aleksandr Korotin
Unbiased First-Order Randomized Smoothing for Differentiable Simulation
Mathis SCHEFFLER ⋅ Wilson Jallet ⋅ Cordelia Schmid ⋅ Justin Carpentier
Unbounded Streaming Text-To-Speech with Prefixed Sliding Window Attention
Théodor Lemerle ⋅ Diego Torres Guarin ⋅ Téo Guichoux ⋅ Nicolas Obin ⋅ Axel Roebel
Uncertainty as an Underconstrained Axis in Lossy Compression
Enzo Tartaglione
Uncovering Challenges of Solving the Continuous Gromov-Wasserstein Problem
Xavier Aramayo-Carrasco ⋅ Maksim Nekrashevich ⋅ Petr Mokrov ⋅ Evgeny Burnaev ⋅ Aleksandr Korotin
Unifying Goal-Conditioned RL and Unsupervised Skill Learning via Control-Maximization
Alireza Modirshanechi ⋅ Benjamin Eysenbach ⋅ Peter Dayan ⋅ Eric Schulz
Unrestrained Simplex Denoising for Discrete Data. A Generative Method Applied to Graphs.
Yoann Boget ⋅ Alexandros Kalousis
V-GIFT: Boosting Visual Instruction Tuning with Self-Supervised Guidance
Sophia Sirko-Galouchenko ⋅ Monika Wysoczańska ⋅ Andrei Bursuc ⋅ Nicolas THOME ⋅ Spyridon Gidaris
VISTA: Support-Anchored Value Targeting for Fast Flow-Based Vision-Language-Action Policies
Hongjie Cao ⋅ Yuxuan Yang ⋅ Yunpeng Mei ⋅ Peng Cheng ⋅ Chenyu Wang ⋅ Jiamin Wang ⋅ Xiaoyi Fan ⋅ Fang Deng ⋅ Gao Huang ⋅ Jie Chen ⋅ Gang Wang
WaveMamba: Wave-Inspired Cross-Modal Fusion for Robust event-image Semantic Segmentation
Adeel F Mirza ⋅ Zaiyue Yang ⋅ Muntazir Hussain
WayPOP: A Panoramic Open-Set Panoptic Tracking Benchmark
Rohit Mohan ⋅ Maximilian Luz ⋅ Swarnava Chowdhury ⋅ Yao Lu ⋅ Florian Drews ⋅ Thomas Nürnberg ⋅ Yakov Miron ⋅ Federico Tombari ⋅ Stefano Gasperini ⋅ Abhinav Valada
Weighted Sampling for Online Causal Discovery
Arnab Bhattacharyya ⋅ Philips George John ⋅ Sayantan Sen ⋅ Naganand Yadati
What’s Holding Back Latent Visual Reasoning?
Andre G Viveiros ⋅ Nuno Gonçalves ⋅ André Martins ⋅ Matthias Lindemann
When Does Trimming Help Conformal Prediction? A Retained-Law Diagnostic under Calibration Contamination
Congye Wang
When Must AI Training Stage Checkpoints? A Distributional Model of Durability Boundaries at Scale
Farid Talibli ⋅ Awais Khan ⋅ Christopher Zimmer ⋅ Sungyong Park ⋅ Jihoon Yang ⋅ Youngjae Kim
Who Needs Labels? Adapting Vision Foundation Models With the Metadata You Already Have
Elouan Gardes ⋅ Seung-Eun Yi ⋅ Huy V. Vo ⋅ Théo Moutakanni ⋅ Kartik Ahuja ⋅ Piotr Bojanowski ⋅ Wolfgang Pernice ⋅ Loic Landrieu ⋅ Camille Couprie
X-Palm: Paired Multispectral-to-Smartphone Dataset for Cross-Domain Palmprint Authentication
Seyed Jamal Seyedmohammadi ⋅ Pai Chet Ng ⋅ Angelo Genovese ⋅ Zhixiang Chi ⋅ Jeannie Lee ⋅ Konstantinos N Plataniotis
Your Self-Supervised Projection Head Captures Object Co-Occurrence Statistics
Arthur Aubret ⋅ Jochen Triesch ⋅ Céline Teulière
Go to Event Page
Invited Talk

Is Mathematics Solved?

Timothy Gowers
6:30 PM - 7:30 PM

Now that AI has solved a large number of major and long-standing open problems in mathematics, many people have been tempted to say that "mathematics is solved". I shall argue that there is an important sense in which mathematics is far from solved, even if we end up with a black box that is quicker than humans at solving any mathematical problem. I shall also describe some of the work of an automatic theorem proving group I run in Cambridge, and explain what I see as the potential benefits of continuing that work.

... more
Speaker Bio
Timothy Gowers
Timothy Gowers was born in 1963 into a family of musicians. He was a chorister at King's College Cambridge from 1973 to 1976, returning to Cambridge in 1982 where he was an undergraduate, PhD student and research fellow in mathematics at Trinity College. From 1991 to 1995 he was a lecturer at University College London, before returning to Cambridge, initially as a lecturer, then as Rouse Ball Professor of Mathematics, and then as a Royal Society Research Professor. In 2000 he became the holder of the chair in combinatorics at the Collège de France, He retains a part-time position at Cambridge. He has received several awards, including a Fields Medal in 1998. He is the author of Mathematics: A Very Short Introduction and the main editor of The Princeton Companion to Mathematics.
... more
Session
7:30 PM - 8:00 PM
Session
8:30 PM - 9:30 PM
Poster
10:30 PM - 12:30 AM
218 Events in this session
$\text{A}^3$-VLA: Automatic Perception-Guided Attention Alignment for Robot Manipulation
Shengzhe Zhang ⋅ Qi Zhang ⋅ Dazhong Shen ⋅ Chao Wang ⋅ Shaopeng Zhai ⋅ Hui Xiong
Adaptive Coordinate Transforms for Neural Operators
Chaoyu Liu ⋅ Zhonghao Li ⋅ Gaohang Chen ⋅ Zakhar Shumaylov ⋅ Zhongying Deng ⋅ Zhang Qian ⋅ Zhonghua Qiao ⋅ Carola-Bibiane Schönlieb
A Faster Algorithm for the Half-Trek Criterion in Structural Causal Models
Yasmine Briefs ⋅ Markus Bläser
A Hierarchy of Entropy-Shapley Games for Multivariate Predictive Uncertainty
Niklas Koenen ⋅ Claudia Battistin ⋅ Jeriek Van den Abeele ⋅ Martin Jullum
AI Agents May Always Fall for Prompt Injections
Sahar Abdelnabi ⋅ Eugene Bagdasarian
AIs with Secret Loyalties are a Serious but Addressable Threat
Joe Kwon ⋅ Alfie Lamerton ⋅ Andrew Draganov ⋅ Dave Banerjee ⋅ Bronson Schoen ⋅ Matteo Pistillo ⋅ Daniel Kokotajlo ⋅ Owain Evans ⋅ Fabien Roger ⋅ Tom Davidson
Alloy Agents Can Be More Dangerous Than Either Model Alone
Diogo Cruz
A New Perspective on XAI: Scientific Theory Building for Auditable Artefacts
Sebastian R. Müller ⋅ Vanessa Toborek ⋅ Tamas Horvath ⋅ Brendan B Jackson ⋅ Christian Bauckhage
An Open-Source Training Dataset for Foundation Models for Black-box Optimization
Aaron Klein ⋅ Herilalaina Rakotoarison ⋅ Luca Thale-Bombien ⋅ David Salinas
Approximate Envy-Free Allocations up to any k Goods
Aris Filos-Ratsikas ⋅ Georgios Kalantzis ⋅ Fangxiao Wang
A Quantitative Visual Taxonomy of Worldwide Writing Systems
Philippe Meyer ⋅ Claire Roman
Are We Making Progress in Multimodal Domain Generalization? A Comprehensive Benchmark Study
Hao Dong ⋅ Hongzhao Li ⋅ Shupan Li ⋅ Muhammad Haris Khan ⋅ Eleni Chatzi ⋅ Olga Fink
ASTOR: Multi-Task Code Reinforcement Learning via Utility-Driven Coordination
Yujia Chen ⋅ Yang Ye ⋅ Xiao Chu ⋅ Yuchi Ma ⋅ Cuiyun Gao
Atoms and Pivot Based Correlation Clustering
David R Lolck ⋅ Mikkel Thorup ⋅ Shuyi Yan
A typed tensor language for federated learning
Theofilos Mailis ⋅ Kalliopi-Christina Despotidou ⋅ Konstantinos Filippopolitis ⋅ Yannis Foufoulas ⋅ Thanasis-Michail Karampatsis ⋅ Andreas Ktenidis ⋅ Evdokia Mailli ⋅ Theodore Papamarkou ⋅ Yannis Ioannidis
AudioSphere: Towards Self-Supervised Spatial Audio Representation Models
Göksenin Yüksel ⋅ Marcel A. J. van Gerven ⋅ Kiki van der Heijden
Auditing Sabotage Bench: A Benchmark for Detecting and Fixing Research Sabotage in ML Codebases
Eric Gan ⋅ Aryan Bhatt ⋅ Buck Shlegeris ⋅ Julian Stastny ⋅ Vivek Hebbar
Auteur: Language-Driven Cinematographic Framing for Human-Centric Video Generation
Muhammed Burak Kızıl ⋅ Enes Sanli ⋅ Niloy Mitra ⋅ Xuelin Chen ⋅ Erkut Erdem ⋅ Aykut Erdem ⋅ Duygu Ceylan
Avoiding Feature Collapse in Graph ODEs via Hysteretic Topology Evolution
Qinhan Hou ⋅ Jing Tang
Beyond Isolation: Neighbor-Consistent Data Pruning for Multivariate Time Series Forecasting
Zi Yang ⋅ Jona Otholt ⋅ Weixing Wang ⋅ Haojin Yang ⋅ Guillermo Gallego
Beyond Oversquashing: Understanding Signal Propagation in GNNs Via Observables
Eden Nagar ⋅ Ya-Wei Eileen Lin ⋅ Ron Levie
Beyond the Golden Teacher: Enhancing Graph Learning through LLM-GNN Co-teaching
Zhuoyi Peng ⋅ Hanlin Gu ⋅ Lixin Fan ⋅ Yi Yang
Black-Box Inference of LLM Architectural Properties with Restrictive API Access
Christopher Ellis ⋅ Mei-Yu Wang ⋅ Shreyas Chaudhari ⋅ Leighton P Barnes ⋅ Giulia Fanti ⋅ José M F Moura
BraveATA: Benchmarking Broad and Verifiable End-to-End Automated Theoretical Analysis of Large Language Models
Dingzirui Wang ⋅ Xuanliang Zhang ⋅ Keyan Xu ⋅ Qingfu Zhu ⋅ Wanxiang Che
CalArena: A Large Scale Post-Hoc Calibration Benchmark
Eugène Berta ⋅ David Holzmüller ⋅ Francis Bach ⋅ Michael Jordan
Can Circuit Alignment Predict OOD Generalization?
Ayan Banerjee ⋅ ABHRA CHAUDHURI ⋅ Josep Llados ⋅ Umapada Pal ⋅ Anjan Dutta
Can Hybrid-Parallel Planning Support Alternating Model–Strategy Design? Dependency-Keyed Per-Layer Primitives for Re-Planning
RUIWEN WANG ⋅ Thibaut Tachon ⋅ Chong Li ⋅ Raja Appuswamy
Causal Edit Serialization
Louis Robinson
Certified Policy Optimisation for Nested Causal Bandits via PAC-Bayes Risk
Tim Woydt ⋅ Paul-David Zuercher
Chaining 2-FWL GNNs for Combinatorial Graph Alignment
Marc Lelarge
Complexity of Classical Acceleration for $\ell_1$-Regularized PageRank
Kimon Fountoulakis ⋅ David Martínez-Rubio
COMPOSE: Hypergraph Cover Optimization for Multi-view 3D Human Pose Estimation
Tony Danjun Wang ⋅ Tolga Birdal ⋅ Nassir Navab ⋅ Lennart Bastian
Compute-Optimal Pretrain--Fine-tune in Ridge Gradient Flow
Alex Buna ⋅ Fanghui Liu ⋅ Patrick Rebeschini
Concepts Worth Having: Refining VLM-Guided Concept Bottleneck Models with Minimal Annotations
Nicola Debole ⋅ Stefano Teso ⋅ Andrea Passerini ⋅ Andrea Pugnana ⋅ Emanuele Marconato
Controlling Temporal Pseudo-Label Marginals for Stable Online Test-Time Adaptation
Rani Amar ⋅ Ofir Lindenbaum
Curriculum Multiple Shooting for Robust Training of Neural and Universal Differential Equations
Sebastian Persson ⋅ Giacomo Fabrini ⋅ Branwen Snelling ⋅ Fabian Fröhlich
Data-Driven Soft Labeling Scales DNA Read Classification to Whole-Body Cell-Type Deconvolution
Dmytro Rizdvanetskyi ⋅ Nathan Roos ⋅ Pavlo Lutsik
Debiased Counterfactual Generation via Flow Matching from Observations
Hugh Dance ⋅ Johnny Xi ⋅ Peter Orbanz ⋅ Benjamin Bloem-Reddy
DeCoRL: Decomposed Consistency Reinforcement Learning for Multi-Image Composition
Zhiqiang Wu ⋅ Shuang Sun ⋅ Jiale Zhang ⋅ Jing Li ⋅ Yibo Chen ⋅ Xu Tang ⋅ Yao Hu
Dense Structural Compression of Transformers via Gauge-Correct Channel Removal
Jed A Duersch ⋅ Naïm Es-sebbani ⋅ Nathanaël Haas ⋅ Zied Bouraoui
Do Enterprise Systems Need Learned World Models? The Importance of Context to Infer Dynamics
Jishnu S Nair ⋅ Patrice Bechard ⋅ Rishabh Maheshwary ⋅ SRAVAN RAMACHANDRAN ⋅ Surajit Dasgupta ⋅ Aakash Bhagat ⋅ Shruthan Radhakrishna ⋅ Pulkit Pattnaik ⋅ Johan Obando Ceron ⋅ Shiva Krishna Reddy Malay ⋅ Sagar Davasam ⋅ Seganrasan Subramanian ⋅ Vipul Mittal ⋅ Sridhar K Nemala ⋅ Chris Pal ⋅ Srinivas Sunkara ⋅ Sai Rajeswar Mudumba
Do LLMs Bind Episodes? Probing Cross-Episode Parametric Retrieval Through Shared Cues
Francesco Mantovani ⋅ Alberto Eusebio ⋅ Alexis Huet ⋅ Giulio Franzese ⋅ Pietro Michiardi ⋅ Dario Rossi ⋅ Zied Ben Houidi
Do Not Let Spikes Flip: Margin-Resculpted Learning for Robust Spiking Neural Networks
Desong Zhang ⋅ Jia Hu ⋅ Geyong Min
DriveHierarchy: A Benchmark for Diagnosing VLM Driving Capabilities from Open-Loop Understanding to Closed-Loop Execution
Chengkai Xu ⋅ Jiaqi Liu ⋅ Yicheng Guo ⋅ Peng Hang ⋅ Jian Sun
Driving on Memory
Christian Löwens ⋅ Thorben Funke ⋅ Alexandru P P Condurache
DynamAuction: a reinforcement learning environment for repeated auction with dynamic value
Benjamin Heymann ⋅ Eugénie Patard ⋅ Corentin Pla ⋅ Patrick Loiseau
DynaPFN: Zero-Shot Dynamical System Forecasting with Tabular Prior-Fitted Networks
Chiara Roverato ⋅ Joseph Cotnareanu ⋅ Pablo Piantanida ⋅ Boris Oreshkin ⋅ Mark Coates
DynaProto: Dynamic Prototypical Contrast for Temporally Consistent Object-Centric Learning
Tianran Ouyang ⋅ Peiqin Xu ⋅ Xingping Dong ⋅ Kaihao Zhang ⋅ Bo Du
EchoKV: Efficient KV Cache Compression via Similarity-Based Reconstruction
Shiyu Ji ⋅ Yixuan Wang ⋅ Yijun Liu ⋅ Qingfu Zhu ⋅ Wanxiang Che
EditJudge-Bench: Auditing VLM Image-Edit Judges with Synthetic Ground Truth
Jens Parslov ⋅ Marco Schouten ⋅ Dim Papadopoulos
Efficient Knowledge Transfer in Federated Bayesian Optimization through Neural Network Surrogates
Alexander Gräfe ⋅ Max van Gemmeren ⋅ Paul Brunzema ⋅ Sebastian Trimpe
Energy-Guided Transport for Projection-Free Physics-Informed Flow Matching
Giuliano Galadini ⋅ Aurelio Uncini ⋅ Danilo Comminiello
Euclidean Score-Based Generative Modeling with Permutation Semantics
Gaël Heck ⋅ Nassim Bourarach ⋅ Sylvie Le Hégarat-Mascle ⋅ Nicolas Lermé
Evaluation Awareness in Language Models Has Limited Effect on Behaviour
Amelie Knecht ⋅ Lucas Florin ⋅ Thilo Hagendorff
Events as Triggers for Behavioral Diversity in Multi-Agent Reinforcement Learning
Hannes M Büchi ⋅ Manon Flageat ⋅ Eduardo Sebastián ⋅ Amanda Prorok
Exact Combinatorial Optimization for Partial Permutation Synchronization
Mohammad Mahdi Omati ⋅ Arash Amini
ExpertNavigator: Functionally Coherent Expert Grouping and Pairwise-Ranked Routing for High-Fidelity Dense-to-MoE Conversion
Xiaohan Qin ⋅ Cancheng Zhang ⋅ Xiaoxing Wang ⋅ Xiangdong Zhang ⋅ Yebin Yang ⋅ Ning Liao ⋅ Junchi Yan
Exploring the Limitations of Layer Synchronization in Spiking Neural Networks
Roel Koopman ⋅ Amirreza Yousefzadeh ⋅ Mahyar Shahsavari ⋅ Guangzhi Tang ⋅ Manolis Sifalakis
Exponential Map Models as an Interpretable Framework for Generating Neural Spatial Representations
Markus Pettersen ⋅ Nicolai Haug ⋅ Joakim Bergli ⋅ Thomas M Surowiec ⋅ Mikkel Pawlowski Lepperød
Factual recall in linear associative memories: sharp asymptotics and mechanistic insights
Alessio Giorlandino ⋅ Sebastian Goldt ⋅ Antoine Maillard
FakeParts: a New Family of AI-Generated Video Forgeries
Ziyi LIU ⋅ Firas Gabetni ⋅ Awais H SANI ⋅ Xi Wang ⋅ Soobash Daiboo ⋅ Gaëtan Brison ⋅ Gianni Franchi ⋅ Vicky Kalogeiton
Fast and Stable Triangular Inversion for Delta-Rule Linear Transformers
Alek Sobczyk ⋅ Gioele Gottardo ⋅ Christos K Matzoros ⋅ Mirko De Vita ⋅ Filip Skogh ⋅ Anastasios Zouzias ⋅ Jiawei Zhuang
Fast Gauss-Newton for Multiclass Cross-Entropy
Mikalai Korbit ⋅ Mario Zanon
FedProG: Federated Graph Learning via Server-Side LLM Semantic Bridging and Uncertainty-Aware Distillation
Haitao Wang ⋅ Haozhao Wang ⋅ Wenchao Xu ⋅ Yichen Li ⋅ Xiaoquan Yi ⋅ Tianzhe Xiao ⋅ Jingcai Guo ⋅ Ruixuan Li
FFTSparse: Relative-Position Correlation Guided Sparse Attention for Long-Context Language Models
Zemin Chao ⋅ Cen Jianhe ⋅ Qianhui Xu ⋅ Guangzhi Ge ⋅ Zhixin Qi ⋅ Hongzhi Wang
Finding Simple Proofs for First-Order Optimization
Daniel Berg Thomsen ⋅ Manu Upadhyaya ⋅ Baptiste Goujaud ⋅ Aymeric Dieuleveut ⋅ Adrien Taylor
Finite Resources False Discovery Rate Control on Structured Hypothesis Spaces
Binyamin Perets ⋅ Shie Mannor
Fluxtrapolation: A benchmark on extrapolating ecosystem fluxes
Anya Fries ⋅ Jacob A Nelson ⋅ Martin Jung ⋅ Markus Reichstein ⋅ Jonas Peters
From Claims to Context: Holistic Information Verification Requires Contextual Signals
Emma Kondrup ⋅ Islam Eldifrawi ⋅ Tong Wu ⋅ Zachary Yang ⋅ Sebastian Sabry ⋅ Michael Bronstein ⋅ Jean-François Godbout ⋅ Reihaneh Rabbany ⋅ Shenyang Huang
From Cortical Synchronous Rhythm to Brain Inspired Learning Mechanism: An Oscillatory Spiking Neural Network with Time-Delayed Coordination
Tingting Dan ⋅ Guorong Wu
From Topology to Retrieval: Decoding Embedding Spaces with Unified Signatures
Florian Rottach ⋅ William Rudman ⋅ Bastian Rieck ⋅ Harrisen Scells ⋅ Carsten Eickhoff
From Uncertain Judgments to Calibrated Rankings: Conformal Elo Estimation for LLM Evaluation
Bora Kargi ⋅ David Salinas
Generalized Wasserstein Flow Matching: Transport Plans, Everywhere, All at Once
Moritz Piening ⋅ Richard Duong ⋅ Gabriele Steidl
Generative Modeling under Non-Monotone MAR Missingness via Approximate Wasserstein Gradient Flows
Gitte Kremling ⋅ Jeffrey Näf ⋅ Johannes Lederer
Geometric Factual Recall in Transformers
Shauli Ravfogel ⋅ Gilad Yehudai ⋅ Joan Bruna ⋅ Alberto Bietti
Geometry-Aware Directional Alignment for Coherent Model Merging
Zhikang Chen ⋅ Sen Cui ⋅ Deheng Ye ⋅ Min Zhang ⋅ Gang Niu ⋅ Yu Zhang ⋅ Masashi Sugiyama ⋅ Tingting Zhu
Gibbs Gradient Descent: A Langevin Approach to Optimization
Oussama Zekri ⋅ Anna Korba ⋅ Nicolas Boulle
GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
Gabriel Bathie ⋅ Nathanaël Fijalkow
Graph Distance Based on Cause-Effect Estimands with Latents
Zhufeng Li ⋅ Niki Kilbertus
Handwritten Text Recognition Lives in the High-Pixel Variance Subspace
Carlos Garrido ⋅ Jorge Calvo-Zaragoza
Harnessing Data Asymmetry in Manifold Learning
Thomas Dagès ⋅ Simon Weber ⋅ Daniel Cremers ⋅ Ron Kimmel
Hierarchical Task Network Planning with LLM-Generated Heuristics
Felipe Meneguzzi ⋅ Alexandre Buchweitz ⋅ Augusto B. Corrêa ⋅ Victor S Putrich ⋅ André G. Pereira
How Language Models Compress and Compare: Understanding Selection with Token Covariance Maps
Moshe Eliasof
Human-Inspired, Task-Dimension-Guided Exploration for Efficient Learning and Transfer in High Dimensions
Fanyu Zhu ⋅ Jiahui An ⋅ Ni Ji
Identifiable alignment of unpaired representations
Stas Syrota ⋅ Albert Lopez i Serrano ⋅ Johanne Franck ⋅ Søren Hauberg
Improved Baselines with Representation Autoencoders
Jaskirat Singh ⋅ Boyang Zheng ⋅ Zongze Wu ⋅ Richard Zhang ⋅ Eli Shechtman ⋅ Saining Xie
Improving Causal Explanations
Kai-Zhan Lee ⋅ Drago Plecko ⋅ Elias Bareinboim
Is Text All You Need? Text as a Universal Information Bottleneck for Speech LLMs
Ming-Hao Hsu ⋅ Yuxuan Hu ⋅ Shujie LIU ⋅ Jinyu Li ⋅ Zhizheng Wu
It Just Takes Two: Scaling Amortized Inference to Large Sets
Antoine Wehenkel ⋅ Michael Kagan ⋅ Lukas Heinrich ⋅ Chris Pollard
Itô maps for any-step SDEs
Zhengkai Pan ⋅ Peter Potaptchik ⋅ Claudia Yao ⋅ Michael Albergo ⋅ Jakiw Pidstrigach
Jacobian Descent for Multi-Objective Optimization
Pierre Quinton ⋅ Valérian Rey
K-prop: Deep Online Learning by Backpropagating Temporal Kernels
Bingkun Liu ⋅ Paul Haider ⋅ Federico Benitez ⋅ Mihai A. Petrovici ⋅ Walter Senn
Langevin-Informed Transfer Learning: Replacing the Target Samples by Black-Box Feedback
Vladimir Kostic ⋅ Karim Lounici ⋅ Hélène Halconruy ⋅ Timothée Devergne ⋅ Michele Parrinello ⋅ Massimiliano Pontil
LEAN: Library-Based Adaptation for Asynchronous, Federated Fine-Tuning
Erdong Hu ⋅ Yuxin Tang ⋅ Zhimin Ding ⋅ Christopher Jermaine
Learning-Augmented Coordination Mechanisms
George Christodoulou ⋅ Vasilis Christoforidis ⋅ Alkmini Sgouritsa ⋅ Ioannis Vlachos
Learning Density Operator Latent Variable Models via Quantum Information Projection
Adit Vishnu ⋅ Abhay Shastry ⋅ Dhruva Kashyap ⋅ Chiranjib Bhattacharyya
Learning Subspace-Preserving Sparse Attention Graphs from Heterogeneous Multiview Data
Jie Chen ⋅ Yuanbiao Gou ⋅ Chuanbin Liu ⋅ Zhu Wang ⋅ Xi Peng
Learning to Evolve Scenes: Reasoning about Human Activities with Scene Graphs
Francesca Pistilli ⋅ Simone Alberto Peirone ⋅ Giuseppe Averta
Learning to Search, Searching to Learn: A Closed-Loop Framework for Large-Scale Vehicle Routing
Yongji Fu ⋅ Yi Zhou ⋅ Gaojie Jin ⋅ Guanqun Cao
Learning to target with network interference
Xiaomeng Wang ⋅ Hamsa Bastani ⋅ Osbert Bastani ⋅ Zhimei Ren
Less is More: Fewer Tokens and Blocks Make AIGI Detection Faster and More Generalizable
Haipeng Fang ⋅ Yixing Lu ⋅ Yu Li ⋅ Qiang Sheng ⋅ Juan Cao ⋅ Sheng Tang
Locality-Controlled OOD Guidance for Robust Regulatory DNA Sequence Design
Dabin Jeong ⋅ Marwane Bourdim ⋅ Mohammad Lotfollahi
Localize Any Object in X-Ray Security Scans without Human Annotation
Yaqi Cai ⋅ Mingxuan Liu ⋅ Lorenzo Vaquero ⋅ Ning Wang ⋅ Nan Pu ⋅ Feng Xue ⋅ Elisa Ricci ⋅ Nicu Sebe
Long-Rollout Stability in AI Weather Models: A Quantitative Benchmark and Analysis
Fanny Lehmann ⋅ Firat Ozdemir ⋅ Yun Cheng ⋅ Torsten Hoefler ⋅ Sebastian Schemm ⋅ Benedikt Soja ⋅ Siddhartha Mishra
M4Bench: Evaluating Procedural Specification for Clinical EHR Derivation Agents
Hannes Ill ⋅ Rafi Al Attrach ⋅ Rajna Fani ⋅ Ahram Han ⋅ Ryohei Yamamoto ⋅ Marlene L Moerig ⋅ Dukyong Yoon ⋅ Leo Anthony Celi
MAGE: Towards Generalizable Multi-timescale EEG Representations
Tuan-Kiet Doan ⋅ Van Chien Nguyen ⋅ Trung-Hieu Tran ⋅ Quang Hung Pham ⋅ Ngoc-Son Vu ⋅ Huy Phan ⋅ Phi Le Nguyen ⋅ Duc-Han LE ⋅ Nikola Simidjievski ⋅ Van-Tam Nguyen
Managing Self-Learning Experts under Per-Round Budget Constraints
Ilgam Latypov ⋅ Alexandra Suvorikova ⋅ Alexey Kroshnin ⋅ Alexander Gasnikov ⋅ Iurii Dorn
Marginal-Nonuniform Multiclass Learning
Nataly Brukhim ⋅ Steve Hanneke ⋅ Amirreza Shaeiri ⋅ Maximilian Thiessen
Mechanistic Insights into LoRA: Layer Sparsity for Adaptive Fine-Tuning via Path Patching
Fei Zuo ⋅ Yizhou Huang ⋅ Kezhi Wang
Mini-batch kernel $k$-means
Ben Jourdan ⋅ Gregory Schwartzman
Min-Max Optimization Requires Exponentially Many Queries
Martino Bernasconi ⋅ Matteo Castiglioni ⋅ Andrea Celli ⋅ Alexandros Hollender
MOBO-CAPS: Multi-objective Bayesian Optimization with Cardinality-Aware Pareto Selection
Hanyang Wang ⋅ Juergen Branke ⋅ Matthias Poloczek
MSAlign: Aligning Molecular and Mass Spectra Foundation Models for Metabolite Identification
Paul Krzakala ⋅ Gabriel Melo ⋅ Camille Lançon ⋅ Charlotte Laclau ⋅ Rémi Flamary ⋅ Etienne A Thévenot ⋅ Florence d'Alché-Buc
NEAT: Neighborhood-Guided, Efficient, Autoregressive Set Transformer for 3D Molecular Generation
Daniel Rose ⋅ Roxane Axel Jacob ⋅ Johannes Kirchmair ⋅ Thierry Langer
Neural Slack Variables for Shape Constraints
Ruben Wiedemann ⋅ Antoine Jacquier ⋅ Lukas Gonon
NeuroFaith: Evaluating Mechanistic Faithfulness of LLM Free Text Self-Explanation at the Concept Level
Milan Bhan ⋅ Jean-Noël Vittaut ⋅ Nicolas CHESNEAU ⋅ Sarath Chandar ⋅ Marie-Jeanne Lesot
Neurosymbolic Object-Centric Learning with Distant Supervision
Stefano Colamonaco ⋅ David Debot ⋅ Giuseppe Marra
Neutral-atom quantum features as complementary structural encodings for graph learning
Igor Sokolov ⋅ Mathieu Garrigues ⋅ Matthias Hecker ⋅ Lorenzo Moro ⋅ Shaheen Acheche
NicheIB: Targeted Spatial Bottlenecks for Predictive Microenvironment Discovery
Chenxi He
No-Regret Caching with Delayed Hits
Bowen Jiang ⋅ Chaofan Ma ⋅ Qi Li ⋅ Wang Duo
Normalized Architectures are Natively 4-Bit
Maxim Fishman ⋅ Brian Chmiel ⋅ Ron Banner ⋅ Daniel Soudry ⋅ Boris Ginsburg
No Triangulation Without Representation: Generalization in Topological Deep Learning
Johannes S. Schmidt ⋅ Martin Carrasco ⋅ Ernst Röell ⋅ Guy Wolf ⋅ Nello Blaser ⋅ Bastian Rieck
Objective Shaping with Hard Negatives: Windowed Partial AUC Optimization for RL-based LLM Recommenders
Wentao Shi ⋅ Qifan Wang ⋅ Chen Chen ⋅ Fei Liu ⋅ Dongfang Liu ⋅ Xu Liu ⋅ Wanli Ma ⋅ Junfeng Pan ⋅ Linhong Zhu ⋅ Fuli Feng
One Temperature to Rule Them All?
Aviv Orly ⋅ Ori Shem Ur ⋅ Yaron Oz
Online Learning of Group-Stable Coalition Structures
Saar Cohen ⋅ Michael Wooldridge
Online Resource Allocation With General Constraints
Eleonora Fidelia Chiefari ⋅ Francesco Emanuele Stradi ⋅ Matteo Castiglioni ⋅ Alberto Marchesi
Online Set Learning from Precision and Recall Feedback
Lee Cohen ⋅ Yishay Mansour ⋅ Shay Moran ⋅ Han Shao
On the Existence of Uniformly Optimal Policies in MDPs under Epistemic Uncertainty
Axel Benyamine ⋅ Julien Grand-Clément ⋅ Marek Petrik ⋅ Michael Jordan ⋅ Alain Durmus
On the Robustness of Watermarking for Autoregressive Image Generation
Andreas Müller ⋅ Denis Lukovnikov ⋅ Shingo Kodama ⋅ Minh Pham ⋅ Anubhav Jain ⋅ Jonathan Petit ⋅ Niv Cohen ⋅ Asja Fischer
Optimal Dimension-Free Sampling for Regularized Classification
Meyam Alishahi ⋅ Alexander Munteanu ⋅ Simon Omlor ⋅ Jeff M Phillips
OTformer: Non-Stationarity-Aware Adaptive Optimal Transport Attention for Time Series Forecasting
Zhaowei Liu ⋅ Kaixiang Wang ⋅ Sheng Liu ⋅ zengyang zhang ⋅ HaitaoYang ⋅ Rufei Gao ⋅ Zongxing Zhao ⋅ Yao Shan ⋅ Yongchao Song ⋅ Yanwei Yu ⋅ Anzuo Jiang
Overcoming Rank Collapse in Feedback Alignment
Gauthier Boeshertz ⋅ Razvan Pascanu ⋅ Claudia Clopath
Parameter symmetries determine representational geometry in overparameterized nonlinear networks
Marvin Theiss ⋅ Lukas Braun ⋅ Andrew Saxe ⋅ Erin Grant
Parametric Meets Non-parametric: Bridging Dual Prediction Spaces for Semi-supervised Medical Image Segmentation
Zenggui Chen ⋅ Jianwei Ma
Parasite Features: Causal Abstraction Through Spurious Pathways
Denis Sutter ⋅ Qing Yao ⋅ Sasha Boguraev ⋅ Julian Minder ⋅ Antonio Di Maio ⋅ Thomas Hofmann ⋅ Kyle Mahowald ⋅ Tiago Pimentel
Pattern-Based Matrix Analysis Under Permutations
Andrei Ermakov
Peer Review of Applied Machine Learning Papers Must Include Code Execution
Lisa-Marie Vortmann
Physics-Informed Optimal Control by Control-Only Supervision with Error Guarantees on Value and Policy
Zihua Wang ⋅ Xiaopei Jiao ⋅ Yunfeng Cai
Plan4D: Generative Plannable 4D Worlds
Hangwei Zhang ⋅ Rujing Dang ⋅ Ruimin Lin ⋅ Jiahong Wu ⋅ Xiangxiang Chu ⋅ Chuanxia Zheng
Primal-Dual Guided Decoding for Constrained Discrete Diffusion
Federico Tomasi ⋅ Dmitrii Moor ⋅ Alice Wang ⋅ Mounia Lalmas
Prior Text-Informed Gate Attention Framework for Multimodal Psychiatric Disorder Diagnosis
Wensheng Zhai ⋅ Kaizhong Zheng ⋅ Difei Mei ⋅ Badong Chen ⋅ Liangjun Chen
PRISM: Asymmetric Precision-Recall Optimization for Million-Scale Root Cause Analysis
Wei Zhang ⋅ Rongyao Cai ⋅ Xiaosheng Li ⋅ Hang Yu ⋅ Rui Wang
Privately Estimating Monotone Statistics in Polynomial Time
Gavin R Brown ⋅ Ephraim Linder ⋅ Mahbod Majid ⋅ Vikrant Singhal
Probabilistic Guarantees for Adversarial Linear Contextual Bandits
Guyon Phoelich ⋅ Julia Olkhovskaya ⋅ Tim van Erven
RAMA: Resistance-Aware Multi-Hop Aggregation Graph Representation Learning for Robust Ethereum Account Classification
Zhaowei Liu ⋅ zengyang zhang ⋅ HaitaoYang ⋅ Yao Shan ⋅ Xiangfu Zhao ⋅ Yongchao Song
Random-Set Graph Neural Networks
Tommy Woodley ⋅ Matteo Tolloso ⋅ Davide Bacciu ⋅ Shireen Kudukkil Manchingal ⋅ Fabio Cuzzolin
Realism VS Accuracy: Event Sequence Forecasting from a Generative Modeling Perspective
Dmitry Osin ⋅ Egor Surkov ⋅ Petr Mokrov ⋅ Igor Udovichenko ⋅ Ivan Karpukhin ⋅ Evgeny Burnaev ⋅ Egor Shvetsov ⋅ Aleksandr Korotin
Recon: Reconstruction-Guided Reasoning Synthesis for User Modeling
Alan Zhu ⋅ Mihran Miroyan ⋅ Carolyn Wang ⋅ Andrew Zhou ⋅ Lisa Dunlap ⋅ Narges Norouzi ⋅ Joseph Gonzalez
Recursively Trained Diffusion Models: Limiting Collapse Distribution and Spectral Characterization
Nail B Khelifa ⋅ Richard Turner ⋅ Ramji Venkataramanan
ReFree-S2V: Towards Realistic Co-Speech Video Generation via Reward-Free RL and Multilevel Speech Guidance
Salaheldin Mohamed ⋅ M. Hamza Mughal ⋅ Rishabh Dabral ⋅ Christian Theobalt
Regret minimization in Linear Bandits with offline data via extended D-optimal exploration.
Sushant Vijayan ⋅ Arun Suggala ⋅ Karthikeyan Shanmugam ⋅ Soumyabrata Pal
Rehearsal-Free Statistical Prototype Regularization for Federated Incremental Learning
Xiuying Wang ⋅ Yichen Li ⋅ Jiahua Cheng ⋅ Xiwei Liu ⋅ Chuang Zhao ⋅ Bo Liu ⋅ Imran Razzak
Restoring the RNA-Ligand Interaction Manifold via Topology-Preserving Contrastive Learning under Epistemic Uncertainty
Kai Zheng ⋅ Jinhui Xu ⋅ Jianxin Wang
Rethinking Radar 3D Perception: Representation Learning from Raw Spectra
Miao Zhang ⋅ Mohamed Abdelsamad ⋅ Bin Yang ⋅ Sherif Abdulatif ⋅ Benedikt Loesch ⋅ Marco Altmann ⋅ Abhinav Valada ⋅ Bin Yang
ROAR: Benchmarking LMM Agents under Real-Time Constraints in Multiplayer Action-Shooter Games
DAWEI WANG ⋅ Di Zhao ⋅ Jianran Yu ⋅ CHENGMING ZHOU ⋅ Marci Chi ⋅ Xiaoyang Liu ⋅ BEINING ZHANG ⋅ Shuliang Chu ⋅ Yun Sing Koh ⋅ Gary Ushaw ⋅ Richard Davison
Robust Task-Aware State Estimation from Pre-trained Perception
Guy Azran ⋅ Sarah Keren
Securing AI Agents with Information-Flow Control
Manuel Costa ⋅ Boris Köpf ⋅ Aashish Kolluri ⋅ Andrew Paverd ⋅ Mark Russinovich ⋅ Ahmed Salem ⋅ Shruti Tople ⋅ Lukas Wutschitz ⋅ Santiago Zanella-Beguelin
Select-then-differentiate: Solving Bilevel Optimization with Manifold Lower-level Solution Sets
Saeed Masiha ⋅ Zebang Shen ⋅ Negar Kiyavash ⋅ Niao He
Semantic Priors Meet Statistical Evidence: Robust Forests for Few-Shot Tabular Learning
Xuanliang Zhang ⋅ Dingzirui Wang ⋅ Keyan Xu ⋅ Qingfu Zhu ⋅ Wanxiang Che
Sharp feature-learning transitions and Bayes-optimal neural scaling laws in extensive-width networks
Minh Toan Nguyen ⋅ Jean Barbier
Space Group Conditional Flow Matching
Omri Puny ⋅ Yaron Lipman ⋅ Benjamin K Miller
Sparse Sum-of-Squares Layers for Certified Learning
Ege Gursoy ⋅ Nicolas Mansard
Spectral Annealing: Normalization-Path Exploration for Large-Scale Ising Optimization
Juan Valentin Guerrero ⋅ Phuong Cao Cong ⋅ Kostadin Damevski ⋅ Thang N Dinh
Spectral Geometry of Attention: From Information Routing to Uncertainty
Giulio Viganò ⋅ Simone Melzi ⋅ Maks Ovsjanikov
SS3D: End2End Self-Supervised 3D from Web Videos
Marwane Hariat ⋅ Gianni Franchi ⋅ David Filliat ⋅ Antoine Manzanera
Stable and Scalable Probabilistic Numerical Solvers for Stiff and High-Dimensional ODEs
Nathanael Bosch
stable-worldmodel: A Platform for Reproducible World Modeling Research and Evaluation
Lucas Maes ⋅ Quentin Le Lidec ⋅ Luiz Facury ⋅ Nassim Massaudi ⋅ Ayush Chaurasia ⋅ Francesco Capuano ⋅ Richard Gao ⋅ Taj Gillin ⋅ Dan Haramati ⋅ Damien Scieur ⋅ Yann LeCun ⋅ Randall Balestriero
STAC-R: Subspace-Tracked Activation Compression with Residuals
Manar Hamed ⋅ Yassine Yaakoubi
StarWM: Self-Supervised Trained Attention Routing for Robust World Models
Zeqiang Zhang ⋅ Fabian Wurzberger ⋅ Maximilian Otte ⋅ Daniel Schmid ⋅ Sebastian Gottwald ⋅ Arne P Raulf ⋅ Daniel A Braun
State-Action Selection in General Stochastic Games under Regularized Policy Gradient Methods
Omar Abbadi ⋅ Rida Laraki ⋅ Panayotis Mertikopoulos
Statistical Inference in Causal Partial Identification under Smooth Densities
Sirui Lin ⋅ Zijun Gao ⋅ Jose Blanchet ⋅ Peter W Glynn
Stochastic Grouping Conformal Prediction for Effective Subgroup Reliability
Meihui Zhong ⋅ Wenxin Tai ⋅ Ting Zhong ⋅ Fan Zhou
Strongly Adaptive Online Learning with Time-Varying Movement Cost
Andrew Jacobsen ⋅ Hao Qiu ⋅ Emmanuel Esposito ⋅ Mengxiao Zhang
Structure vs. Chaos: Asymmetric Entropic Optimization for Enforcing Instruction Hierarchy
Tianxiao Huang ⋅ Xinwei Liu ⋅ Zitong Shi ⋅ Yuxin Wu ⋅ Xuan Chen ⋅ Liangtao Zheng ⋅ Yixuan Tang ⋅ Anthony Tung
Sublinear Variational Optimization of Gaussian Mixture Models with Millions to Billions of Parameters
Sebastian Salwig ⋅ Till Kahlke ⋅ Florian Hirschberger ⋅ Dennis Forster ⋅ Jörg Lücke
Support-Safe Variational Hybrid Filtering for Contact-Mode and Sparse-Law Recovery
Marios Papamichalis ⋅ Regina Ruane
Surprisingly consistent failures of post-hoc OOD detectors reveal security concerns in open-set recognition with modern CNNs and ViTs, stemming from representation mismatch
Kamil Szyc ⋅ Tomasz Walkowiak ⋅ Henryk Maciejewski
TabK: Amortized Bayesian Estimation of the Number of Clusters in Tabular Data
Mohammadreza Bakhtyari ⋅ Bogdan Mazoure ⋅ Renato C de Amorim ⋅ Guillaume Rabusseau ⋅ Vladimir Makarenkov
Targeted Synthetic Control Method
Yuxin Wang ⋅ Dennis Frauen ⋅ Emil Javurek ⋅ Konstantin Hess ⋅ Yuchen Ma ⋅ Stefan Feuerriegel
TARP: Trace-Anchored Regularization Prior for Retaining Stepwise Reasoning
Wei Li ⋅ Tao Feng ⋅ Hangjie Yuan ⋅ Aojun Lu ⋅ Yanan Sun
Task-Driven Bayesian Experimental Design Yields Singly Intractable Objectives for Joint Policy Training
Tom Rossa ⋅ Angus Phillips ⋅ Thomas Rainforth
Temporal Consistency Improves Generalization in Contextual Offline Meta Reinforcement Learning
Mohammadreza Nakhaeinezhad ⋅ Aidan Scannell ⋅ Kevin Luck ⋅ Joni Pajarinen
Terminal Failure Is Not Computational Failure: A Pre-Collapse Readout Regime in Nonlinear Dynamical Learners
Rohan Maskrey
The Bayesian Origin of the Probability Weighting Function in Human Representation of Probabilities
Xin Tong ⋅ Thi Thu Uyen Hoang ⋅ Xue-Xin Wei ⋅ Michael Hahn
The Communication Bottleneck: A Round-Trip Study of Compositional Serialization in Language Models
Xavier Suau ⋅ Alex Ferrando ⋅ Luca Zappella ⋅ Samy Bengio
The Multi-Block DC Function Class: Theory, Algorithms, and Applications
Sayedpouria Fatemi ⋅ Hoomaan Maskan ⋅ Alp Yurtsever ⋅ Suvrit Sra
The Optimal Control Foundation of Early Exits – Turnpikes and ResNets
Jens Püttschneider ⋅ Simon Heilig ⋅ Asja Fischer ⋅ Timm Faulwasser
The PFAD Not Taken: Measuring Polysemanticity via Feature Affine Decomposition
Kirill Bykov ⋅ Maria A Bravo ⋅ Laura Kopf ⋅ Zeynep Akata
The Ringelmann Effect in Multi-Agent LLM Systems: A Scaling Law for Effective Team Size
Blaz Bertalanic ⋅ Carolina Fortuna
The Structural Bias of $\ell_2$-Regularized Cross-Entropy Heads in Class-Incremental Learning: Characterization, Limits, and a Gauge-Anchoring Fix
Milad Khademi Nori ⋅ Guanghui Wang
Timing Is All You Need: SpikeCore, Learnable Delays, and Gain Control for Neuromorphic Classification
Mohsen Kamelian Rad ⋅ Sotiris Moschoyiannis ⋅ Roman Bauer
Tokenizer-Generator Coupling in Medical Image Generation
Liam Chalcroft
ToS: Tree-of-Skill Reinforcement Learning driven by Behavior Tree for Long-Horizon Manipulation
Xinglin Chen ⋅ Yishuai Cai ⋅ Yunxin Mao ⋅ Minglong Li ⋅ Kefei Zhu ⋅ Wenjing Yang ⋅ Yaodong Yang ⋅ Ji Wang ⋅ Yuanpei Chen
Towards Unified Dynamic Face Landmark Detection
Sebastian Regalado Lozano ⋅ Varshanth R Rao ⋅ Ruowei Jiang ⋅ Parham Aarabi ⋅ Igor Gilitschenski
Training-Free Dynamic Upcycling of Expert Language Models
Eros Fanì ⋅ Oguzhan Ersoy
Tree-Ensemble Repair through Constrained Optimization
Lorenzo Cascioli ⋅ Chaahat Jain ⋅ Marcel Steinmetz ⋅ Jörg Hoffmann ⋅ Jesse Davis
TrialAgentBench: Evaluating AI Agents for Clinical-Trial Analysis and Long-Horizon Drug-Development Decisions
Bradley M Segal ⋅ William J Bolton ⋅ Philip Torr ⋅ David Clifton ⋅ Lei Clifton
Trust Guided Decision Transformer
Chainesh Gautam ⋅ Raghuram Bharadwaj Diddigi ⋅ Chandramouli Kamanchi ⋅ Pankaj Dayama ⋅ Sumanta Mukherjee ⋅ Kameshwaran Sampath
Twisted Schrödinger Bridge Matching
Maxence Noble ⋅ Marie Scheid ⋅ Yazid Janati ⋅ Eric Moulines ⋅ Alain Durmus
Understanding the Co-evolutionary Solution Exchange of the MOEA/D: Minimal Communication Gives Maximal Speed-Ups
Benjamin Doerr ⋅ Moaad Elmoutassim ⋅ Martin S. Krejca ⋅ Guy Mushiata Kibulu
Uniform Diffusion Models revisited: Leave-One-Out Denoiser and Absorbing State Reformulation
Samson Gourevitch ⋅ Yazid Janati ⋅ Dario Shariatian ⋅ Umut Simsekli ⋅ Eric Moulines ⋅ Eric Xing ⋅ Alain Durmus
UniverSat: Resolution- and Modality-Agnostic Transformers for Earth Observation
Yohann PERRON ⋅ Guillaume Astruc ⋅ Nicolas Gonthier ⋅ Clement Mallet ⋅ Loic Landrieu
Unlocking the Duality between Flow and Field Matching
Daniil Shlenskii ⋅ Alexander Varlamov ⋅ Nazar Buzun ⋅ Aleksandr Korotin
Unlocking Volition: Proactive Intention Decoding via Interpretable Graph Learning of Multi-Region ECoG
Kaizhong Zheng ⋅ JiaJunMA ⋅ Hongru Liu ⋅ Xinjian LI ⋅ Wei Xi ⋅ Liangjun Chen ⋅ Badong Chen
Unrolled gradients in disguise: bridging interpolation-based and Jacobian regularization for stable neural dynamics
Maya Janvier ⋅ Etienne Meunier
Weight Space Learning needs to unify benchmarking! A taxonomy of evaluation practices
Tobias Ettling ⋅ Damian Falk ⋅ Aron Asefaw ⋅ Léo Meynent ⋅ Konstantinos Tzevelekakis ⋅ Zehong Wang ⋅ Kai Wang ⋅ Boris Knyazev ⋅ Haggai Maron ⋅ Damian Borth
Weisfeiler and Leman Follow the Arrow of Time: Expressive Power of Message Passing in Temporal Event Graphs
Franziska Heeg ⋅ Jonas Sauer ⋅ Petra Mutzel ⋅ Ingo Scholtes
What’s in a Smoothness Constant? Tight Rates for Local SGD with Bounded Second-order Heterogeneity
Kumar Kshitij Patel ⋅ Rustem Islamov ⋅ Sebastian Stich ⋅ Aurelien Lucchi ⋅ Eduard Gorbunov ⋅ Lingxiao Wang
When Empathy Misses the Goal: A Benchmark for Goal Displacement in LLM Advice
Dean Ariel ⋅ Guy Laban
Why Decoding Sharpens Without Resolving: Lock-in and Confusion in Autoregressive Reasoning
Nan Zhang ⋅ Heng Xu
WildBox: A Dataset and Benchmark for Aerial Monocular 3D Detection of African Savanna Wildlife
Vandita Shukla ⋅ Kilian Meier ⋅ Lucie Laporte-Devylder ⋅ Camille R Saint-Jean ⋅ Jenna M Kline ⋅ Blair R Costelloe ⋅ Devis Tuia ⋅ Fabio Remondino ⋅ Benjamin Risse
WorldCoder-Bench: Benchmarking Physically Grounded 3D World Synthesis
Shuo Lu ⋅ Yinuo Xu ⋅ Kecheng Yu ⋅ Siru Jiang ⋅ Yongcan Yu ⋅ Yubin Wang ⋅ Haitao Yang ⋅ Yuxiang Zhang ⋅ Bin Wang ⋅ Ran He ⋅ Jian Liang
Paris Temp BTF Poster Holder 1-1
Paris Temp BTF Poster Holder 2-1
Paris Temp BTF Poster Holder 3-1
Paris Temp BTF Poster Holder 4-1
Paris Temp BTF Poster Holder 5-1
Paris Temp BTF Poster Holder 6-1
Go to Event Page