Yingjia-Wan

MPhil @cambridgeltl

University of CambridgeUK

Pinned Repositories

ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python208 9 1944
ICV
Code for In-context Vectors: Making In Context Learning More Effective and Controllable Through Latent Space Steering
Language:Python125 6 96
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"
Language:Python264 4 3538
ArtPrompt
Official Repo of ACL 2024 Paper `ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs`
Language:Python00
Crosslingually-Comparing-BERT-and-Human-Relative-Word-Importance
Codes for the short essay project for Mphil TAL by Yingjia Wan in 2023.
Language:Python0 1 00
factchecking-dataset-collection
00
minif2f-lean4
minif2f dataset converted to lean 4 version.
Language:Lean00
Multimodal-Processing-with-Cognition-Data
Codes for the Mphil dissertation by Yingjia Wan in 2023.
Language:Python10
PDA
00
Yingjia-Wan
00

Yingjia-Wan/Multimodal-Processing-with-Cognition-Data
Codes for the Mphil dissertation by Yingjia Wan in 2023.
Language:Python10
Yingjia-Wan/ArtPrompt
Official Repo of ACL 2024 Paper `ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs`
Language:Python00
Yingjia-Wan/Crosslingually-Comparing-BERT-and-Human-Relative-Word-Importance
Codes for the short essay project for Mphil TAL by Yingjia Wan in 2023.
Language:Python0 1 00
Yingjia-Wan/factchecking-dataset-collection
00
Yingjia-Wan/minif2f-lean4
minif2f dataset converted to lean 4 version.
Language:Lean00
Yingjia-Wan/PDA
00
Yingjia-Wan/Yingjia-Wan
00