MMODELYST
People/Ali Baheri
PPL

Ali Baheri

Papers (2)
Where Does Reasoning Break? Step-Level Hallucination Detection via Hidden-State Transport GeometryCan We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators