2025
Fractal Generative Models.
CoRR, February, 2025

2024
Universal Neurons in GPT2 Language Models.
Trans. Mach. Learn. Res., 2024

DafnyBench: A Benchmark for Formal Software Verification.
CoRR, 2024

Black-Box Access is Insufficient for Rigorous AI Audits.
Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency, 2024

2021
Empirical Analysis of Quantitative Investment in Pharmaceutical Stocks.
Proceedings of the ICEME 2021: The 12th International Conference on E-business, Management and Economics, Beijing, China, July 17, 2021