toontran

PhD Student @William&Mary . Personal Website: https://toontran.github.io/

Lewisburg PA

Pinned Repositories

BayesianOptimization
A Python implementation of global optimization with gaussian processes.
Language:Python0 0 00
bo-echo
Code for paper Bayesian Optimization of 2D Echocardiography Segmentation
Language:Python0 1 00
computational-methods
Language:Jupyter Notebook0 1 00
CS204-Project3
Final Project!
Language:Python1 2 40
dopt
Optimize models asynchronously over SSH tunnels with Bayesian Optimization
Language:Jupyter Notebook2 1 00
lean-winter
Personal project for Lean ATP exploration
Language:Jupyter Notebook1 1 00
pact-lean-low-resource
An unofficial, low-resource implementation of the paper Proof Artifact Co-training for Theorem Proving with Language Models
Language:Lean1 1 00
py2latex
Python to LaTeX Pseudocode Converter
Language:HTML5 1 00
snake-game
Snake game but more
Language:Java1 1 00
visual-bot
Visual Bot for visual automation
Language:Jupyter Notebook1 1 00

toontran/no8am
The easiest way to avoid 8AMs next semester
Language:JavaScript0 0