CV

Studies

Name	Description
Sentiment analysis of online responses in the performing arts with large language models	Published, First author. Github link
LBC: Language-Based-Classifier for Out-Of-Variable Generalization	WIP, second author. Github link
Towards Efficient Formal Verification of Spiking Neural Network	WIP, first author. Github link
(Draft) Accelerating Formal Verification of Spiking Neural Network Using Spike Timing-dependent Plasticity	WIP.

Seminar presentation (Artificial Intelligence)

Name	Description
Adversarial robustness of STDP-trained spiking neural networks	Formal verification, Spiking neural network, Reinforcement learning
Auto-Encoding Variational Bayes	Machine learning
Deep Unsupervised Learning using Nonequilibrium Thermodynamics	Machine learning
Evaluating Robustness of Neural Networks with Mixed Integer Programming	Formal verification
Formal Validation of Neural Networks as Timed Automata	Formal verification
Sequence Approximation Using FeedForward Spiking Neural Network For Spatiotemporal Learning	Spiking neural network
SMT-Based Modeling and Verification of Spiking Neural Networks	Spiking neural network, Formal verification
Neural Ordinary Differential Equations	Machine learning

Seminar presentation (Reinforcement Learning)

Name	Description
Introduction to Reinforcement Learning	Preliminary of reinforcement learning (probability theory)
Introduction to Reinforcement Learning	Value function and expected return
Advantage Actor-Critic	A2C and neural actor-critic. (Reward prediction error hypothesis of dopamine neuron activity.)

Projects

Name	Description
UOS AI20041 RL Assignments	Wrote weekly quiz questions as TA.
UOS AI20041 RL term project	Made tutorial and participated in implementing evaluation codes as TA.
Autocomplete LM	2023 fall semester natural language processing
Autonomous driving: Image segmentation	2023 summer vacation Univ. of Seoul AI department competition

Questions

Stores questions appeared while studying.

Interested papers

Stores interesting papers.