In this work, we introduce GraPhSyM, a Graph Attention Network (GATv2) m...
Large language models (LLMs) have shown promise in proving formal theore...
In this work, we present a reinforcement learning (RL) based approach to...
Recent advances in GPU accelerated global and detail placement have redu...
We present GQSAT, a branching heuristic in a Boolean SAT solver trained ...