Posts in Research Update

11 May 2026 - Presented Two Posters at GCASR 2026

30 April 2026 - Our Paper on LLM-Based TLA+ Specification Generation Has Been Accepted

17 April 2026 - Eric Spencer Presents ChatTLA+ at Loyola University Chicago

11 April 2026 - Brian Ortiz Presents Poster at Graduate School Interdisciplinary Research Symposium 2026

29 March 2026 - Can LLMs Write Correct TLA+ Specifications? Our New Evaluation Study

15 August 2025 - Eric Spencer Awarded Mulcahy Scholar Stipend

08 May 2025 - Brian Ortiz Presents Poster at GCASR 2025

05 February 2025 - TLA+ for All: Running Model Checking in a Python Notebook