Yuhuai(Tony) Wu tonywu95 Google Research Scientist @ Google \ Stanford Post-doc

duvenaud/relax 151

Optimizing control variates for black-box gradient estimation

tonywu95/eval_gen 120

Evaluation code with models for the paper "On the Quantitative Analysis of Decoder-Based Generative Models"

jesse-michael-han/lean-gptf 40

Interactive neural theorem proving in Lean

tonywu95/LIME 9

Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

jasonrute/lean_proof_recording 4

Proof recording for Lean 3

mansimov/learn-to-run 2

Learning to Run

dselsam/nnsos 1

Synthetic data for (cyclic) sum-of-squares decomposition problems.