Saad Godil

According to our database1, Saad Godil authored at least 10 papers between 2019 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

GraPhSyM: Graph Physical Synthesis Model.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2021
Guiding Global Placement With Reinforcement Learning.
CoRR, 2021

Deep Stalling using a Coverage Driven Genetic Algorithm Framework.
Proceedings of the 39th IEEE VLSI Test Symposium, 2021

Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
Accelerating Chip Design With Machine Learning.
IEEE Micro, 2020

Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019
Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning.
CoRR, 2019

CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019


  Loading...