Sang-Ki Ko's repositories
Algorithms
lecture notes for the algorithms class together with most of the programs
concepts-of-programming-languages
Master Course: Concepts of Programming Languages - University of Applied Sciences Rosenheim
dnnv
A Framework for Deep Neural Network Verification
external-knowledge-codegen
Code and data for ACL20 paper "Incorporating External Knowledge through Pre-training for Natural Language to Code Generation"
leaguescheduler
Generate optimal schedules for your time-relaxed double round-robin (2RR) sports leagues
minimal-marl
Minimal implementation of multi-agent reinforcement learning algorithms
MSR2021-ProgramRepair
Code of our paper Applying CodeBERT for Automated Program Repair of Java Simple Bugs which is accepted to MSR 2021.
narya
The Narya API allows you track soccer player from camera inputs, and evaluate them with an Expected Discounted Goal (EDG) Agent. This repository contains the implementation of the flowing paper https://arxiv.org/abs/2101.05388. We also make available all of our pretrained agents, and the datasets we used as well.
off-policy
PyTorch implementations of popular off-policy multi-agent reinforcement learning algorithms, including QMix, VDN, MADDPG, and MATD3.
on-policy
This is the official implementation of Multi-Agent PPO (MAPPO).
open-data
Free football data from StatsBomb
reinforcement_learning_course_materials
Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University
set-transformer
A neural network architecture for prediction on sets
SNN-Verification-Optimization
SNN Formal Verification Optimization
Theoretical-Algorithms-Implementation
CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional algorithm's covered in the University of Alberta theory Courses
UOS-AI20010-Algorithm-Analysis-2024-Spring
Algorithm Analysis, Spring 2024, University of Seoul
UOS-AI20014
UoS Database Systems
UOS-AI20041
2023-2, University of Seoul, Reinforcement Learning
whilelang
A small programming language created with Scala and ANTLR
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver