Research

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

Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.

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