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 Yahya Alkhatib, Wee Peng Tay 3/30/2026

Contrastive Conformal Sets

Conformal prediction extension for contrastive learning with learnable multi-norm constraints and coverage guarantees.

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.