( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

, , , , , , , , и . 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.

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 vitro. Uni Potsdam, (2009)

Saad Naguib Ibrahim Saad

Shery Mosad Halim Boktor Saad

 

Другие публикации лиц с тем же именем

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models., , , , , , , , и . CoRR, (2023)CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks., , , и . VLSI-SoC, стр. 217-222. IEEE, (2019)Deep Stalling using a Coverage Driven Genetic Algorithm Framework., , , и . VTS, стр. 1-4. IEEE, (2021)GraPhSyM: Graph Physical Synthesis Model., , , , , и . ICCAD, стр. 1-9. IEEE, (2023)Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning., , , и . CoRR, (2019)PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning., , , , , , , , и . CoRR, (2022)Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper., , , , , , , и . ICCAD, стр. 1-6. IEEE, (2021)Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?, , , и . NeurIPS, (2020)Guiding Global Placement With Reinforcement Learning., , , , и . CoRR, (2021)Accelerating Chip Design With Machine Learning., , , , , , , , , и 1 other автор(ы). IEEE Micro, 40 (6): 23-32 (2020)