Brian Hyeongseok Kim - ICFP/SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

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

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile