Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Yu Feng

Assistant Professor

University of California

United States

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in United States Professors in Artificial Intelligence Artificial Intelligence professors in United States

About

Yu Feng is an Assistant Professor at the University of California, USA. His research interests focus on program synthesis, zero-knowledge proofs, and smart contract optimization. Recent publications include works on automated detection in zero-knowledge proofs and synthesis-powered optimization of smart contracts. He also explores neural-guided program synthesis and refinement types for arithmetic overflow in Solidity.

Articles (7)

Year:

2025

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Collaborators (1)

Işıl Dillig

University of Texas at Austin

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Yu Feng

Research Interests

Make your next move.

Explore related searches

About

Articles (7)

Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

Conflict-Driven Synthesis for Layout Engines

Learning Contract Invariants Using Reinforcement Learning

Synthesis-powered optimization of smart contracts via data type refactoring

Automated transpilation of imperative to functional code using neural-guided program synthesis

SolType: refinement types for arithmetic overflow in solidity

Collaborators (1)

Işıl Dillig

Make your next move.