zhangir-azerbayev/lean-chat-vscode zhangir-azerbayev/lean-chat-vscode

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    TypeScript
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zhangir-azerbayev/lean-chat-vscode
github

zhangir-azerbayev

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

ProofNet

Benchmark for undergraduate-level formal mathematics
Lean
92
star
2

lean-chat

Lean
49
star
3

proof-pile

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

mathlib-semantic-search

Python
14
star
5

pySagredo

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

mm-extract

Extracting human readable pre-training data from set.mm
Python
5
star
7

nn-generalization

Neural Network Generalization Reading List
3
star
8

ETK

Code for "Explicit Knowledge Transfer for Weakly Supervised Code Generation"
Jupyter Notebook
2
star
9

CL4Code

Curriculum learning for code generation.
Jupyter Notebook
2
star
10

math242-spring22-yale

MATH242 Theory of Statistics taught by Prof. Zhou Fan in spring 2022.
Jupyter Notebook
1
star
11

lean-challenges

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

MetaGen

Julia
1
star
13

formal_nmt

Unsupervised NL <-> formal (just for theorem statements) in Lean
Python
1
star
14

rl

Reinforcement learning reading course, Yale Spring 23
Jupyter Notebook
1
star
15

learning-cs

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