Minwoo Kang

1. Virtual Personas for Language Models via an Anthology of Backstories
   2024/07/09 by Suhong Moon, Moon, Suhong, Marwa Abdulhai +12 · 14 citations
   Computer Science · #Persona Design and Applications
2. CoSA: Scheduling by Constrained Optimization for Spatial Accelerators
   2021/05/05 by Qijing Huang, Minwoo Kang, Huang, Qijing +13 · 5 citations
   Computer Science · Engineering · #Advanced Neural Network Applications #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques
3. FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
   2024/10/15 by Minwoo Kang, Kang, Minwoo, Mingjie Liu +7 · 7 citations
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Model-Driven Software Engineering Techniques
4. High-Throughput SAT Sampling
   2025/02/12 by Arash Ardakani, Minwoo Kang, Ardakani, Arash +7 · 1 voice
   Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #cs.AI #cs.LG
5. Robostral Navigate
   2026/07/22 by Abhijeet Somani, Arjun Majumdar, Aditi Kabra +212
   #cs.RO #cs.AI