Showing 2026Show all
2 papers · 1 filter
cs.AI2026
NNV3: Expanding Neural Network Verification to New Architectures and Domains
Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8
We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…
cs.LG2026
Personalized Group Relative Policy Optimization for Heterogenous Preference Alignment
Jialu Wang, Heinrich Peters, Asad A. Butt +6
Despite their sophisticated general-purpose capabilities, Large Language Models (LLMs) often fail to align with diverse individual preferences because standard post-training method…