关注
Daniel Huang
Daniel Huang
Assistant Professor
在 sfsu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Gamepad: A learning environment for theorem proving
D Huang, P Dhariwal, D Song, I Sutskever
Seventh International Conference on Learning Representations, 2019
1092019
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
932011
On Learning to Prove
D Huang
arXiv preprint arXiv:1904.11099, 2019
602019
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
402017
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
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
202016
An application of computable distributions to the semantics of probabilistic programs
D Huang, G Morrisett, B Spitters
Foundations of Probabilistic Programming 4, 75, 2020
152020
Data-parallel probabilistic inference
JB Tristan, GL Steele Jr, DE Huang, J Tassarotti
US Patent 10,496,929, 2019
112019
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
82022
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
62022
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
52023
Geometry meta-optimization
D Huang, JL Bao, JB Tristan
The Journal of Chemical Physics 156 (13), 2022
52022
On programming languages for probabilistic modeling
DE Huang
Harvard University, 2017
52017
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
32023
An application of computable distributions to the semantics of probabilistic programs: part 2
D Huang, G Morrisett
Proc. PPS 2017, 2017
32017
Formalizing the safecode type system
D Huang, G Morrisett
Certified Programs and Proofs: Third International Conference, CPP 2013 …, 2013
22013
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
12023
On Training Derivative-Constrained Neural Networks
KC Lo, D Huang
arXiv preprint arXiv:2310.01649, 2023
12023
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
系统目前无法执行此操作,请稍后再试。
文章 1–20