Yuan Feng

4 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 IJCAI ×1 NeurIPS ×1 POPL ×1

Frequent coauthors

Afrad Basheer

×2

Christopher Ferrie

×2

Sanjiang Li

×2

Bonan Su

×1

Mingsheng Ying

×1

Li Zhou

×1

Hakop Pashayan

×1

Chang Liu

×1

Xiwei Wu

×1

Qinxiang Cao

×1

Junchi Yan

×1

Papers

An Expressive Assertion Language for Quantum Programs
POPL 2026 ·
Bonan Su
, Yuan Feng,
Mingsheng Ying
,
Li Zhou
On the Trainability and Classical Simulability of Learning Matrix Product States Variationally
AAAI 2025 ·
Afrad Basheer
, Yuan Feng,
Christopher Ferrie
,
Sanjiang Li
,
Hakop Pashayan
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows
IJCAI 2024 ·
Afrad Basheer
, Yuan Feng,
Christopher Ferrie
,
Sanjiang Li
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
NeurIPS 2024 ·
Chang Liu
,
Xiwei Wu
, Yuan Feng,
Qinxiang Cao
,
Junchi Yan