PPaperPicks

Nan Duan

3 papers at tracked venues · 3 at CORE A* · active 20242024

Venues

Frequent coauthors

Papers

  1. Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency
  2. Machine-Created Universal Language for Cross-Lingual Transfer
  3. Selene: Pioneering Automated Proof in Software Verification