Picture for Saad Godil

Saad Godil

CircuitVAE: Efficient and Scalable Latent Circuit Optimization

Add code
Jun 13, 2024
Viaarxiv icon

Polaris: A Safety-focused LLM Constellation Architecture for Healthcare

Add code
Mar 20, 2024
Viaarxiv icon

GraPhSyM: Graph Physical Synthesis Model

Add code
Aug 07, 2023
Viaarxiv icon

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Add code
Jun 27, 2023
Figure 1 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 2 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 3 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 4 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Viaarxiv icon

PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning

Add code
May 14, 2022
Figure 1 for PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
Figure 2 for PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
Figure 3 for PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
Figure 4 for PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
Viaarxiv icon

Guiding Global Placement With Reinforcement Learning

Add code
Sep 06, 2021
Figure 1 for Guiding Global Placement With Reinforcement Learning
Figure 2 for Guiding Global Placement With Reinforcement Learning
Figure 3 for Guiding Global Placement With Reinforcement Learning
Figure 4 for Guiding Global Placement With Reinforcement Learning
Viaarxiv icon

Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning

Add code
Sep 26, 2019
Figure 1 for Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning
Figure 2 for Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning
Figure 3 for Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning
Figure 4 for Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning
Viaarxiv icon