Brian Hyeongseok Kim -

Registered user since Sat 3 Aug 2024

Name:Brian Hyeongseok Kim

Affiliation:University of Southern California

Personal website: https://briankim113.github.io

Contributions

2025

LMPL

Author of Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters within the LMPL 2025-track

ICSE

Author of FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks within the Research Track-track