Publications 📝

Chloe Loughridge^*, Qinyi Sun^*, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark. “DafnyBench: A Benchmark for Formal Software Verification”. Preprint on arXiv, 2024.

Stephen Casper^*, Carson Ezell^*, [and 19 others, including Qinyi Sun]. “Black-Box Access is Insufficient for Rigorous AI Audits”. Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, 2024.

Wes Gurnee, Theo Horsley, Zifan Carl Guo, Tara Rezaei Kheirkhah, Qinyi Sun, Will Hathaway, Neel Nanda, Dimitris Bertsimas. “Universal Neurons in GPT2 Language Models”. Transactions of Machine Learning Research (TMLR), 2024.