🎯
Focusing
PhD@PKU School of Mathematics. Formal Method&AI
-
Peking University
- Peking University
-
10:38
(UTC +08:00) - zhang-yihao.github.io
- https://scholar.google.com/citations?user=9lALkz8AAAAJ
Pinned Loading
-
Adversarial-Representation-Engineering
Adversarial-Representation-Engineering PublicOfficial implementation repository for the paper Towards General Conceptual Model Editing via Adversarial Representation Engineering.
-
-
Z3_for_Verification_of_FNN_Global_Robustness
Z3_for_Verification_of_FNN_Global_Robustness PublicForked from weizeming/Z3_for_Verification_of_FNN_Global_Robustness
Python
-
Transfomer2DFA
Transfomer2DFA PublicImplementation for paper Automata Extraction from Transformers.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.