Ax Hao Liang, Zhengyang Zhao, Meiyi Qiang, Mingrui Chen, Lu Ma, Rongyi Yu, Hengyi Feng, Shixuan Sun, Zimo Meng, Xiaochen Ma, Xuanlin Yang, Qifeng Cai, Ruichuan An, Bohan Zeng, Zhen Hao Wong, Chengyu Shen, Runming He, Zhaoyang Han, Yaowei Zheng, Fangcheng Fu, Conghui He, Bin Cui, Zhiyu Li, Weinan E, Wentao Zhang 3/30/2026

DataFlex: A Unified Framework for Data-Centric Dynamic Training of Large Language Models

Unified framework for data-centric dynamic training of LLMs with consistent interfaces for data selection and reweighting.

Ax Devashish Gaikwad, Wil M. P. van der Aalst, Gyunam Park 3/30/2026

Neuro-Symbolic Process Anomaly Detection

Neuro-symbolic approach combining neural networks and domain knowledge for process anomaly detection from event logs.

Ax Jingpu Cheng, Ping Liu, Qianxiao Li, Chi Zhang 3/30/2026

Machine Unlearning under Retain-Forget Entanglement

Machine unlearning framework addressing retain-forget entanglement where retained samples unintentionally affected by forgetting correlated features.

Ax Roope Niemi, Anastasiia Petrovych, Arghya Ranjan Das, Enrico Lupi, Chang Sun, Dimitrios Danopoulos, Marlon Joshua Helbing, Mia Liu, Sebastian Dittmeier, Michael Kagan, Vladimir Loncar, Maurizio Pierini 3/30/2026

PQuantML: A Tool for End-to-End Hardware-aware Model Compression

PQuantML: open-source hardware-aware neural network compression library for pruning and quantization with unified interface for latency-constrained deployment.

Ax Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei 3/30/2026

ExVerus: Verus Proof Repair via Counterexample Reasoning

LLM framework for formal proof repair using counterexample-guided reasoning and behavioral feedback to improve automated verification.

Ax Afonso Simpl\'icio, Gon\c{c}alo Vinagre, Miguel Moura Ramos, Diogo Tavares, Rafael Ferreira, Giuseppe Attanasio, Duarte M. Alves, In\^es Calvo, In\^es Vieira, Rui Guerra, James Furtado, Beatriz Canaverde, Iago Paulo, Vasco Ramos, Diogo Gl\'oria-Silva, Miguel Faria, Marcos Treviso, Daniel Gomes, Pedro Gomes, David Semedo, Andr\'e Martins, Jo\~ao Magalh\~aes 3/30/2026

AMALIA Technical Report: A Fully Open Source Large Language Model for European Portuguese

AMALIA: fully open source LLM trained on high-quality European Portuguese data with native evaluation benchmark and improved pt-PT representation.