An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. - Amar Shah 002; Federico Mora 002; Sanjit A. Seshia (AAAI, 2024)

Optimal control for sampling the transition path process and estimating rates. - Jiaxin Yuan; Amar Shah 002; Channing Bentz; Maria Cameron (Commun. Nonlinear Sci. Numer. Simul., 2024)