Research

The dataset release for the ChatTLA+ paper — SFT corpus and benchmark for TLA+ spec generation, posted anonymized for blind review.

Early exploratory repo for generating TLA+ specs from natural-language requirements with an LLM, with a TLC harness wired in. The scaffold that eventually grew into ChatTLA+.

Research on TLA+ and fine-tuning open-source LLMs for formal methods.

Research on AI interpretability and experimental studies involving ChatGPT and advanced Java concepts.

Computer Science major with an Information Systems minor.