Discover @yangky11 Open Source projects

Kaiyu Yang (@yangky11)

yangky11

Stars
64
Global Rank 286,771 (Top 10 %)
Followers 204
Following 51
Registered about 11 years ago
Most used languages

Lean 44.4 %

Jupyter Notebook
11.1 %

Coq 11.1 %

Python
11.1 %

Lua
11.1 %

HTML
11.1 %
Location 🇺🇸 United States
Country Total Rank 85,444
Country Ranking

Lean 16

Coq 148

Lua
1,396

miniF2F-lean4

CNN-Color2Gray

An implementation of Color2Gray with convolutional neural networks

lean4-example

smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel

machine-learning-for-theorem-proving

LeanNDArrays

ml4tp-tutorial

NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

Jupyter Notebook

system-e

yangky11.github.io

https://yangky11.github.io/

lean-example