Folgen
Dipak Chaudhari
Dipak Chaudhari
Applied Research Scientist, Meta Platforms, Inc
Bestätigte E-Mail-Adresse bei fb.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
622018
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
382011
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
112021
Introducing Formal Methods via Program Derivation
DL Chaudhari, O Damani
ACM Conference on Innovation and Technology in Computer Science Education …, 2015
92015
Automated theorem prover assisted program calculations
DL Chaudhari, O Damani
International Conference on Integrated Formal Methods, 205-220, 2014
62014
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
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
22022
Combining Top-Down and Bottom-Up Techniques in Program Derivation
DL Chaudhari, O Damani
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
22015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13