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 | 87 | 2018 |
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 | 44 | 2011 |
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 | 22 | 2021 |
Introducing Formal Methods via Program Derivation DL Chaudhari, O Damani ACM Conference on Innovation and Technology in Computer Science Education …, 2015 | 11 | 2015 |
Automated theorem prover assisted program calculations DL Chaudhari, O Damani International Conference on Integrated Formal Methods, 205-220, 2014 | 7 | 2014 |
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 | 5 | 2022 |
Synthesis of differentiable functional programs for lifelong learning L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri arXiv preprint arXiv:1804.00218, 2018 | 4 | 2018 |
Combining Top-Down and Bottom-Up Techniques in Program Derivation DL Chaudhari, O Damani International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 4 | 2015 |
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 | 2 | 2012 |
Generating hierarchical state based representation from Event-B models DL Chaudhari, OP Damani Electronic Notes in Theoretical Computer Science 280, 35-46, 2011 | 2 | 2011 |
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 | 1 | 2017 |
Building an IDE for the Calculational Derivation of Imperative Programs DL Chaudhari, O Damani arXiv preprint arXiv:1508.03892, 2015 | 1 | 2015 |
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 |