Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas. - Arash Ardakani; Minwoo Kang; Kevin He; Vighnesh M. Iyer; Suhong Moon; John Wawrzynek (DAC, 2024)

DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits. - Arash Ardakani; Minwoo Kang; Kevin He; Qijing Huang 001; Vighnesh M. Iyer; Suhong Moon; John Wawrzynek (ASP-DAC, 2025)