Zhang-Yihao

Pinned Repositories

• Adversarial-Representation-Engineering

  Official implementation repository for the paper Towards General Conceptual Model Editing via Adversarial Representation Engineering.

  Language:Python102

• SAM_AT

  Language:Python00

• Z3_for_Verification_of_FNN_Global_Robustness

  Language:Python00

• Transfomer2DFA

  Implementation for paper Automata Extraction from Transformers.

  Language:Jupyter Notebook82

• Extract_WFA_from_RNN_for_NL_Extended

  Code for "Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages"

  Language:Jupyter Notebook10

• Analytic-Philosophy-PKU

  Analytic Philosophy

  Language:TeX00

• ChatGPT-Next-Web

  One-Click to deploy well-designed ChatGPT web UI on Vercel. 一键拥有你自己的 ChatGPT 网页服务。

  Language:TypeScript00

• CMinor-Verifier

  清华大学《软件分析与验证》课程实验实现

  Language:C#00

• oldsite

  💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.

  Language:SCSS00

• zhang-yihao.github.io

  AcadHomepage: A Modern and Responsive Academic Personal Homepage

  Language:SCSS00

Zhang-Yihao's Repositories