| Leandojo: Theorem proving with retrieval-augmented language models K Yang, A Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, RJ Prenger, ... Advances in Neural Information Processing Systems 36, 21573-21612, 2023 | 441 | 2023 |
| CongestionNet: Routing congestion prediction using deep graph neural networks R Kirby, S Godil, R Roy, B Catanzaro 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration …, 2019 | 113 | 2019 |
| Accelerating chip design with machine learning B Khailany Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD, 33-33, 2020 | 100 | 2020 |
| PrefixRL: Optimization of parallel prefix circuits using deep reinforcement learning R Roy, J Raiman, N Kant, I Elkin, R Kirby, M Siu, S Oberman, S Godil, ... 2021 58th ACM/IEEE Design Automation Conference (DAC), 853-858, 2021 | 87 | 2021 |
| Can q-learning with graph networks learn a generalizable branching heuristic for a sat solver? V Kurin, S Godil, S Whiteson, B Catanzaro Advances in Neural Information Processing Systems 33, 9608-9621, 2020 | 77 | 2020 |
| Polaris: A safety-focused llm constellation architecture for healthcare S Mukherjee, P Gamble, MS Ausin, N Kant, K Aggarwal, N Manjunath, ... arXiv preprint arXiv:2403.13313, 2024 | 59 | 2024 |
| Improving SAT solver heuristics with graph networks and reinforcement learning V Kurin, S Godil, S Whiteson, B Catanzaro | 37 | 2019 |
| Leandojo: Theorem proving with retrieval-augmented language models, 2023 K Yang, AM Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, ... URL https://arxiv. org/abs/2306.15626, 0 | 26 | |
| Optimizing vlsi implementation with reinforcement learning-iccad special session paper H Ren, S Godil, B Khailany, R Kirby, H Liao, S Nath, J Raiman, R Roy 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-6, 2021 | 19 | 2021 |
| Deep predictive coverage collection R Roy, C Duvedi, S Godil, M Williams Proceedings of the design and verification conference and exhibition US (DVCon), 2018 | 16 | 2018 |
| Real-world evaluation of large language models in healthcare (RWE-LLM): a new realm of AI safety & validation M Bhimani, A Miller, JD Agnew, MS Ausin, M Raglow-Defranco, H Mangat, ... medRxiv, 2025.03. 17.25324157, 2025 | 10 | 2025 |
| CircuitVAE: Efficient and scalable latent circuit optimization J Song, A Swope, R Kirby, R Roy, S Godil, J Raiman, B Catanzaro Proceedings of the 61st ACM/IEEE Design Automation Conference, 1-6, 2024 | 10 | 2024 |
| Dynamically optimized test generation using machine learning R Roy, M Benipal, S Godil Proceedings of the Design and Verification Conference and Exhibition United …, 2021 | 9 | 2021 |
| Graphsym: Graph physical synthesis model A Agiza, R Roy, TD Ene, S Godil, S Reda, B Catanzaro 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023 | 6 | 2023 |
| Deep stalling using a coverage driven genetic algorithm framework S Dhodhi, D Chatterjee, E Hill, S Godil 2021 IEEE 39th VLSI Test Symposium (VTS), 1-4, 2021 | 6 | 2021 |
| Using a multilingual AI care agent to reduce disparities in colorectal cancer screening: higher FIT test adoption among Spanish-speaking patients M Bhimani, RH Baker, MS Ausin, G Meixiong, R Lasko, ... medRxiv, 2024.12. 16.24318586, 2024 | 5 | 2024 |
| Multi-objective reinforcement learning with adaptive pareto reset for prefix adder design J Song, R Roy, J Raiman, R Kirby, N Kant, S Godil, B Catanzaro Workshop on ML for Systems at NeurIPS, 2022 | 4 | 2022 |
| Guiding global placement with reinforcement learning R Kirby, K Nottingham, R Roy, S Godil, B Catanzaro arXiv preprint arXiv:2109.02631, 2021 | 4 | 2021 |
| Utilizing Assertion Synthesis to Achieve an Automated Assertion-Based Verification Methodology for Complex Graphics Chip Designs P Chatterjee, S Godil, P Nelson, Y Lu The 47th Design Automation Conference, User Track, June 2010, 2010 | 3 | 2010 |
| Using a Multilingual AI Care Agent to Reduce Disparities in Colorectal Cancer Screening for Higher Fecal Immunochemical Test Adoption Among Spanish-Speaking Patients … M Bhimani, RH Baker, MS Ausin, G Meixiong, R Lasko, ... Journal of Medical Internet Research 27, e71211, 2025 | 2 | 2025 |
Rajarshi RoySr. Research Scientist, NVIDIAVerified email at nvidia.com
