Picture for Oded Padon

Oded Padon

A Multi-Level Superoptimizer for Tensor Programs

Add code
May 09, 2024
Figure 1 for A Multi-Level Superoptimizer for Tensor Programs
Figure 2 for A Multi-Level Superoptimizer for Tensor Programs
Figure 3 for A Multi-Level Superoptimizer for Tensor Programs
Figure 4 for A Multi-Level Superoptimizer for Tensor Programs
Viaarxiv icon

Clover: Closed-Loop Verifiable Code Generation

Add code
Oct 26, 2023
Figure 1 for Clover: Closed-Loop Verifiable Code Generation
Figure 2 for Clover: Closed-Loop Verifiable Code Generation
Figure 3 for Clover: Closed-Loop Verifiable Code Generation
Figure 4 for Clover: Closed-Loop Verifiable Code Generation
Viaarxiv icon

Quarl: A Learning-Based Quantum Circuit Optimizer

Add code
Jul 17, 2023
Figure 1 for Quarl: A Learning-Based Quantum Circuit Optimizer
Figure 2 for Quarl: A Learning-Based Quantum Circuit Optimizer
Figure 3 for Quarl: A Learning-Based Quantum Circuit Optimizer
Figure 4 for Quarl: A Learning-Based Quantum Circuit Optimizer
Viaarxiv icon

SPoC: Search-based Pseudocode to Code

Add code
Jun 12, 2019
Figure 1 for SPoC: Search-based Pseudocode to Code
Figure 2 for SPoC: Search-based Pseudocode to Code
Figure 3 for SPoC: Search-based Pseudocode to Code
Figure 4 for SPoC: Search-based Pseudocode to Code
Viaarxiv icon