-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
Enter an email to receive alerts for inverse-problems "https:" positions