Follow
Rohit Singh
Rohit Singh
MIT, Uber AI, Facebook, Meta, Citadel
Verified email at csail.mit.edu - Homepage
Title
Cited by
Cited by
Year
Pyro: Deep universal probabilistic programming
E Bingham, JP Chen, M Jankowiak, F Obermeyer, N Pradhan, ...
The Journal of Machine Learning Research 20 (1), 973-978, 2019
14622019
Synthesizing entity matching rules by examples
R Singh, VV Meduri, A Elmagarmid, S Madden, P Papotti, JA Quiané-Ruiz, ...
Proceedings of the VLDB Endowment 11 (2), 189-202, 2017
1472017
Automatically generating algebra problems
R Singh, S Gulwani, S Rajamani
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
1192012
Quantitative synthesis for concurrent programs
P Černý, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh
International Conference on Computer Aided Verification, 243-259, 2011
1152011
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Journal of the ACM (JACM) 62 (1), 1-34, 2015
722015
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Computer Aided Verification, 380-395, 2010
72*2010
Modular synthesis of sketches using models
R Singh, R Singh, Z Xu, R Krosnick, A Solar-Lezama
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
302014
Quasy: Quantitative synthesis tool
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
252011
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules
R Singh, A Solar-Lezama
2016 Formal Methods in Computer-Aided Design (FMCAD), 185-192, 2016
202016
Synthesis of domain specific CNF encoders for bit-vector solvers
JP Inala, R Singh, A Solar-Lezama
International Conference on Theory and Applications of Satisfiability …, 2016
172016
Applying SVGD to Bayesian Neural Networks for Cyclical Time-Series Prediction and Inference
X Hu, P Szerlip, T Karaletsos, R Singh
arXiv preprint arXiv:1901.05906, 2019
82019
On memoryless quantitative objectives
K Chatterjee, L Doyen, R Singh
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 …, 2011
72011
Automatic generation of formula simplifiers based on conditional rewrite rules
R Singh, A Solar-Lezama
arXiv preprint arXiv:1602.07285, 2016
12016
Synthesizing a synthesis tool
R Singh
Massachusetts Institute of Technology, 2013
12013
Termination of Initialized Rational Linear Programs
R Singh
Indian Institute of Technology, Bombay Mumbai, 2011
12011
pyro: Deep universal probabilistic programming with Python and PyTorch
E Bingham, JP Chen, M Jankowiak, F Obermeyer, N Pradhan, ...
Astrophysics Source Code Library, ascl: 2110.016, 2021
2021
Automatically learning optimal formula simplifiers and database entity matching rules
R Singh
Massachusetts Institute of Technology, 2017
2017
A new approach to building solvers
R Singh, A Solar-Lezama
The system can't perform the operation now. Try again later.
Articles 1–18