Barton Rhodes's repositories
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Awesome-GFlowNets
A curated list of resources about generative flow networks (GFlowNets).
awesome-neural-geometry
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
color-color
Website to generate color palettes in Okhsl and HSLuv color spaces
corenet
CoreNet: A library for training deep neural networks
dao-contracts
CosmWasm smart contracts for InterChain DAOs.
Graph-Mamba
Graph-Mamba: Towards Long-Range Graph Sequence Modelling with Selective State Spaces
neural-k-forms
Simplicial Representation Learning with Neural k-Forms
outlines-mlx
A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
ProspectsForInconsistencyDetection
Scripts and data supporting "Prospects for inconsistency detection using large language models and sheaves"
RecordedTalks
a place to keep info about Women in Logic https://www.womeninlogic.org/
RxInfer.jl
Julia package for automated Bayesian inference on a factor graph with reactive message passing
WhisperKit
Swift native speech recognition on-device for iOS and macOS applications.
yet-another-applied-llm-benchmark
A benchmark to evaluate language models on questions I've previously asked them to solve.