Toon Tran's repositories
lean-winter
Personal project for Lean ATP exploration
visual-bot
Visual Bot for visual automation
CS204-Project3
Final Project!
pact-lean-low-resource
An unofficial, low-resource implementation of the paper Proof Artifact Co-training for Theorem Proving with Language Models
snake-game
Snake game but more
BayesianOptimization
A Python implementation of global optimization with gaussian processes.
bo-echo
Code for paper Bayesian Optimization of 2D Echocardiography Segmentation
D-CODE-ICLR-2022
D-CODE: Discovering Closed-form ODEs from Observed Trajectories
deep-symbolic-optimization
Source code for deep symbolic optimization.
grokking
unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"
lean-tpe-public
The Lean Theorem Proving Environment
machine-scientist-copy
Forked from https://bitbucket.org/rguimera/machine-scientist/src/no_degeneracy/
nngeometry
{KFAC,EKFAC,Diagonal,Implicit} Fisher Matrices and finite width NTKs in PyTorch
no8am
The easiest way to avoid 8AMs next semester
NTK-SAP
[ICLR2023] NTK-SAP: Improving neural network pruning by aligning training dynamics
open_lth
A repository in preparation for open-sourcing lottery ticket hypothesis code.
React-SPA
react single page application with react-scroll
refcard-org-mode
Org mode syntax reference card
SymbolicPhysicsLearner
Symbolic physics learner: Discovering governing equations via Monte Carlo tree search
toontran.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes