A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes. - Mohit Tekriwal; Karthik Duraisamy; Jean-Baptiste Jeannin (NFM, 2021)

Towards Verified Rounding Error Analysis for Stationary Iterative Methods. - Ariel Kellison; Mohit Tekriwal; Jean-Baptiste Jeannin; Geoffrey C. Hulette (Correctness@SC, 2022)

Dandelion: Certified Approximations of Elementary Functions. - Heiko Becker; Mohit Tekriwal; Eva Darulova; Anastasia Volkova; Jean-Baptiste Jeannin (ITP, 2022)

Formal verification of iterative convergence of numerical algorithms. - Mohit Tekriwal; Joshua Miller; Jean-Baptiste Jeannin (CoRR, 2022)

LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. - Ariel E. Kellison; Andrew W. Appel; Mohit Tekriwal; David Bindel (ARITH, 2023)

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. - Mohit Tekriwal; Andrew W. Appel; Ariel E. Kellison; David Bindel; Jean-Baptiste Jeannin (CICM, 2023)

Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report). - Matthew J. Sottile; Mohit Tekriwal (FUNARCH, 2024)

Formalization of Asymptotic Convergence for Stationary Iterative Methods. - Mohit Tekriwal; Joshua Miller; Jean-Baptiste Jeannin (NFM, 2024)

Formally verified asymptotic consensus in robust networks. - Mohit Tekriwal; Avi Tachna-Fram; Jean-Baptiste Jeannin; Manos Kapritsos; Dimitra Panagou (TACAS (1), 2024)

Mechanized Semantics for Correctness of the RS274 Additive Manufacturing Command Language. - Mohit Tekriwal; Matthew J. Sottile (NFM, 2025)