Scholar
Ashish Tiwari
Google Scholar ID: -TFCgqsAAAAJ
Computer Scientist, SRI International; Researcher Microsoft
Formal Methods
Program Analysis
Hybrid Systems
Decision Procedures
Systems Biology
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
10,405
H-index
50
i10-index
140
Publications
20
Co-authors
21
list available
Publications
1 items
LIFT: Last-Mile Fine-Tuning for Table Explicitation
2026
Cited
0
Co-authors
11 total
Sumit Gulwani
Distinguished Scientist, Microsoft
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Natarajan Shankar
SRI International Computer Science Laboratory
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Adrià Gascón
Google Research
Radu Grosu
Professor of Computer Science
Scott A. Smolka
Professor of Computer Science, Stony Brook University
