Dipak L. Chaudhari

Applied Research Scientist
Enterprise Products
Meta Platforms, Inc.

I am currently an Applied Research Scientist at Meta. My research interests broadly span the following areas: Neuro-Symbolic approaches to Machine Learning, Program Synthesis, Meta-learning, Compositional and Interpretable Machine Learning, and Formal Methods.

Publications

Google Scholar Profile: Link

Meta-Meta-Classification for One-Shot Learning - A.Chowdhury, D. Chaudhari, S. Chaudhuri, C. Jermaine, Accepted at IEEE/CVF Winter Conference on Applications of Computer Vision (WACV 2022).
Neural Program Generation Modulo Static Analysis - Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, and Chris Jermaine. Accepted at Neural Information Processing Systems, 2021 (NeurIPS 2021).
Houdini: Lifelong Learning as Program Synthesis - Valkov, Lazar, Dipak L. Chaudhari, Akash Srivastava, Charles Sutton, and Swarat Chaudhuri. In Advances in Neural Information Processing Systems 2018 (NeurIPS 2018).
Assumption Propagation Through Annotated Programs - Dipak L. Chaudhari and Om P. Damani. Formal Aspects of Computing 29, 495–530, 2017 (doi:10.1007/s00165-016-0395-x)
Building an IDE for the Calculational Derivation of Imperative Programs - Dipak L. Chaudhari and Om P. Damani. Workshop on Formal-IDE, F-IDE 2015.
Combining Top-down and Bottom-up Techniques in Program Derivation - Dipak L. Chaudhari and Om P. Damani. 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015.
Introducing Formal Methods via Program Derivation - Dipak L. Chaudhari and Om P. Damani. 20th Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE-2015.
Automated Theorem Prover Assisted Program Calculations - Dipak L. Chaudhari and Om P. Damani. The 11th International Conference on Integrated Formal Methods, IFM 2014.
Wikipedia is a practical alternative to the Web for measuring Co-occurrence based Word Association - Om P. Damani, Pankhil Chedda, and Dipak Chaudhari. 4th Conference on Language and Technology, CLT 2012.
Generating Hierarchical State Based Representation From Event-B Models - Dipak L. Chaudhari and Om P. Damani. Electronic Notes in Theoretical Computer Science, Volume 280, Pages 35-46, 2011.
Lexical Co-occurrence, Statistical Significance, and Word Association - Dipak L. Chaudhari, Om P. Damani, and Srivatsan Laxman. Conference on Empirical Methods on Natural Language Processing, EMNLP 2011.