Award Recipient Junyi Jessy Li The University of Texas at Austin 2025 Amazon Research Award Documenting and Recommending Tactics in HOL Light Research topic Automated reasoning
