Picture for Daniel Huang

Daniel Huang

On Training Derivative-Constrained Neural Networks

Add code
Oct 11, 2023
Viaarxiv icon

ExpeL: LLM Agents Are Experiential Learners

Add code
Aug 20, 2023
Viaarxiv icon

Pus$\mathbb{H}$: Concurrent Probabilistic Programming with Function Spaces

Add code
Jun 10, 2023
Figure 1 for Pus$\mathbb{H}$: Concurrent Probabilistic Programming with Function Spaces
Figure 2 for Pus$\mathbb{H}$: Concurrent Probabilistic Programming with Function Spaces
Figure 3 for Pus$\mathbb{H}$: Concurrent Probabilistic Programming with Function Spaces
Figure 4 for Pus$\mathbb{H}$: Concurrent Probabilistic Programming with Function Spaces
Viaarxiv icon

On Learning to Prove

Add code
Apr 26, 2019
Figure 1 for On Learning to Prove
Figure 2 for On Learning to Prove
Figure 3 for On Learning to Prove
Figure 4 for On Learning to Prove
Viaarxiv icon

GamePad: A Learning Environment for Theorem Proving

Add code
Jun 02, 2018
Figure 1 for GamePad: A Learning Environment for Theorem Proving
Figure 2 for GamePad: A Learning Environment for Theorem Proving
Viaarxiv icon

Augur: a Modeling Language for Data-Parallel Probabilistic Inference

Add code
Jun 10, 2014
Figure 1 for Augur: a Modeling Language for Data-Parallel Probabilistic Inference
Figure 2 for Augur: a Modeling Language for Data-Parallel Probabilistic Inference
Figure 3 for Augur: a Modeling Language for Data-Parallel Probabilistic Inference
Figure 4 for Augur: a Modeling Language for Data-Parallel Probabilistic Inference
Viaarxiv icon