albertqjiang

Alchemist | Trying to be a chemist

University of Cambridge

Pinned Repositories

alphagozero-othello
Play the game of Othello with methods used by AlphaGo Zero
Language:Jupyter Notebook2 2 00
deep-learning-notes
Notes of maths, concepts, and algorithms in deep learning(computer vision and reinforcement learning)
Language:HTML3 2 10
draft_sketch_prove
Language:Python57 4 38
IDP-M109
Language:C++1 2 00
INT
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Language:Jupyter Notebook36 5 135
MMA
The official repository for the paper Multilingual Mathematical Autoformalization
30 2 31
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:Python50 4 617
checkmate
Language:HTML42 5 16
lm-evaluation-harness
A framework for few-shot evaluation of language models.
Language:Python6.6k 37 1.1k1.7k
miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
Language:Objective-C++61 8 819

albertqjiang's Repositories

albertqjiang/draft_sketch_prove
Language:Python57 4 38
albertqjiang/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:Python50 4 617
albertqjiang/INT
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Language:Jupyter Notebook36 5 135
albertqjiang/MMA
The official repository for the paper Multilingual Mathematical Autoformalization
30 2 31
albertqjiang/Isa100days
Language:Isabelle0 2 00
albertqjiang/mesh-transformer-jax
Model parallel transformers in JAX and Haiku
Language:Python0 1 02
albertqjiang/miniF2F
An updated version of miniF2F with problems fixed
Language:Objective-C++0 3 40
albertqjiang/academic-site
Language:Jupyter Notebook2 0
albertqjiang/alphageometry
Language:Python0 0
albertqjiang/atml-poster
Language:TeX2 0
albertqjiang/EasyLM
Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Flax.
Language:Python0 0
albertqjiang/ec
Language:Slash1 0
albertqjiang/fine-tune-jax
2 0
albertqjiang/hf_seq2seq
Language:Python2 0
albertqjiang/interactive_isabelle
Language:Scala1 0
albertqjiang/JAXSeq
Train very large language models in Jax.
Language:Python1 0
albertqjiang/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python
albertqjiang/llama_on_mps
Inference code for LLaMA models
Language:Python0 0
albertqjiang/lm-evaluation-harness
A framework for few-shot evaluation of autoregressive language models.
Language:Python1 0
albertqjiang/math_cc_net
Tools to download and cleanup Common Crawl data
Language:Python1 0
albertqjiang/mathematics_dataset
This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
Language:Python0 0
albertqjiang/miniF2F-1
An updated version of miniF2F with lots of fixes and informal statements / solutions.
Language:Objective-C++1 0
albertqjiang/miniF2F_old
Formal to Formal Mathematics Benchmark
Language:Isabelle1 0
albertqjiang/proofpile_tf
Language:Python2 0
albertqjiang/ReProver
Retrieval-Augmented Theorem Provers for Lean
albertqjiang/scala-isabelle
A Scala library for controlling/interacting with Isabelle
Language:Scala1 0
albertqjiang/submitit
Python 3.6+ toolbox for submitting jobs to Slurm
Language:Python1 0
albertqjiang/t5x_lovelace
Language:Python2 0
albertqjiang/thor_paper_anon
Language:Python
albertqjiang/transformers
Language:Python2 0