2 citations · 2 across the 5 of their papers we have counts for
5 papers
Speculative Interaction Agents: Building Real-Time Agents with Asynchronous I/O and Speculative Tool Calling
Coleman Hooper, Minwoo Kang, Suhong Moon +7
There is a growing demand for agentic AI technologies for a range of downstream applications like customer service and personal assistants. For applications where the agent needs t…
Recurrent CircuitSAT Sampling for Sequential Circuits
Arash Ardakani, Kevin He, John Wawrzynek
In this work, we introduce a novel GPU-accelerated circuit satisfiability (CircuitSAT) sampling technique for sequential circuits. This work is motivated by the requirement in cons…
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…
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…
Chip Placement with Diffusion Models
Vint Lee, Minh Nguyen, Leena Elzeiny +3
Macro placement is a vital step in digital circuit design that defines the physical location of large collections of components, known as macros, on a 2D chip. Because key performa…