Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

K. Yang, A. Swope, A. Gu, R. Chalamala, P. Song, S. Yu, S. Godil, R. Prenger, and A. Anandkumar. CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Saad Mohamed Saad

Saad Ahmed Saad Ahmed Saad Shalaby

Mohamed Abdel Meged Marawan Saadany

Protective effect of dietary antioxidants and plant extracts on acute inflammation and hepatotoxicity in vitroM. Saadany. Uni Potsdam, (2009)

Saad Naguib Ibrahim Saad

Ramadan Saad

Other publications of authors with the same name

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.K. Yang, A. Swope, A. Gu, R. Chalamala, P. Song, S. Yu, S. Godil, R. Prenger, and A. Anandkumar. CoRR, (2023)CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks.R. Kirby, S. Godil, R. Roy, and B. Catanzaro. VLSI-SoC, page 217-222. IEEE, (2019)Deep Stalling using a Coverage Driven Genetic Algorithm Framework.S. Dhodhi, D. Chatterjee, E. Hill, and S. Godil. VTS, page 1-4. IEEE, (2021)GraPhSyM: Graph Physical Synthesis Model.A. Agiza, R. Roy, T. Ene, S. Godil, S. Reda, and B. Catanzaro. ICCAD, page 1-9. IEEE, (2023)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, and B. Catanzaro. CoRR, (2022)Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning.V. Kurin, S. Godil, S. Whiteson, and B. Catanzaro. CoRR, (2019)Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper.H. Ren, S. Godil, B. Khailany, R. Kirby, H. Liao, S. Nath, J. Raiman, and R. Roy. ICCAD, page 1-6. IEEE, (2021)Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?V. Kurin, S. Godil, S. Whiteson, and B. Catanzaro. NeurIPS, (2020)Guiding Global Placement With Reinforcement Learning.R. Kirby, K. Nottingham, R. Roy, S. Godil, and B. Catanzaro. CoRR, (2021)Accelerating Chip Design With Machine Learning.B. Khailany, H. Ren, S. Dai, S. Godil, B. Keller, R. Kirby, A. Klinefelter, R. Venkatesan, Y. Zhang, B. Catanzaro and 1 other author(s). IEEE Micro, 40 (6): 23-32 (2020)

BibSonomy

Disambiguation of "Godil, Saad"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Please choose a person to relate this publication to

Saad Mohamed Saad

Saad Ahmed Saad Ahmed Saad Shalaby

Mohamed Abdel Meged Marawan Saadany

Saad Naguib Ibrahim Saad

Ramadan Saad

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Godil, Saad"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Please choose a person to relate this publication to

Saad Mohamed Saad

Saad Ahmed Saad Ahmed Saad Shalaby

Mohamed Abdel Meged Marawan Saadany

Saad Naguib Ibrahim Saad

Ramadan Saad

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.