Giters
Toon Tran (toontran)

toontran

Geek Repo

9

followers

12

following

49

stars

Location:Lewisburg PA

Home Page:https://toontran.github.io/

Twitter:@toon_tran_

Github PK Tool:Github PK Tool

Toon Tran's starred repositories

grok

Language:PythonLicense:MITStargazers:4079Issues:149Issues:33

equinox

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

Language:PythonLicense:Apache-2.0Stargazers:2058Issues:23Issues:437

deep-symbolic-optimization

A deep learning framework for symbolic optimization.

Language:PythonLicense:BSD-3-ClauseStargazers:575Issues:15Issues:85

ReduNet

ReduNet

Language:PythonStargazers:531Issues:10Issues:5

BRIO

ACL 2022: BRIO: Bringing Order to Abstractive Summarization

Language:PythonStargazers:327Issues:2Issues:37

miniF2F

Formal to Formal Mathematics Benchmark

Language:Objective-C++Stargazers:299Issues:117Issues:40

Numpy-CNN

A numpy-only implementation of a Convolutional Neural Network, from the ground up.

Language:PythonStargazers:222Issues:6Issues:5

infinite-former

Language:PythonStargazers:65Issues:4Issues:4

project-menu

See the issue board for the current status of active and prospective projects!

Stargazers:65Issues:6Issues:40

LDR

The official PyTorch implementation of the paper: Xili Dai, Shengbang Tong, et al. "Closed-Loop Data Transcription to an LDR via Minimaxing Rate Reduction.".

Language:PythonLicense:MITStargazers:62Issues:5Issues:0

pnlp-mixer

Unofficial PyTorch Implementation for pNLP-Mixer: an Efficient all-MLP Architecture for Language (https://arxiv.org/abs/2202.04350)

Language:PythonLicense:BSD-3-ClauseStargazers:60Issues:4Issues:6

grokking

unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"

Language:PythonLicense:MITStargazers:56Issues:4Issues:4

functional_programming_in_lean

A book about functional programming in Lean

License:Apache-2.0Stargazers:38Issues:9Issues:0

mathzoo

Lean mathzoo

Language:LeanLicense:Apache-2.0Stargazers:23Issues:20Issues:0

linearized-networks

Source code of "What can linearized neural networks actually say about generalization?

Language:PythonLicense:MITStargazers:17Issues:2Issues:1

NTK-SAP

[ICLR2023] NTK-SAP: Improving neural network pruning by aligning training dynamics

Language:PythonLicense:MITStargazers:17Issues:2Issues:1

SymbolicPhysicsLearner

Symbolic physics learner: Discovering governing equations via Monte Carlo tree search

Language:Jupyter NotebookLicense:MITStargazers:16Issues:3Issues:0

COVID-CO2-tracker

Language:TypeScriptLicense:NOASSERTIONStargazers:13Issues:3Issues:15

py2latex

Python to LaTeX Pseudocode Converter

Language:HTMLLicense:MITStargazers:5Issues:1Issues:0

ChemGNN_Dataset

License:Apache-2.0Stargazers:2Issues:1Issues:0

skema

SKEtching MAtrices

Language:C++License:GPL-3.0Stargazers:2Issues:0Issues:0

augart-web

Language:HTMLStargazers:2Issues:0Issues:0

food-delivery-app

Language:JavaStargazers:2Issues:0Issues:0

portfolio-old

Language:HTMLStargazers:2Issues:0Issues:0

Quackapela

Language:HTMLStargazers:2Issues:2Issues:0

dopt

Optimize models asynchronously over SSH tunnels with Bayesian Optimization

Language:Jupyter NotebookLicense:MITStargazers:2Issues:1Issues:0

Bells-Palsy-ML-Research

A Machine Learning Model to Grade the Severity of Bell's Palsy

Language:Jupyter NotebookLicense:MITStargazers:1Issues:4Issues:0

ReadySetFit-Website

Language:JavaScriptStargazers:1Issues:0Issues:0

Google-Apps-Script-OCR-

Language:JavaScriptStargazers:1Issues:0Issues:0

Productivity-Task-Scheduler-App

Language:JavaStargazers:1Issues:0Issues:0