Cheng's blogs

Sharing my experience.

Paper Reading Notes for Translating Natural Language Comments to Formal Program Specifications

Paper Reading Notes for Translating Natural Language Comments to Formal Program Specifications

3 min read · December 12, 2023

2023 · formal-methods · paper-reading
Hackergame 2023 Writeup

记录参加Hackergame 2023的经历以及题解

2 min read · November 20, 2023

2023 · hackergame · experience