profile
viewpoint
Yuhuai(Tony) Wu tonywu95 Google http://www.cs.toronto.edu/~ywu/ 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 https://www.crowdai.org/challenges/nips-2017-learning-to-run

dselsam/nnsos 1

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

more