ResearcherResearch on TLA+ and fine-tuning open-source LLMs for formal methods.August 1, 2025Co-author papers on TLA+ and fine-tune open-source LLMs for formal methods work at ai4fm.cs.luc.eduDesigned the ai4fm logoPart-time research role alongside coursework