@article{huang233la, 
	author = {Bo-Yuan Huang* and Steven Lyubomirsky* and Yi Li and Mike He and Thierry Tambe and Gus Henry Smith and Akash Gaonkar and Vishal Canumalla and Gu-Yeon Wei and Aarti Gupta and Sharad Malik and Zachary Tatlock}, 
	title = {Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface}, 
	booktitle = {ACM Transactions on Design Automation of Electronic Systems}, 
	year = {2024}, 
}

@article{kirisame2021dynamic, 
	author = {Marisa Kirisame* and Steven Lyubomirsky* and Altan Haan* and Jennifer Brennan and Mike He and Jared Roesch and Tianqi Chen and Zachary Tatlock}, 
	title = {Dynamic Tensor Rematerialization}, 
	booktitle = {International Conference on Learning Representations (ICLR'21)}, 
	year = {2021}, 
}

@article{pinferlmpl2025, 
	author = {Mike He and Zhendong Ang and Ankush Desai and Aarti Gupta}, 
	title = {Ranking Formal Specifications using LLMs}, 
	booktitle = {International Workshop on Language Models and Programming Languages (LMPL'25)}, 
	year = {2025}, 
}

@article{he23extraction, 
	author = {Mike He and Haichen Dong and Sharad Malik and Aarti Gupta}, 
	title = {Improving Term Extraction with Acyclic Constraints}, 
	booktitle = {E-Graph Research, Applications, Practices, and Human-factors Symposium (PLDI/EGRAPHS'23)}, 
	year = {2023}, 
}

@article{huang21latte, 
	author = {Bo-Yuan Huang* and Steven Lyubomirsky* and Thierry Tambe* and Yi Li and Mike He and Gus Smith and Gu-Yeon Wei and Aarti Gupta and Sharad Malik and Zachary Tatlock}, 
	title = {From DSLs to Accelerator-rich Platform Implementations: Addressing the Mapping Gap}, 
	booktitle = {Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE'21)}, 
	year = {2021}, 
}

@article{phan2025humanitysexam, 
	author = {Scale AI and Center for AI Safety}, 
	title = {Humanity's Last Exam}, 
	booktitle = {ArXiv}, 
	year = {2025}, 
}