research
∙
08/07/2023
GraPhSyM: Graph Physical Synthesis Model
In this work, we introduce GraPhSyM, a Graph Attention Network (GATv2) m...
share
research
∙
06/27/2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Large language models (LLMs) have shown promise in proving formal theore...
research
∙
05/14/2022
PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
In this work, we present a reinforcement learning (RL) based approach to...
research
∙
09/06/2021
Guiding Global Placement With Reinforcement Learning
Recent advances in GPU accelerated global and detail placement have redu...
research
∙
09/26/2019
