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, designed to improve the robustness of lightweight model watermarking against adaptive attacks.
Diverse Structured Generation
Code for our automata-based steering method for diverse structured generation of large language models, with support for regular-expression constraints.
Reglang2MSL
A tool for translating RegLang smart contracts into MSL models for formal verification, with CVC5-based checks for conflicting and redundant rules.
Isabelle Utils
A toolkit for parsing Isabelle/HOL theory files and extracting constants.