Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers
Wenxin Li, Wenchao Liu, Anzhe Jiang +6
We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations. For piecewise activations (both continuous piecewise-l…
cs.LG2025
Improving the accuracy and generalizability of molecular property regression models with a substructure-substitution-rule-informed framework
Xiaoyu Fan, Lin Guo, Ruizhen Jia +4
Artificial Intelligence (AI)-aided drug discovery is an active research field, yet AI models often exhibit poor accuracy in regression tasks for molecular property prediction, and…