2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2025
High-Throughput SAT Sampling
Arash Ardakani, Minwoo Kang, Kevin He +2
In this work, we present a novel technique for GPU-accelerated Boolean satisfiability (SAT) sampling. Unlike conventional sampling algorithms that directly operate on conjunctive n…
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…