Sotabase

Career

· Fellow, MIT Tata Center2018–
· Researcher/Graduate Student, Massachusetts Institute of Technology (MIT) Interactive Robotics Group2017–
· PhD Candidate in Mechanical Engineering, MIT2017–

Publications (48)

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
International Conference on Computer Aided Verification · 2002
168
cited
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
International Conference on Computer Aided Verification · 2000
120
cited
SAT-Based Image Computation with Application in Reachability Analysis
Formal Methods in Computer-Aided Design · 2000
103
cited
SAT-based counterexample-guided abstraction refinement
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002
99
cited
Automated assumption generation for compositional verification
Formal Methods Syst. Des. · 2007
88
cited
Convalescent plasma in the management of moderate COVID-19 in India: An open-label parallel-arm phase II multicentre randomized controlled trial (PLACID Trial)
medRxiv · 2020
83
cited
Measuring Style Similarity in Diffusion Models
arXiv.org · 2024
83
cited
Dynamic detection and removal of inactive clauses in SAT with application in image computation
Proceedings - Design Automation Conference · 2001
45
cited
Abstraction Refinement for Bounded Model Checking
International Conference on Computer Aided Verification · 2005
44
cited
Rule-based System for Automatic Grammar Correction Using Syntactic N-grams for English Language Learning (L2)
CoNLL Shared Task · 2013
35
cited
First steps towards SAT-based formal analog verification
IEEE/ACM International Conference on Computer-Aided Design · 2009
33
cited
Learning abstractions for model checking
2006
28
cited
Data Mining for Prediction of Human Performance Capability in the Software-Industry
arXiv.org · 2015
14
cited
LEIA: Latent View-invariant Embeddings for Implicit 3D Articulation
European Conference on Computer Vision · 2024
14
cited
Absent left pulmonary artery and double aortic arch in tetralogy of Fallot: reconstruction using homograft saphenous vein or iliac artery.
Interactive Cardiovascular and Thoracic Surgery · 2008
13
cited
Mitral valve replacement with the pulmonary autograft: midterm results.
Journal of Thoracic and Cardiovascular Surgery · 2009
12
cited
Reconsidering Cegar: learning good abstractions without refinement
ICCD · 2005
11
cited
Latent-INR: A Flexible Framework for Implicit Representations of Videos with Discriminative Semantics
European Conference on Computer Vision · 2024
7
cited
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
FMAS · 2021
6
cited
FinTOC-2019 Shared Task: Finding Title in Text Blocks
2019
6
cited
Sotabase