TaeYoung Kim (@mekty2012)
github

mekty2012

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top 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

CS423_Group4

This repository is sourceforge for group project in CS423, probprog in KAIST.
Clojure
1
star
10

kotlinECC

Elliptic Curve test
Kotlin
1
star
11

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
12

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