100 citations · 198 across the 14 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
PerfReasoning: How Well Do LLMs Reason on Hardware Performance?
Dan Zhao, Karthikeyan Sankaralingam, Christos Kozyrakis +1
Performance modeling is central to hardware design and software optimization, yet constructing these models requires structured reasoning about computation, data reuse, storage, an…
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…