C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Saad Godil
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 13
Top Topics
Vlsi Implementation
Reinforcement Learning
Sat Solving
Theorem Proving
Top Venues
CoRR
ICCAD
NeurIPS
VLSI-SoC
</>
Publications
</>
Ahmed Agiza
,
Rajarshi Roy
,
Teodor-Dumitru Ene
,
Saad Godil
,
Sherief Reda
,
Bryan Catanzaro
GraPhSyM: Graph Physical Synthesis Model.
CoRR
(2023)
Kaiyu Yang
,
Aidan M. Swope
,
Alex Gu
,
Rahul Chalamala
,
Peiyang Song
,
Shixing Yu
,
Saad Godil
,
Ryan J. Prenger
,
Animashree Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
NeurIPS
(2023)
Ahmed Agiza
,
Rajarshi Roy
,
Teodor-Dumitru Ene
,
Saad Godil
,
Sherief Reda
,
Bryan Catanzaro
GraPhSyM: Graph Physical Synthesis Model.
ICCAD
(2023)
Kaiyu Yang
,
Aidan M. Swope
,
Alex Gu
,
Rahul Chalamala
,
Peiyang Song
,
Shixing Yu
,
Saad Godil
,
Ryan Prenger
,
Anima Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
CoRR
(2023)
Rajarshi Roy
,
Jonathan Raiman
,
Neel Kant
,
Ilyas Elkin
,
Robert Kirby
,
Michael Y. Siu
,
Stuart F. Oberman
,
Saad Godil
,
Bryan Catanzaro
PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning.
CoRR
(2022)
Robert Kirby
,
Kolby Nottingham
,
Rajarshi Roy
,
Saad Godil
,
Bryan Catanzaro
Guiding Global Placement With Reinforcement Learning.
CoRR
(2021)
Haoxing Ren
,
Saad Godil
,
Brucek Khailany
,
Robert Kirby
,
Haiguang Liao
,
Siddhartha Nath
,
Jonathan Raiman
,
Rajarshi Roy
Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper.
ICCAD
(2021)
Siddhanth Dhodhi
,
Debarshi Chatterjee
,
Eric Hill
,
Saad Godil
Deep Stalling using a Coverage Driven Genetic Algorithm Framework.
VTS
(2021)
Rajarshi Roy
,
Jonathan Raiman
,
Neel Kant
,
Ilyas Elkin
,
Robert Kirby
,
Michael Y. Siu
,
Stuart F. Oberman
,
Saad Godil
,
Bryan Catanzaro
PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning.
DAC
(2021)
Vitaly Kurin
,
Saad Godil
,
Shimon Whiteson
,
Bryan Catanzaro
Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?
NeurIPS
(2020)
Brucek Khailany
,
Haoxing Ren
,
Steve Dai
,
Saad Godil
,
Ben Keller
,
Robert Kirby
,
Alicia Klinefelter
,
Rangharajan Venkatesan
,
Yanqing Zhang
,
Bryan Catanzaro
,
William J. Dally
Accelerating Chip Design With Machine Learning.
IEEE Micro
40 (6) (2020)
Robert Kirby
,
Saad Godil
,
Rajarshi Roy
,
Bryan Catanzaro
CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks.
VLSI-SoC
(2019)
Vitaly Kurin
,
Saad Godil
,
Shimon Whiteson
,
Bryan Catanzaro
Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning.
CoRR
(2019)