Eric Spencer
Projects
Miscellaneous
LLMs
Researcher
Research on TLA+ and fine-tuning open-source LLMs for formal methods.