18 citations · 68 across the 27 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories
Hassen Saidi, Susmit Jha, Tuhin Sahai
As artificial intelligence (AI) gains greater adoption in a wide variety of applications, it has immense potential to contribute to mathematical discovery, by guiding conjecture ge…
math.DS2023
Efficient Quantum Algorithms for Nonlinear Stochastic Dynamical Systems
Abeynaya Gnanasekaran, Amit Surana, Tuhin Sahai
In this paper, we propose efficient quantum algorithms for solving nonlinear stochastic differential equations (SDE) via the associated Fokker-Planck equation (FPE). We discretize…