mekty2012 Goto Github PK
Name: TaeYoung Kim
Type: User
Company: KAIST
Bio: PhD Student, Laboratory for Foundations of PL&ML, SoC KAIST.
Location: Daejeon
Name: TaeYoung Kim
Type: User
Company: KAIST
Bio: PhD Student, Laboratory for Foundations of PL&ML, SoC KAIST.
Location: Daejeon
Advanced Deep Learning with Keras, published by Packt
This repository is practice implementation of various automated theorem prover, including SAT-solver.
We study the effect of various BNNs on the adversarial loss.
This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.
This repository is sourceforge for group project in CS423, probprog in KAIST.
This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.
Repository for Deep Learning Theory papers
This repository is source forge for deep learning study held in KAIST, Mathematical Problem Solving Club in 2019 winter semester.
KAIST 2021 Spring, CS372 Natural Language with Python Final project.
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.
Given account name, read all image files in articles, download in folder.
Elliptic Curve test
This repository is personal repository for storing paper summaries.
This is a project repository for CS579 Computational Linguistics.
An exercise note for the book 'Stochastic Calculus: An Introduction with Applications'.
Source Forge for KAIST mathematical problem solving club
Deep Learning for Symbolic Mathematics
Implementation of various languages in book Theories of Programming Languages by John C. Reynolds
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.