52 citations · 130 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
GraPhSyM: Graph Physical Synthesis Model
Ahmed Agiza, Rajarshi Roy, Teodor Dumitru Ene +3
In this work, we introduce GraPhSyM, a Graph Attention Network (GATv2) model for fast and accurate estimation of post-physical synthesis circuit delay and area metrics from pre-phy…
cs.LG2023★ 40 cited
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan M. Swope, Alex Gu +6
Large language models (LLMs) have shown promise in proving formal theorems using proof assistants such as Lean. However, existing methods are difficult to reproduce or build on, du…