Eric Spencer Awarded Mulcahy Scholar Stipend#
Eric Spencer, an undergraduate researcher in the AI4FM group, has been awarded a $1,000 Mulcahy Scholar stipend from the Loyola University Chicago College of Arts and Sciences to support his research on LLM-based TLA+ specification synthesis.
Eric is conducting this research under the supervision of Professor Konstantin Läufer. The work contributes to the group’s ongoing evaluation of large language models for formal verification tasks, examining whether LLMs can generate semantically correct TLA+ specifications from natural language.
The Mulcahy Scholars Program supports undergraduate research experiences of scholarly significance across the College of Arts and Sciences at Loyola University Chicago.