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 Hyukjun Lim, Soojung Yang, Lucas Pin\`ede, Miguel Steiner, Yuanqi Du, Rafael G\'omez-Bombarelli 3/30/2026

A Priori Sampling of Transition States with Guided Diffusion

Method using guided diffusion to sample transition states on potential energy surfaces for chemical reaction and conformational change prediction.