https://ericspencer.us/ericspencer-site-backup/tags/research/Recent content in Research on Eric SpencerHugo -- 0.152.2en-usWed, 13 May 2026 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/miscellaneous/chattla-dataset/Wed, 13 May 2026 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/miscellaneous/chattla-dataset/The dataset release for the ChatTLA+ paper — SFT corpus and benchmark for TLA+ spec generation, posted anonymized for blind review.https://ericspencer.us/ericspencer-site-backup/projects/2025/tla-formal-generation/Sun, 21 Sep 2025 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/projects/2025/tla-formal-generation/Early exploratory repo for generating TLA+ specs from natural-language requirements with an LLM, with a TLC harness wired in. The scaffold that eventually grew into ChatTLA+.https://ericspencer.us/ericspencer-site-backup/resume/ai4fm-researcher/Fri, 01 Aug 2025 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/resume/ai4fm-researcher/Research on TLA+ and fine-tuning open-source LLMs for formal methods.https://ericspencer.us/ericspencer-site-backup/resume/undergraduate-research-assistant-2023/Sat, 01 Apr 2023 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/resume/undergraduate-research-assistant-2023/Research on AI interpretability and experimental studies involving ChatGPT and advanced Java concepts.https://ericspencer.us/ericspencer-site-backup/resume/loyola-education/Mon, 01 Aug 2022 00:00:00 +0000https://ericspencer.us/ericspencer-site-backup/resume/loyola-education/Computer Science major with an Information Systems minor.