Minwoo Kang

According to our database, Minwoo Kang authored at least 12 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.

Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren

CoRR, 2024

Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors.

Joseph Suh, Suhong Moon, Minwoo Kang, David M. Chan

CoRR, 2024

Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification.

Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren

Proceedings of the 42nd IEEE VLSI Test Symposium, 2024

Virtual Personas for Language Models via an Anthology of Backstories.

Suhong Moon, Marwa Abdulhai, Minwoo Kang, Joseph Suh, Widyadewi Soedarmadji, Eran Kohen Behar, David M. Chan

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas.

Arash Ardakani, Minwoo Kang, Kevin He, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Dataset Generation for Korean Urban Parks Analysis with Large Language Models.

Honggu Kim, Minwoo Kang, Hyeyoung Choi, Yun-Gyung Cheong

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2023

Full Stack Optimization of Transformer Inference: a Survey.

Sehoon Kim, Coleman Hooper, Thanakul Wattanawong, Minwoo Kang, Ruohan Yan, Hasan Genc, Grace Dinh, Qijing Huang, Kurt Keutzer, Michael W. Mahoney, Yakun Sophia Shao, Amir Gholami

CoRR, 2023

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.

Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry.

Benjamin Lukas Cajus Barzen, Arya Reais-Parsi, Eddie Hung, Minwoo Kang, Alan Mishchenko, Jonathan W. Greene, John Wawrzynek

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.

Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim

Proceedings of the IEEE Sensors Applications Symposium, 2022

2021

CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.

Qijing Huang, Aravind Kalaiah, Minwoo Kang, James Demmel, Grace Dinh, John Wawrzynek, Thomas Norell, Yakun Sophia Shao

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.

Aster Greenblatt, Oscar I. Hernandez, Robert A. Hearn, Yichao Hou, Hiro Ito, Minwoo Kang, Aaron Williams, Andrew Winslow

Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021