Pinned Repositories
BayesianOptimization
A Python implementation of global optimization with gaussian processes.
bo-echo
Code for paper Bayesian Optimization of 2D Echocardiography Segmentation
computational-methods
CS204-Project3
Final Project!
dopt
Optimize models asynchronously over SSH tunnels with Bayesian Optimization
lean-winter
Personal project for Lean ATP exploration
pact-lean-low-resource
An unofficial, low-resource implementation of the paper Proof Artifact Co-training for Theorem Proving with Language Models
py2latex
Python to LaTeX Pseudocode Converter
snake-game
Snake game but more
visual-bot
Visual Bot for visual automation
toontran's Repositories
toontran/py2latex
Python to LaTeX Pseudocode Converter
toontran/dopt
Optimize models asynchronously over SSH tunnels with Bayesian Optimization
toontran/CS204-Project3
Final Project!
toontran/lean-winter
Personal project for Lean ATP exploration
toontran/pact-lean-low-resource
An unofficial, low-resource implementation of the paper Proof Artifact Co-training for Theorem Proving with Language Models
toontran/snake-game
Snake game but more
toontran/visual-bot
Visual Bot for visual automation
toontran/BayesianOptimization
A Python implementation of global optimization with gaussian processes.
toontran/bo-echo
Code for paper Bayesian Optimization of 2D Echocardiography Segmentation
toontran/computational-methods
toontran/CSCI206-S21-62
toontran/D-CIPHER
toontran/D-CODE-ICLR-2022
D-CODE: Discovering Closed-form ODEs from Observed Trajectories
toontran/deep-codegen
toontran/deep-symbolic-optimization
Source code for deep symbolic optimization.
toontran/falkon
Large-scale, multi-GPU capable, kernel solver
toontran/grokking
unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"
toontran/lean-tpe-public
The Lean Theorem Proving Environment
toontran/machine-scientist-copy
Forked from https://bitbucket.org/rguimera/machine-scientist/src/no_degeneracy/
toontran/my-website
toontran/nngeometry
{KFAC,EKFAC,Diagonal,Implicit} Fisher Matrices and finite width NTKs in PyTorch
toontran/NTK-SAP
[ICLR2023] NTK-SAP: Improving neural network pruning by aligning training dynamics
toontran/ntk_alignment
toontran/open_lth
A repository in preparation for open-sourcing lottery ticket hypothesis code.
toontran/React-SPA
react single page application with react-scroll
toontran/refcard-org-mode
Org mode syntax reference card
toontran/skema
SKEtching MAtrices
toontran/SymbolicPhysicsLearner
Symbolic physics learner: Discovering governing equations via Monte Carlo tree search
toontran/toontran.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
toontran/TorchDiffEqPack