Research on Eric Spencerhttps://dev.ericspencer.us/categories/research/Recent content in Research on Eric SpencerHugo -- 0.145.0en-usFri, 01 Aug 2025 00:00:00 +0000Researcherhttps://dev.ericspencer.us/resume/ai4fm-researcher/Fri, 01 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/resume/ai4fm-researcher/Research on TLA+ and fine-tuning open-source LLMs for formal methods.Software Engineerhttps://dev.ericspencer.us/resume/loyola-cs-software-engineer-2025/Thu, 01 May 2025 00:00:00 +0000https://dev.ericspencer.us/resume/loyola-cs-software-engineer-2025/Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.Undergraduate Research Assistanthttps://dev.ericspencer.us/resume/undergraduate-research-assistant-2023/Sat, 01 Apr 2023 00:00:00 +0000https://dev.ericspencer.us/resume/undergraduate-research-assistant-2023/Research on AI interpretability and experimental studies involving ChatGPT and advanced Java concepts.