Discover @zhangir-azerbayev Open Source projects

Zhangir Azerbayev (@zhangir-azerbayev)

zhangir-azerbayev

Stars
248
Global Rank 103,956 (Top 4 %)
Followers 56
Following 17
Registered almost 5 years ago
Most used languages

Jupyter Notebook
33.3 %

Python
26.7 %

Lean 20.0 %

TypeScript
6.7 %

Julia
6.7 %

Rust
6.7 %

ProofNet

Benchmark for undergraduate-level formal mathematics

lean-chat

lean-chat-vscode

proof-pile

Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.

Jupyter Notebook

mathlib-semantic-search

pySagredo

LM based automatic theorem prover that can write code, respond to error messages, and look up docs.

mm-extract

Extracting human readable pre-training data from set.mm

nn-generalization

Neural Network Generalization Reading List

ETK

Code for "Explicit Knowledge Transfer for Weakly Supervised Code Generation"

Jupyter Notebook

CL4Code

Curriculum learning for code generation.

Jupyter Notebook

math242-spring22-yale

MATH242 Theory of Statistics taught by Prof. Zhou Fan in spring 2022.

Jupyter Notebook

lean-challenges

A crowdsourced repository of undergraduate math exercises solved in the Lean theorem prover.

MetaGen

formal_nmt

Unsupervised NL <-> formal (just for theorem statements) in Lean

rl

Reinforcement learning reading course, Yale Spring 23

Jupyter Notebook

learning-cs

Learning computer science, properly. High-level overview of computer architecture; data structures and algorithms in Rust.