3 papers
cs.LG2026
HardNet++: Nonlinear Constraint Enforcement in Neural Networks
Andrea Goertzen, Kaveh Alim, Youngjae Min +1
Enforcing constraint satisfaction in neural network outputs is critical for safety, reliability, and physical fidelity in many control and decision-making applications. While soft-…
cs.LG2026
HardFlow: Hard-Constrained Sampling for Flow-Matching Models via Trajectory Optimization
Zeyang Li, Kaveh Alim, Navid Azizan
Diffusion and flow-matching have emerged as powerful methodologies for generative modeling, with remarkable success in capturing complex data distributions and enabling flexible gu…
stat.ML2025
Know What You Don't Know: Uncertainty Calibration of Process Reward Models
Young-Jin Park, Kristjan Greenewald, Kaveh Alim +2
Process reward models (PRMs) play a central role in guiding inference-time scaling algorithms for large language models (LLMs). However, we observe that even state-of-the-art PRMs…