Search Results for author: Oded Padon

Found 4 papers, 3 papers with code

A Multi-Level Superoptimizer for Tensor Programs

1 code implementation9 May 2024 Mengdi Wu, Xinhao Cheng, Oded Padon, Zhihao Jia

We introduce Mirage, the first multi-level superoptimizer for tensor programs.


Clover: Closed-Loop Verifiable Code Generation

1 code implementation26 Oct 2023 Chuyue Sun, Ying Sheng, Oded Padon, Clark Barrett

The use of large language models for code generation is a rapidly growing trend in software development.

Code Generation

Quarl: A Learning-Based Quantum Circuit Optimizer

no code implementations17 Jul 2023 Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia

Applying reinforcement learning (RL) to quantum circuit optimization raises two main challenges: the large and varying action space and the non-uniform state representation.

Reinforcement Learning (RL)

SPoC: Search-based Pseudocode to Code

1 code implementation NeurIPS 2019 Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang

Given test cases as a mechanism to validate programs, we search over the space of possible translations of the pseudocode to find a program that passes the validation.

Program Synthesis Translation

Cannot find the paper you are looking for? You can Submit a new open access paper.