albertqjiang Goto Github PK

isa100days

jaxseq

Train very large language models in Jax.

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.

machine-learning-coursera-exercises

mars_lander

Mars Lander Computing Project

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.

mesh-transformer-jax

Model parallel transformers in JAX and Haiku

minif2f

An updated version of miniF2F with problems fixed

minif2f-1

An updated version of miniF2F with lots of fixes and informal statements / solutions.

minif2f_old

Formal to Formal Mathematics Benchmark

mma

The official repository for the paper Multilingual Mathematical Autoformalization

mohasimulator

A simulator of Haas' responses to basically any text

pokemon

portal-to-isabelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

probe_1a_generalengineering

some framework for using reinforcement learning to train a probe to do things on another planet

proofpile_tf

pysc2

StarCraft II Learning Environment

reprover

Retrieval-Augmented Theorem Provers for Lean

scala-isabelle

A Scala library for controlling/interacting with Isabelle

show-me-the-code

Python 练习册，每天一个小程序

submitit

Python 3.6+ toolbox for submitting jobs to Slurm

t5x_lovelace

the-microrcheastra

transformers

treeminer

Algorithms for Mining Frequent Trees (in Tree Structured Datasets)

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)

video-streaming