2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AR2025★ 2 cited
DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits
Arash Ardakani, Minwoo Kang, Kevin He +4
Efficient sampling of satisfying formulas for circuit satisfiability (CircuitSAT), a well-known NP-complete problem, is essential in modern front-end applications for thorough test…
cs.CL2024
Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors
Joseph Suh, Suhong Moon, Minwoo Kang +1
Assessing personality traits using large language models (LLMs) has emerged as an interesting and challenging area of research. While previous methods employ explicit questionnaire…