This is your work, valued
I'm the chief scientist at Redwood Research.
arc_draw_more_samples_pub. Draw more samples
198control-evaluations. Python
25model_organism_public. Python
15ai_alignment_readings. Shell
5OpenAI-RL-example. Python
3verified_sat. Lean
2dotfiles. Shell
2apma_1941b_final. Rust
1backdoor_control_examples. HTML
1cs1690_handout.
1lab-temp. OCaml
1cs_1950y_final. Alloy
1simulation. Rust
1mutt.
1path. C++
1i3-vim-focus. Vim Script
1qutebrowser. CSS
1HiMCM2017. The C repository for the code for Team 8207 in the HiMCM 2017 competition
1optim. Modified torch optimizers to allow for the use of torch.autograd.grad and for differentiability
1