Tuhin Sahai - RankMe

47 papers A* 1B 1Misc 1Journal 36Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs). CoRR Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025	J	`jnl`	Discovering Algorithms with Computational Language Processing. CoRR Théo Bourdais, Abeynaya Gnanasekaran, Houman Owhadi, Tuhin Sahai
2025	J	`jnl`	Optimal Control for Transformer Architectures: Enhancing Generalization, Robustness and Efficiency. CoRR Kelvin Kan, Xingjian Li, Benjamin J. Zhang, Tuhin Sahai, Stanley J. Osher, Markos A. Katsoulakis
2025	J	`jnl`	Stability of Transformers under Layer Normalization. CoRR Kelvin Kan, Xingjian Li, Benjamin J. Zhang, Tuhin Sahai, Stanley J. Osher, Krishna Kumar, Markos A. Katsoulakis
2025	—	`conf`	Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. NeuS Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025	J	`jnl`	Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. CoRR Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2024	J	`jnl`	Accelerating Spectral Clustering on Quantum and Analog Platforms. CoRR Xingzi Xu, Tuhin Sahai
2024	J	`jnl`	An efficient quantum algorithm for simulating polynomial dynamical systems. Quantum Inf. Process. Amit Surana, Abeynaya Gnanasekaran, Tuhin Sahai
2024	J	`jnl`	On the Emergence of Ergodic Dynamics in Unique Games. CoRR Tuhin Sahai, Abeynaya Gnanasekaran
2023	Misc	`conf`	Efficient Quantum Algorithms for Nonlinear Stochastic Dynamical Systems. QCE Abeynaya Gnanasekaran, Amit Surana, Tuhin Sahai
2023	J	`jnl`	Efficient Quantum Algorithms for Nonlinear Stochastic Dynamical Systems. CoRR Abeynaya Gnanasekaran, Amit Surana, Tuhin Sahai
2023	J	`jnl`	math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. CoRR Hassen Saïdi, Susmit Jha, Tuhin Sahai
2022	—	`conf`	A Dynamic Mode Decomposition Approach for Decentralized Spectral Clustering of Graphs. CCTA Hongyu Zhu, Stefan Klus, Tuhin Sahai
2022	J	`jnl`	A Dynamic Mode Decomposition Approach for Decentralized Spectral Clustering of Graphs. CoRR Hongyu Zhu, Stefan Klus, Tuhin Sahai
2022	J	`jnl`	A Koopman framework for rare event simulation in stochastic differential equations. J. Comput. Phys. Benjamin J. Zhang, Tuhin Sahai, Youssef M. Marzouk
2022	J	`jnl`	Carleman linearization based efficient quantum algorithm for higher order polynomial differential equations. CoRR Amit Surana, Abeynaya Gnanasekaran, Tuhin Sahai
2021	J	`jnl`	Computing eigenfunctions of the multidimensional Ornstein-Uhlenbeck operator. CoRR Benjamin J. Zhang, Tuhin Sahai, Youssef M. Marzouk
2021	J	`jnl`	Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System. Int. J. Semantic Comput. Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2021	J	`jnl`	Talaria: A Framework for Simulation of Permissioned Blockchains for Logistics and Beyond. CoRR Jiali Xing, David Fischer, Nitya Labh, Ryan Piersma, Benjamin C. Lee, Yu Amy Xia, Tuhin Sahai, Vahid Tarokh
2020	J	`jnl`	Dynamical Systems Theory and Algorithms for NP-hard Problems. CoRR Tuhin Sahai
2020	A*	`conf`	Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
2020	J	`jnl`	Post Quantum Secure Command and Control of Mobile Agents : Inserting quantum-resistant encryption schemes in the Secure Robot Operating System. CoRR Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2020	—	`conf`	Post Quantum Secure Command and Control of Mobile Agents Inserting quantum-resistant encryption schemes in the Secure Robot Operating System. IRC Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2019	J	`jnl`	Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. CoRR Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
2019	J	`jnl`	Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
2019	J	`jnl`	Spectral Complexity of Directed Graphs and Application to Structural Decomposition. Complex. Igor Mezic, Vladimir A. Fonoberov, Maria Fonoberova, Tuhin Sahai
2019	J	`jnl`	TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2017	J	`jnl`	Continuous Relaxations for the Traveling Salesman Problem. CoRR Tuhin Sahai, Stefan Klus, Michael Dellnitz
2017	—	`conf`	On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
2017	B	`conf`	TeLEx: Passive STL Learning Using Only Positive Examples. RV Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2015	J	`jnl`	A Chaotic Dynamical System that Paints. CoRR Tuhin Sahai, George Mathew, Amit Surana
2014	J	`jnl`	A Spectral Assignment Approach for the Graph Isomorphism Problem. CoRR Stefan Klus, Tuhin Sahai
2013	—	`conf`	Efficient tracking and pursuit of moving targets by heuristic solution of the traveling salesman problem. CDC Brendan J. Englot, Tuhin Sahai, Isaac Cohen
2013	—	`conf`	Polynomial chaos based uncertainty quantification in Hamiltonian and chaotic systems. CDC Jose Miguel Pasini, Tuhin Sahai
2013	J	`jnl`	Uncertainty quantification in hybrid dynamical systems. J. Comput. Phys. Tuhin Sahai, Jose Miguel Pasini
2012	J	`jnl`	A Traveling Salesman Learns Bayesian Networks CoRR Tuhin Sahai, Stefan Klus, Michael Dellnitz
2012	J	`jnl`	Hearing the clusters of a graph: A distributed algorithm. Autom. Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk
2012	J	`jnl`	Mapping and Reducing the Brain on the Cloud CoRR Esha Sahai, Tuhin Sahai
2012	—	`conf`	Uncertainty quantification in hybrid dynamical systems. CDC Tuhin Sahai, Jose Miguel Pasini
2011	J	`jnl`	An efficient algorithm for the parallel solution of high-dimensional differential equations. J. Comput. Appl. Math. Stefan Klus, Tuhin Sahai, Cong Liu, Michael Dellnitz
2011	J	`jnl`	Iterative Methods for Scalable Uncertainty Quantification in Complex Networks CoRR Amit Surana, Tuhin Sahai, Andrzej Banaszuk
2011	J	`jnl`	Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems CoRR Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad S. Sane, Alberto Speranzon, Amit Surana
2011	J	`jnl`	Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. Annu. Rev. Control. Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad S. Sane, Alberto Speranzon, Amit Surana
2010	J	`jnl`	An efficient algorithm for the parallel solution of high-dimensional differential equations CoRR Stefan Klus, Tuhin Sahai, Cong Liu, Michael Dellnitz
2010	—	`conf`	Wave equation based algorithm for distributed eigenvector computation. CDC Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk
2009	J	`jnl`	Hearing the clusters in a graph: A distributed algorithm CoRR Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk
2009	J	`jnl`	Numerical Methods for Approximating Invariant Manifolds of Delayed Systems. SIAM J. Appl. Dyn. Syst. Tuhin Sahai, Alexander Vladimirsky