引用次数
引用: 193
H-指数: 5
I10-指数 : 4
出版物: 13
Building an IDE for the Calculational Derivation of Imperative Programs
Dipak L Chaudhari , Om Damani
arXiv preprint arXiv:1508.03892
1
2015
Assumption propagation through annotated programs
Dipak L Chaudhari , Om Damani
Formal Aspects of Computing (2016) 1 -1
2016
HOUDINI: Lifelong Learning as Program Synthesis
Charles Sutton , Dipak Chaudhari , Swarat Chaudhuri , Lazar Valkov
neural information processing systems 31 8687 -8698
62
2018
Meta-Meta-Classification for One-Shot Learning.
Chris Jermaine , Dipak Chaudhari , Swarat Chaudhuri , Arkabandhu Chowdhury
arXiv: Learning
3
2020
Neural program generation modulo static analysis
Rohan Mukherjee , Yeming Wen , Dipak Chaudhari , Thomas Reps
Advances in Neural Information Processing Systems 34 18984 -18996
12
2021
Neural Attribute Grammars for Semantics-Guided Program Generation
Rohan Mukherjee , Dipak Chaudhari , Matthew Amodio , Thomas Reps
arXiv e-prints arXiv: 1705.09231 -arXiv: 1705.09231
1
2017
Synthesis of differentiable functional programs for lifelong learning
Lazar Valkov , Dipak Chaudhari , Akash Srivastava , Charles Sutton
arXiv preprint arXiv:1804.00218
4
2018
Wikipedia is a Practical Alternative to the Web for measuring Co-occurrence based Word Association
Om P Damani , Pankhil Chedda , Dipak Chaudhari
LANGUAGE & TECHNOLOGY 9 -9
2
2012
Lexical Co-occurrence, Statistical Significance, and Word Association
Srivatsan Laxman , Dipak L. Chaudhari , Om P. Damani
empirical methods in natural language processing 1058 -1068
19
2011
Introducing Formal Methods via Program Derivation
Dipak L. Chaudhari , Om Damani
integrating technology into computer science education 266 -271
4
2015
Automated Theorem Prover Assisted Program Calculations
Dipak L. Chaudhari , Om Damani
integrated formal methods 205 -220
5
2014
Generating Hierarchical State Based Representation From Event-B Models
Dipak L. Chaudhari , Om P. Damani
Electronic Notes in Theoretical Computer Science 280 35 -46
2
2011
Combining Top-Down and Bottom-Up Techniques in Program Derivation
Dipak L. Chaudhari , Om Damani
logic based program synthesis and transformation 244 -258
1
2015