panly2003

C-to-Python-Compiler

A C-to-Python compiler

CareForBaby

A WeChat mini-program targeting at newborn/child infusion nursing record

CMinor-Verifier

2023清华大学《软件分析与验证》课程大作业：程序自动化验证

Multilingual-Web-IDE

A web integrated development environment that can support multiple languages

new_file_system_for_xv6

xiao-tsing-shu

A Campus Forum, Android Project

MarkLLM

MarkLLM: An Open-Source Toolkit for LLM Watermarking.（EMNLP 2024 Demo）

Robust_Watermark

Code and data for paper "A Semantic Invariant Robust Watermark for Large Language Models" accepted by ICLR 2024.

unforgeable_watermark

Source code of paper "An Unforgeable Publicly Verifiable Watermark for Large Language Models" accepted by ICLR 2024

WaterSeeker

WaterSeeker: Pioneering Efficient Detection of Watermarked Segments in Large Documents

panly2003/CMinor-Verifier

2023清华大学《软件分析与验证》课程大作业：程序自动化验证

panly2003/Multilingual-Web-IDE

A web integrated development environment that can support multiple languages

panly2003/C-to-Python-Compiler

A C-to-Python compiler

panly2003/CareForBaby

A WeChat mini-program targeting at newborn/child infusion nursing record

panly2003/new_file_system_for_xv6

panly2003/dx-balls

An intriguing game wrote by assembly language

panly2003/MarkLLM

MarkLLM: An Open-Source Toolkit for LLM Watermarking.

panly2003/PaperReading

panly2003/THSSDB-2023

THSSDB-2023：清华大学软件学院《数据库》课程大作业

panly2003/xiao-tsing-shu

A Campus Forum, Android Project

panly2003/Robust_Watermark

Code and data for paper "A Semantic Invariant Robust Watermark for Large Language Models" accepted by ICLR 2024.

panly2003/unforgeable_watermark

Source code of paper "An Unforgeable Publicly Verifiable Watermark for Large Language Models" accepted by ICLR 2024

panly2003/IOT_communication

2023清华大学《物联网导论》课程大作业：声波信号通信

panly2003/WaterSeeker

WaterSeeker: Efficient Detection of Watermarked Segments in Large Documents