Author

Navid Hashemi

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review Sep 2026

NNV3: Expanding Neural Network Verification to New Architectures and Domains

NNV3 is presented, the latest version of the Neural Network Verification tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-physical systems, demonstrating NNV's maturation into a comprehensive, robust, and accessible verification tool for a diverse range of AI systems.

Anne M. Tumlin, Samuel Sasaki, Ben Wooding et al. · 0 citations

#artificial intelligence Feb 2026

Personalized Group Relative Policy Optimization for Heterogenous Preference Alignment

Personalized GRPO is introduced, a novel alignment framework that decouples advantage estimation from immediate batch statistics and achieves faster convergence and higher rewards than standard GRPO, thereby enhancing its ability to recover and align with heterogeneous preference signals.

Jialu Wang, Heinrich Peters, A. Butt et al. · arXiv.org · 1 citation