Ashish Tiwari
Scholar

Ashish Tiwari

Google Scholar ID: -TFCgqsAAAAJ
Computer Scientist, SRI International; Researcher Microsoft
Formal MethodsProgram AnalysisHybrid SystemsDecision ProceduresSystems Biology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
10,405
 
H-index
50
 
i10-index
140
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
1 items
LIFT: Last-Mile Fine-Tuning for Table Explicitation
2026
Cited
0
Resume (English only)
Co-authors
21 total
Sumit Gulwani
Sumit Gulwani
Distinguished Scientist, Microsoft
Susmit Jha
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Co-author 3
Co-author 3
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Adrià Gascón
Adrià Gascón
Google Research
Radu Grosu
Radu Grosu
Professor of Computer Science
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University