Daniel Huang

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 10

Top Topics

Technological Change

Markov Chain Monte Carlo

Probabilistic Modeling

Quantum Computing

Top Venues

IEEE Computer Graphics and Applications

Publications

KaiChieh Lo, Daniel Huang
On Training Derivative-Constrained Neural Networks. CoRR (2023)
E. Wes Bethel, Mercy G. Amankwah, Jan Balewski, Roel Van Beeumen, Daan Camps, Daniel Huang, Talita Perciano
Quantum Computing and Visualization: A Disruptive Technological Change Ahead. IEEE Computer Graphics and Applications 43 (6) (2023)
E. Wes Bethel, Mercy G. Amankwah, Jan Balewski, Roel Van Beeumen, Daan Camps, Daniel Huang, Talita Perciano
Quantum Computing and Visualization: A Disruptive Technological Change Ahead. CoRR (2023)
Daniel Huang
Elementary Logic in Linear Space. CoRR (2020)
Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever
GamePad: A Learning Environment for Theorem Proving. ICLR (Poster) (2019)
Daniel Huang
On Learning to Prove. CoRR (2019)
Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever
GamePad: A Learning Environment for Theorem Proving. CoRR (2018)
Daniel Huang, Greg Morrisett, Bas Spitters
An Application of Computable Distributions to the Semantics of Probabilistic Programs. CoRR (2018)
Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. PLDI (2017)
Daniel Huang, Greg Morrisett
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. ESOP (2016)
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
Augur: Data-Parallel Probabilistic Modeling. NIPS (2014)
Daniel Huang, Greg Morrisett
Formalizing the SAFECode Type System. CPP (2013)
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
Augur: a Modeling Language for Data-Parallel Probabilistic Inference. CoRR (2013)
Amelio Vázquez Reina, Michael Gelbart, Daniel Huang, Jeff Lichtman, Eric L. Miller, Hanspeter Pfister
Segmentation fusion for connectomics. ICCV (2011)