Follow
Dipak Chaudhari
Dipak Chaudhari
Applied Research Scientist, Meta Platforms, Inc
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
HOUDINI: Lifelong Learning as Program Synthesis
L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri
Advances in Neural Information Processing Systems, 8700-8711, 2018
842018
Lexical co-occurrence, statistical significance, and word association
DL Chaudhari, OP Damani, S Laxman
Proceedings of the Conference on Empirical Methods in Natural Language …, 2011
402011
Neural program generation modulo static analysis
R Mukherjee, Y Wen, D Chaudhari, T Reps, S Chaudhuri, C Jermaine
Advances in Neural Information Processing Systems 34, 2021
202021
Introducing Formal Methods via Program Derivation
DL Chaudhari, O Damani
ACM Conference on Innovation and Technology in Computer Science Education …, 2015
112015
Automated theorem prover assisted program calculations
DL Chaudhari, O Damani
International Conference on Integrated Formal Methods, 205-220, 2014
62014
Meta-Meta Classification for One-Shot Learning
A Chowdhury, D Chaudhari, S Chaudhuri, C Jermaine
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2022
52022
Synthesis of differentiable functional programs for lifelong learning
L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri
arXiv preprint arXiv:1804.00218, 2018
42018
Combining Top-Down and Bottom-Up Techniques in Program Derivation
DL Chaudhari, O Damani
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
42015
Wikipedia is a Practical Alternative to the Web for measuring Co-occurrence based Word Association
OP Damani, P Chedda, D Chaudhari
LANGUAGE & TECHNOLOGY, 9, 2012
22012
Generating hierarchical state based representation from Event-B models
DL Chaudhari, OP Damani
Electronic Notes in Theoretical Computer Science 280, 35-46, 2011
22011
Neural Attribute Grammars for Semantics-Guided Program Generation
R Mukherjee, D Chaudhari, M Amodio, T Reps, S Chaudhuri, C Jermaine
arXiv e-prints, arXiv: 1705.09231, 2017
12017
Building an IDE for the Calculational Derivation of Imperative Programs
DL Chaudhari, O Damani
arXiv preprint arXiv:1508.03892, 2015
12015
Assumption propagation through annotated programs
DL Chaudhari, O Damani
Formal Aspects of Computing (2016), 1-36 (doi:10.1007/s00165-016-0395-x), 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–13