Posts tagged Presentation
Eric Spencer Presents ChatTLA+ at Loyola University Chicago
- 17 April 2026
Eric Spencer presented ChatTLA+ at the Undergraduate Research and Engagement Symposium at Loyola University Chicago on April 17, 2026 - a talk exploring the use of large language models for generating and verifying TLA+ formal specifications.