Ax Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma 4/17/2026

Towards Verified and Targeted Explanations through Formal Methods

Formal methods approach to verified neural network explanations with mathematical guarantees. Combines XAI with formal verification for safety-critical domains.

Ax Sohyun An (Meta Superintelligence Labs, UCLA), Hayeon Lee (Meta Superintelligence Labs), Shuibenyang Yuan (Meta Superintelligence Labs), Chun-cheng Jason Chen (Meta Superintelligence Labs), Cho-Jui Hsieh (UCLA), Vijai Mohan (Meta Superintelligence Labs), Alexander Min (Meta Superintelligence Labs) 4/17/2026

FRESCO: Benchmarking and Optimizing Re-rankers for Evolving Semantic Conflict in Retrieval-Augmented Generation

FRESCO benchmark for evaluating re-rankers in RAG systems under evolving semantic information. Addresses temporal staleness in LLM-grounded retrieval.

Ax Haoran Xu, Kaiwen Hu, Somayeh Sojoudi, Amy Zhang 4/17/2026

Reinforcement Learning via Value Gradient Flow

Value gradient flow method for behavior-regularized reinforcement learning in LLM finetuning without reparameterized policy gradients.

Ax Guillermo Valverde, Igor Garc\'ia-Olaizola, Giannicola Scarpa, Alejandro Pozas-Kerstjens 4/17/2026

Quantum-inspired tensor networks in machine learning models

Tensor networks from quantum physics integrated into machine learning models for compressed representations of complex correlations.

Ax Francesco Andrea Causio, Vittorio De Vita, Olivia Riccomi, Michele Ferramola, Federico Felizzi, Antonio Cristiano, Lorenzo De Mori, Chiara Battipaglia, Melissa Sawaya, Luigi De Angelis, Marcello Di Pumpo, Alessandra Piscitelli, Pietro Eric Risuleo, Alessia Longo, Giulia Vojvodic, Mariapia Vassalli, Bianca Destro Castaniti, Nicol\`o Scarsi, Manuel Del Medico 4/17/2026

EuropeMedQA Study Protocol: A Multilingual, Multimodal Medical Examination Dataset for Language Model Evaluation

EuropeMedQA: multilingual, multimodal medical examination dataset for evaluating LLM performance on non-English diagnostic tasks.

Ax Cheng Lu, Mengxin Wang, Dennis J. Zhang, Heng Zhang 4/17/2026

Generative Augmented Inference

Framework leveraging LLM outputs as auxiliary data for operations management and causal inference under distribution shift.

Ax Shreesha G. Bhat, Tony Hong, Michael Noguera, Ramnatthan Alagappan, Aishwarya Ganesan 4/17/2026

AgileLog: A Forkable Shared Log for Agents on Data Streams

Shared log system enabling AI agents to reason over streaming data without performance interference in data-streaming architectures.