Zhaoyu Li

Identifiers

• name variant Zhaoyu Li 0.60 · backfill

Papers (3)

1. DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent cs.AI · 2026 · author #6
2. Parallelizing Probabilistic Inference: Some Early Explorations cs.AI · 2013 · author #3
3. An efficient approach for finding the MPE in belief networks cs.AI · 2013 · author #1

Mentions

• 1303.5399 #3 · backfill · confidence 0.70 Zhaoyu Li
• 1303.1495 #1 · backfill · confidence 0.70 Zhaoyu Li

Frequent Coauthors

• Bruce D'Ambrosio 2 shared papers
• Chuqin Geng 1 shared papers
• Hangrui Bi 1 shared papers
• Jialiang Sun 1 shared papers
• Tony Fountain 1 shared papers
• Wenjie Ma 1 shared papers
• Xujie Si 1 shared papers
• Youyuan Zhang 1 shared papers