Dipak Chaudhari

Dipak Chaudhari

Indian Institute of Teachers Education Gandhinagar - Gandhinagar / India
History, Philosophy, Theology / History
AD Scientific Index ID: 3508327
ઇન્ડિયન ઇન્સ્ટિટ્યૂટ ઓફટીચર એજયુકેશન
person_outline Dipak Chaudhari's MOST POPULAR ARTICLES
1-) Houdini: Lifelong learning as program synthesisL Valkov, D Chaudhari, A Srivastava, C Sutton, S ChaudhuriAdvances in Neural Information Processing Systems 31, 2018622018
2-) Lexical co-occurrence, statistical significance, and word associationD Chaudhari, OP Damani, S LaxmanarXiv preprint arXiv:1008.5287, 2010372010
3-) Neural program generation modulo static analysisR Mukherjee, Y Wen, D Chaudhari, T Reps, S Chaudhuri, C JermaineAdvances in Neural Information Processing Systems 34, 18984-18996, 202192021
4-) Introducing formal methods via program derivationDL Chaudhari, O DamaniProceedings of the 2015 ACM Conference on Innovation and Technology in …, 2015112015
5-) Automated theorem prover assisted program calculationsDL Chaudhari, O DamaniIntegrated Formal Methods: 11th International Conference, IFM 2014 …, 201482014