publications

Up-to-date list of publications can be found in my Google scholar. Asterisk (*) refers to co-lead authorship.

2026

  1. Role Playing is Not Language Modeling: User Simulation Should Use Pretrained, Base LLMs
    Minwoo Kang ,  Téa Wright ,  Seun Eisape ,  Ayush Raj ,  Suhong Moon , and 4 more authors
    arXiv preprint, 2026
  2. Quantifying the Utility of User Simulators for Building Collaborative LLM Assistants
    Joseph Suh ,  Ayush Raj ,  Minwoo Kang , and  Serina Chang
    arXiv preprint, 2026
    PDF
  3. Building Interactive Real-Time Agents with Asynchronous I/O and Speculative Tool Calling
    Coleman Hooper ,  Minwoo Kang ,  Suhong Moon ,  Nicholas Lee ,  Eric Wen , and 5 more authors
    arXiv preprint, 2026
  4. Identity, Cooperation and Framing Effects within Groups of Real and Simulated Humans
    Suhong Moon* ,  Minwoo Kang* ,  Joseph Suh ,  Mustafa Safdari , and  John Canny
    arXiv preprint, 2026
    PDF

2025

  1. Deep Binding of Language Model Virtual Personas: a Study on Approximating Political Partisan Misperceptions
    Minwoo Kang* ,  Suhong Moon* ,  Seung Hyeong Lee ,  Ayush Raj ,  Joseph Suh , and 1 more author
    In Second Conference on Language Modeling (COLM), 2025
    PDF Code
  2. Puzzled by Puzzles: When Vision-Language Models Can’t Take a Hint
    Heekyung Lee ,  Jiaxin Ge ,  Tsung-Han Wu ,  Minwoo Kang ,  Trevor Darrell , and 1 more author
    In 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2025
    PDF
  3. Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions
    Joseph Suh* ,  Erfan Jahanparast* ,  Suhong Moon* ,  Minwoo Kang* , and  Serina Chang
    In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, 2025
    PDF Code
  4. FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
    Minwoo Kang ,  Mingjie Liu ,  Ghaith Bany Hamad ,  Syed Suhaib , and  Haoxing Ren
    In 2025 Design, Automation & Test in Europe Conference & Exhibition (DATE) Focus Session, 2025
    PDF Code

2024

  1. Virtual Personas for Language Models via an Anthology of Backstories
    Suhong Moon* ,  Marwa Abdulhai* ,  Minwoo Kang* ,  Joseph Suh ,  Widyadewi Soedarmadji , and 3 more authors
    In 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
    PDF Code
  2. Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors
    Joseph Suh* ,  Suhong Moon* ,  Minwoo Kang* ,  David M Chan , and  John Canny
    In 2024 NeurIPS Workshop on Behavioral ML, 2024
    PDF
  3. Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification
    Mingjie Liu* ,  Minwoo Kang* ,  Ghaith Bany Hamad ,  Syed Suhaib , and  Haoxing Ren
    In 2024 IEEE 42nd VLSI Test Symposium (VTS), 2024
    PDF
  4. Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas
    Arash Ardakani* ,  Minwoo Kang* ,  Kevin He ,  Vighnesh Iyer ,  Suhong Moon , and 1 more author
    In Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC), 2024
    PDF

2023

  1. Full Stack Optimization of Transformer Inference: A Survey
    Sehoon Kim ,  Coleman Hooper ,  Thanakul Wattanawong ,  Minwoo Kang ,  Ruohan Yan , and 7 more authors
    In 2023 ISCA Workshop ASSYST, 2023
    PDF
  2. Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry
    Benjamin LC Barzen ,  Arya Reais-Parsi ,  Eddie Hung ,  Minwoo Kang ,  Alan Mishchenko , and 2 more authors
    In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023
    PDF
  3. LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification
    Minwoo Kang ,  Azade Nova ,  Eshan Singh ,  Geetheeka Sharron Bathini , and  Yuriy Viktorov
    In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023
    PDF

2021

  1. CoSA: Scheduling by Constrained Optimization for Spatial Accelerators
    Qijing Huang ,  Minwoo Kang ,  Grace Dinh ,  Thomas Norell ,  Aravind Kalaiah , and 3 more authors
    In 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA), 2021
    PDF