LLMs on Eric Spencerhttps://dev.ericspencer.us/tags/llms/Recent content in LLMs 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.