CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks. - Robert Kirby 001; Saad Godil; Rajarshi Roy 003; Bryan Catanzaro (VLSI-SoC, 2019)

Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning. - Vitaly Kurin; Saad Godil; Shimon Whiteson; Bryan Catanzaro (CoRR, 2019)

Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? - Vitaly Kurin; Saad Godil; Shimon Whiteson; Bryan Catanzaro (NeurIPS, 2020)

Accelerating Chip Design With Machine Learning. - Brucek Khailany; Haoxing Ren; Steve Dai; Saad Godil; Ben Keller; Robert Kirby 001; Alicia Klinefelter; Rangharajan Venkatesan; Yanqing Zhang 002; Bryan Catanzaro; William J. Dally (IEEE Micro, 2020)

PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning. - Rajarshi Roy 003; Jonathan Raiman; Neel Kant; Ilyas Elkin; Robert Kirby 001; Michael Y. Siu; Stuart F. Oberman; Saad Godil; Bryan Catanzaro (DAC, 2021)

Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper. - Haoxing Ren; Saad Godil; Brucek Khailany; Robert Kirby 001; Haiguang Liao; Siddhartha Nath; Jonathan Raiman; Rajarshi Roy 003 (ICCAD, 2021)

Deep Stalling using a Coverage Driven Genetic Algorithm Framework. - Siddhanth Dhodhi; Debarshi Chatterjee; Eric Hill; Saad Godil (VTS, 2021)

Guiding Global Placement With Reinforcement Learning. - Robert Kirby 001; Kolby Nottingham; Rajarshi Roy 003; Saad Godil; Bryan Catanzaro (CoRR, 2021)

GraPhSyM: Graph Physical Synthesis Model. - Ahmed Agiza; Rajarshi Roy 003; Teodor-Dumitru Ene; Saad Godil; Sherief Reda; Bryan Catanzaro (ICCAD, 2023)

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. - Kaiyu Yang; Aidan M. Swope; Alex Gu; Rahul Chalamala; Peiyang Song 002; Shixing Yu; Saad Godil; Ryan J. Prenger; Animashree Anandkumar (NeurIPS, 2023)

CircuitVAE: Efficient and Scalable Latent Circuit Optimization. - Jialin Song; Aidan M. Swope; Robert Kirby 001; Rajarshi Roy 003; Saad Godil; Jonathan Raiman; Bryan Catanzaro (DAC, 2024)

Polaris: A Safety-focused LLM Constellation Architecture for Healthcare. - Subhabrata Mukherjee; Paul Gamble; Markel Sanz Ausin; Neel Kant; Kriti Aggarwal; Neha Manjunath; Debajyoti Datta; Zhengliang Liu; Jiayuan Ding; Sophia Busacca; Cezanne Bianco; Swapnil Sharma; et al. (CoRR, 2024)