Saad Godil

CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks

Robert M. Kirby, Saad Godil, Rajarshi Roy et al. · 2019 · 77 citations

Engineering, Machine Learning, Advanced Computing +21

PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning

Rajarshi Roy, Jonathan Raiman, Neel Kant et al. · 2021 · 47 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +18

Accelerating Chip Design With Machine Learning

Brucek Khailany, Haoxing Ren, Steve Dai et al. · IEEE Micro · 2020 · 46 citations

Artificial Intelligence, Engineering, Machine Learning +16

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Kaiyu Yang, Aidan Swope, Alex Gu et al. · arXiv (Cornell University) · 2023 · 38 citations · Full text

Engineering, Verification, Query Model +20

Polaris: A Safety-focused LLM Constellation Architecture for Healthcare

Subhabrata Mukherjee, Paul Gamble, Markel Sanz Ausin et al. · arXiv (Cornell University) · 2024 · 18 citations · Full text

Artificial Intelligence, Engineering, Remote Patient Monitoring +17