z3_for_verification_of_fnn_global_robustness's Introduction

🔥 News

2024.03: 🎉 2 Papers (as corresponding author) accepted by ICLR 2024 R2-FM Workshop.
2023.12: 💯 I achieved a full GPA (4.0/4.0) during my study at UC Berkeley (with 1 A and 2 A+ grades).
2023.11: 🎙 I gave a lightning talk on our LLM safety paper at Constellation, Berkeley.
2023.10: 🔗 I serve as a fellow of Berkeley AI Safety Initiative for Students (BASIS).
2023.09: 🎖 I received the Exceptional Award for Academic Innovation in the academic year of 2022-2023 (only 1 awardee among undergraduates in School of Mathematical Sciences, Peking University, Top 0.1%).
2023.08: 🎉 1 Paper (as first author) accepted by Journal of Logical and Algebraic Methods in Programming.
2023.07: 🏖 I attended ICML 2023 at Honolulu and illustrated our workshop poster.
2023.06: 🎉 1 Paper (as corresponding author) accepted by ICML 2023 AdvML-Frontiers Workshop.
2023.06: 🍁 I attended CVPR 2023 at Vancouver and illustrated our poster.
2023.05: 🥈 Won Second prize in Chinese Mathematics Competitions for Undergraduates (National final).
2023.05: 🎙 I gave a talk on our CVPR paper in Safe & Responsible AI workshop (ICLR 2023 social event) at Tsinghua University.
2023.02: 🎉 1 Paper (as first author) accepted by CVPR 2023.
2022.12: 🥇 Won First prize in Chinese Mathematics Competitions for Undergraduates (Beijing Division), and qualified for the finals.

Recommend Projects