Projects

Here are some of my research projects:

• [ECC-Enhanced Watermarking for LLMs] A robust and efficient watermarking method for large language models using error correction codes. This project aims to enhance the robustness of lightweight model watermarking techniques against adaptive attacks.
• [Diverse Structured Generation] Code for our automata-based steering method for diverse structured generation of large language models. Regular expressions are supported.
• [Reglang2MSL] A tool to translate RegLang smart contracts into MSL (Mediator Specification Language) models for formal verification. It also leverages CVC5 solver to check conflict and redundancy in RegLang rules.
• [Isabelle Utils] A toolkit for parsing Isabelle/HOL theory files and extracting constants.