Qinyi Sun

Undergrad student, EECS, Massachusetts Institute of Technology

Joined

January 2024

Names

Qinyi Sun (Preferred)

Emails

****@mit.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

EECS, Massachusetts Institute of Technology (mit.edu)

2022 – 2026

Advisors, Relations & Conflicts

Undergrad Advisor

2025 – Present

Expertise

No areas of expertise listed

Publications

Fractal Generative Models
Tianhong Li, Qinyi Sun, Lijie Fan, Kaiming He
- Accepted by TMLR
- Readers: Everyone
Focused Skill Discovery: Learning to Control Specific State Variables while Minimizing Side Effects
Jonathan Colaço Carr, Qinyi Sun, Cameron Allen
- RLC 2025
- Readers: Everyone
DafnyBench: A Benchmark for Formal Software Verification
Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
- Accepted by TMLR
- Readers: Everyone
DafnyBench: A Benchmark for Formal Software Verification
Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
- MATH-AI 24
- Readers: Everyone
Universal Neurons in GPT2 Language Models
Wes Gurnee, Theo Horsley, Zifan Carl Guo, Tara Rezaei Kheirkhah, Qinyi Sun, Will Hathaway, Neel Nanda, Dimitris Bertsimas
- Accepted by TMLR
- Readers: Everyone

Co-Authors