Research on Eric Spencerhttps://dev.ericspencer.us/tags/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.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.Computer Science Studenthttps://dev.ericspencer.us/resume/loyola-education/Mon, 01 Aug 2022 00:00:00 +0000https://dev.ericspencer.us/resume/loyola-education/Bachelor of Science in Computer Science, Expected May 2026