zhangir-azerbayev/CL4Code zhangir-azerbayev/CL4Code

  • Stars
    star
    2
  • Language
    Jupyter Notebook
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zhangir-azerbayev/CL4Code
github

zhangir-azerbayev

Reviews

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

Repository Details

Curriculum learning for code generation.

More Repositories

1

ProofNet

Benchmark for undergraduate-level formal mathematics
Lean
92
star
2

lean-chat

Lean
49
star
3

lean-chat-vscode

TypeScript
25
star
4

proof-pile

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

mathlib-semantic-search

Python
14
star
6

pySagredo

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

mm-extract

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

nn-generalization

Neural Network Generalization Reading List
3
star
9

ETK

Code for "Explicit Knowledge Transfer for Weakly Supervised 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