| Gamepad: A learning environment for theorem proving D Huang, P Dhariwal, D Song, I Sutskever Seventh International Conference on Learning Representations, 2019 | 104 | 2019 |
| Segmentation fusion for connectomics A Vazquez-Reina, M Gelbart, D Huang, J Lichtman, E Miller, H Pfister 2011 International Conference on Computer Vision, 177-184, 2011 | 93 | 2011 |
| On Learning to Prove D Huang arXiv preprint arXiv:1904.11099, 2019 | 56 | 2019 |
| Augur: Data-parallel probabilistic modeling JB Tristan, D Huang, J Tassarotti, AC Pocock, S Green, GL Steele Advances in Neural Information Processing Systems 27, 2014 | 40* | 2014 |
| Compiling Markov chain Monte Carlo algorithms for probabilistic modeling D Huang, JB Tristan, G Morrisett Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 39 | 2017 |
| An application of computable distributions to the semantics of probabilistic programming languages D Huang, G Morrisett Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 20 | 2016 |
| An application of computable distributions to the semantics of probabilistic programs D Huang, G Morrisett, B Spitters Foundations of Probabilistic Programming 4, 75, 2020 | 15 | 2020 |
| Data-parallel probabilistic inference JB Tristan, GL Steele Jr, DE Huang, J Tassarotti US Patent 10,496,929, 2019 | 10 | 2019 |
| mad-GP: automatic differentiation of Gaussian processes for molecules and materials D Huang, C Teng, JL Bao, JB Tristan Journal of Mathematical Chemistry 60 (6), 969-1000, 2022 | 7 | 2022 |
| Dual-level training of Gaussian processes with physically inspired priors for geometry optimizations C Teng, Y Wang, D Huang, K Martin, JB Tristan, JL Bao Journal of Chemical Theory and Computation 18 (9), 5739-5754, 2022 | 5 | 2022 |
| On programming languages for probabilistic modeling DE Huang Harvard University, 2017 | 5 | 2017 |
| A spur to molecular geometry optimization: Gradient-enhanced universal kriging with on-the-fly adaptive ab initio prior mean functions in curvilinear coordinates C Teng, D Huang, JL Bao The Journal of Chemical Physics 158 (2), 2023 | 4 | 2023 |
| Geometry meta-optimization D Huang, JL Bao, JB Tristan The Journal of Chemical Physics 156 (13), 2022 | 4 | 2022 |
| An application of computable distributions to the semantics of probabilistic programs: part 2 D Huang, G Morrisett Proc. PPS 2017, 2017 | 3 | 2017 |
| Quantum computing and visualization: A disruptive technological change ahead EW Bethel, MG Amankwah, J Balewski, R Van Beeumen, D Camps, ... IEEE Computer Graphics and Applications 43 (6), 101-111, 2023 | 2 | 2023 |
| Formalizing the safecode type system D Huang, G Morrisett Certified Programs and Proofs: Third International Conference, CPP 2013 …, 2013 | 2 | 2013 |
| On Training Derivative-Constrained Neural Networks KC Lo, D Huang arXiv preprint arXiv:2310.01649, 2023 | 1 | 2023 |
| Exploring torsional conformer space with physical prior mean function-driven meta-Gaussian processes C Teng, D Huang, E Donahue, JL Bao The Journal of Chemical Physics 159 (21), 2023 | | 2023 |
| Push: Concurrent Probabilistic Programming for Bayesian Deep Learning D Huang, C Camaño, J Tsegaye, JA Gale arXiv preprint arXiv:2306.06528, 2023 | | 2023 |
| Elementary Logic in Linear Space D Huang arXiv preprint arXiv:2001.11186, 2020 | | 2020 |
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
