| 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 | 245 | 2023 |
| Accelerating chip design with machine learning B Khailany Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD, 33-33, 2020 | 83 | 2020 |
| 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 | 81 | 2019 |
| 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 | 63 | 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 | 60 | 2021 |
| Improving SAT solver heuristics with graph networks and reinforcement learning V Kurin, S Godil, S Whiteson, B Catanzaro | 34 | 2019 |
| 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 | 23 | 2024 |
| 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 | 14 | 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 | 13 | 2018 |
| Dynamically optimized test generation using machine learning R Roy, M Benipal, S Godil Proceedings of the Design and Verification Conference and Exhibition United …, 2021 | 7 | 2021 |
| LeanDojo: Theorem proving with retrieval-augmented language models. CoRR, abs/2306.15626, 2023. doi: 10.48550 K Yang, AM Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, ... arXiv preprint arXiv.2306.15626, 0 | 7 | |
| 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 |
| 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 | 3 | 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 | 3 | 2022 |
| Guiding global placement with reinforcement learning R Kirby, K Nottingham, R Roy, S Godil, B Catanzaro arXiv preprint arXiv:2109.02631, 2021 | 3 | 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 |
| 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 | 2 | 2023 |
| Low-latency conversational artificial intelligence (AI) architecture with a parallelized in-depth analysis feedback loop M Shah, V Parikh, M Bhimani, S Mukherjee, A Miller, S Godil, D Datta, ... US Patent 12,142,371, 2024 | 1 | 2024 |
| 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 | 1 | 2024 |
| Data path circuit design using reinforcement learning R Roy, S Godil, J Raiman, N Kant, I Elkin, MY Siu, R Kirby, S Oberman, ... US Patent App. 17/517,612, 2023 | 1 | 2023 |
Rajarshi RoySr. Research Scientist, NVIDIAPreverjeni e-poštni naslov na nvidia.com