mekty2012/CS423_Group4 mekty2012/CS423_Group4

  • This repository has been archived on 25/Jun/2020
  • Stars
    star
    1
  • Language
    Clojure
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mekty2012/CS423_Group4
github

mekty2012

Reviews

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

Repository Details

This repository is sourceforge for group project in CS423, probprog in KAIST.

More Repositories

1

Deep-Learning-Theory

Repository for Deep Learning Theory papers
16
star
2

Automated-Theorem-Prover

This repository is practice implementation of various automated theorem prover, including SAT-solver.
Kotlin
2
star
3

CS470_SymbolicIntegration

Jupyter Notebook
2
star
4

Bayes_Adversarial

We study the effect of various BNNs on the adversarial loss.
Jupyter Notebook
2
star
5

sumunyeon

Source Forge for KAIST mathematical problem solving club
Coq
1
star
6

DeepLearning-StandAlone

Jupyter Notebook
1
star
7

Extending-Vader

KAIST 2021 Spring, CS372 Natural Language with Python Final project.
Python
1
star
8

Coq-Study

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.
Coq
1
star
9

kotlinECC

Elliptic Curve test
Kotlin
1
star
10

CS520-Theory-of-programming-language

This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.
TeX
1
star
11

DeepLearning-Study

This repository is source forge for deep learning study held in KAIST, Mathematical Problem Solving Club in 2019 winter semester.
Jupyter Notebook
1
star