Albert Jiang's repositories
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
mesh-transformer-jax
Model parallel transformers in JAX and Haiku
EasyLM
Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Flax.
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
llama_on_mps
Inference code for LLaMA models
lm-evaluation-harness
A framework for few-shot evaluation of autoregressive language models.
math_cc_net
Tools to download and cleanup Common Crawl data
mathematics_dataset
This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
miniF2F_old
Formal to Formal Mathematics Benchmark
ReProver
Retrieval-Augmented Theorem Provers for Lean
scala-isabelle
A Scala library for controlling/interacting with Isabelle