jfrankle

Jonathan Frankle's repositories

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

Language:F#8 30

A repository in preparation for open-sourcing lottery ticket hypothesis code.

Language:PythonMIT600

Train neural networks up to 7x faster

Language:PythonApache-2.0000

LLM training code for MosaicML foundation models

Language:PythonApache-2.0000

Fast and flexible reference benchmarks

Language:PythonApache-2.0000

scratch work

Language:Python000

A Data Streaming Library for Efficient Neural Network Training

Language:PythonApache-2.0000