Følg
Yingjia Wan
Yingjia Wan
Andre navneAlisa Yingjia Wan
University of Cambridge
Verificeret mail på cantab.ac.uk - Startside
Titel
Citeret af
Citeret af
År
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
Z Zeng, Y Liu, Y Wan, J Li, P Chen, J Dai, Y Yao, R Xu, Z Qi, W Zhao, ...
NeurIPS 2024, 2024
12*2024
AutoPSV: Automated Process-Supervised Verifier
J Lu, Z Dou, H Wang, Z Cao, J Dai, Y Wan, Y Huang, Z Guo
NeurIPS 2024, 2024
8*2024
Process-driven autoformalization in lean 4
J Lu*, Y Wan*, Z Liu, Y Huang, J Xiong, C Liu, J Shen, H Jin, J Zhang, ...
arXiv preprint arXiv:2406.01940, 2024
62024
FormalAlign: Automated Alignment Evaluation for Autoformalization
J Lu*, Y Wan*, Y Huang, J Xiong, Z Liu, Z Guo
ICLR 2025, 2025
2025
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4