Pinned Repositories
ReProver
Retrieval-Augmented Theorem Provers for Lean
ICV
Code for In-context Vectors: Making In Context Learning More Effective and Controllable Through Latent Space Steering
FActScore
A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generation"
ArtPrompt
Official Repo of ACL 2024 Paper `ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs`
Crosslingually-Comparing-BERT-and-Human-Relative-Word-Importance
Codes for the short essay project for Mphil TAL by Yingjia Wan in 2023.
factchecking-dataset-collection
minif2f-lean4
minif2f dataset converted to lean 4 version.
Multimodal-Processing-with-Cognition-Data
Codes for the Mphil dissertation by Yingjia Wan in 2023.
PDA
Yingjia-Wan
Yingjia-Wan's Repositories
Yingjia-Wan/Multimodal-Processing-with-Cognition-Data
Codes for the Mphil dissertation by Yingjia Wan in 2023.
Yingjia-Wan/ArtPrompt
Official Repo of ACL 2024 Paper `ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs`
Yingjia-Wan/Crosslingually-Comparing-BERT-and-Human-Relative-Word-Importance
Codes for the short essay project for Mphil TAL by Yingjia Wan in 2023.
Yingjia-Wan/factchecking-dataset-collection
Yingjia-Wan/minif2f-lean4
minif2f dataset converted to lean 4 version.
Yingjia-Wan/PDA
Yingjia-Wan/Yingjia-Wan