1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Jacqueline L. Mitchell, Brian Hyeongseok Kim, Chenyu Zhou +1
Large language models (LLMs) are increasingly used for program verification, and yet little is known about \emph{how} they reason about program semantics during this process. In th…
cs.LG2024
FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks
Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
We propose a method for formally certifying and quantifying individual fairness of deep neural networks (DNN). Individual fairness guarantees that any two individuals who are ident…