yangky11/CNN-Color2Gray yangky11/CNN-Color2Gray

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Lua
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yangky11/CNN-Color2Gray
github

yangky11

Reviews

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

Repository Details

An implementation of Color2Gray with convolutional neural networks

More Repositories

1

miniF2F-lean4

Lean
17
star
2

lean4-example

Lean
10
star
3

smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel
Python
3
star
4

machine-learning-for-theorem-proving

3
star
5

LeanNDArrays

Lean
3
star
6

ml4tp-tutorial

NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving
Jupyter Notebook
3
star
7

system-e

Coq
2
star
8

yangky11.github.io

https://yangky11.github.io/
HTML
1
star
9

lean-example

Lean
1
star