Starred repositories
51
stars
written in Python
Clear filter
Facebook AI Research Sequence-to-Sequence Toolkit written in Python.
Convert Machine Learning Code Between Frameworks
Home of StarCoder: fine-tuning & inference!
Privacy enhanced BitTorrent client with P2P content discovery
A library to manipulate font files from Python.
List of papers studying machine learning through the lens of category theory
How Powerful are Graph Neural Networks?
OTFeatureFreezer GUI app and pyftfeatfreeze commandline tool in Python to permanently "apply" OpenType features to fonts, by remapping their Unicode assignments
Diffuse is a graphical tool for comparing and merging text files. It can retrieve files for comparison from Bazaar, CVS, Darcs, Git, Mercurial, Monotone, RCS, Subversion, and SVK repositories.
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
A certifiable defense against adversarial examples by training neural networks to be provably robust
OpenType vertical metrics reporting and font line spacing adjustment tool
A pure-functional implementation of a machine learning transformer model in Python/JAX
Roguelike dungeon generation library written on Python3
UlamAI is an open-source Lean theorem prover and formalizer.
This repository contains the architectures, Models, logs, etc pertaining to the SimpleNet Paper (Lets keep it simple: Using simple architectures to outperform deeper architectures )
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a …
SimpNet Paper Files (Towards Principled Design of Deep Convolutional Networks: Introducing SimpNet)
Fine-tunes a student LLM using teacher feedback for improved reasoning and answer quality. Implements GRPO with teacher-provided evaluations.