Pinned Repositories
Automated-Theorem-Prover
This repository is practice implementation of various automated theorem prover, including SAT-solver.
Bayes_Adversarial
We study the effect of various BNNs on the adversarial loss.
Coq-Study
This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.
CS423_Group4
This repository is sourceforge for group project in CS423, probprog in KAIST.
CS470_SymbolicIntegration
CS520-Theory-of-programming-language
This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.
Deep-Learning-Theory
Repository for Deep Learning Theory papers
DeepLearning-StandAlone
Extending-Vader
KAIST 2021 Spring, CS372 Natural Language with Python Final project.
sumunyeon
Source Forge for KAIST mathematical problem solving club
mekty2012's Repositories
mekty2012/Deep-Learning-Theory
Repository for Deep Learning Theory papers
mekty2012/Automated-Theorem-Prover
This repository is practice implementation of various automated theorem prover, including SAT-solver.
mekty2012/Bayes_Adversarial
We study the effect of various BNNs on the adversarial loss.
mekty2012/CS470_SymbolicIntegration
mekty2012/Coq-Study
This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.
mekty2012/CS423_Group4
This repository is sourceforge for group project in CS423, probprog in KAIST.
mekty2012/CS520-Theory-of-programming-language
This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.
mekty2012/DeepLearning-StandAlone
mekty2012/DeepLearning-Study
This repository is source forge for deep learning study held in KAIST, Mathematical Problem Solving Club in 2019 winter semester.
mekty2012/Extending-Vader
KAIST 2021 Spring, CS372 Natural Language with Python Final project.
mekty2012/sumunyeon
Source Forge for KAIST mathematical problem solving club
mekty2012/Advanced-Deep-Learning-with-Keras
Advanced Deep Learning with Keras, published by Packt
mekty2012/AutomataTheory
mekty2012/gap-coreference
GAP is a gender-balanced dataset containing 8,908 coreference-labeled pairs of (ambiguous pronoun, antecedent name), sampled from Wikipedia for the evaluation of coreference resolution in practical applications.
mekty2012/InstagramCrawler
Given account name, read all image files in articles, download in folder.
mekty2012/kotlinECC
Elliptic Curve test
mekty2012/MAS480-Mathematical-foundation-for-Artificial-Intelligence
mekty2012/mekty2012.github.io
mekty2012/PaperSummaries
This repository is personal repository for storing paper summaries.
mekty2012/PresburgerArithmetic
This is a project repository for CS579 Computational Linguistics.
mekty2012/SymbolicMathematics
Deep Learning for Symbolic Mathematics
mekty2012/Theories-of-Programming-Languages-Implementation
Implementation of various languages in book Theories of Programming Languages by John C. Reynolds