Deyuan He

Identifiers

• name variant Deyuan He 0.60 · backfill

Papers (1)

1. AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms cs.SE · 2026 · author #4

Mentions

• 2602.09464 #4 · arxiv_oai · confidence 0.70 Deyuan He

Frequent Coauthors

• Aarti Gupta 1 shared papers
• Chi Jin 1 shared papers
• Haoyu Zhao 1 shared papers
• Jiawei Li 1 shared papers
• Sanjeev Arora 1 shared papers
• Venugopal V. Veeravalli 1 shared papers
• Zenan Li 1 shared papers
• Ziran Yang 1 shared papers