Yingjia Wan
5 papers · 2024–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (3) π§ Keyword Pioneer π£ Hot Topic Early Bird π Interdisciplinary Bridge π Cross-Pollinator (12)
πΊοΈ
Taxonomy Completionist
(12)
π
Trend Setter
Conferences
EMNLP (2)
NIPS (2)
ICLR (1)
Top co-authors
Research topics
Keywords
large language model
(3)
benchmark evaluation
(2)
mathematical reasoning
(1)
boolean satisfiability
(1)
factuality evaluation
(1)
information retrieval
(1)
automated reasoning
(1)
error detection
(1)
satisfiability problem
(1)
language model
(1)
process supervision
(1)
reasoning verification
(1)
step-level confidence
(1)
reasoning capability
(1)
puzzle generation
(1)
evidence retrieval
(1)
answer selection
(1)
chain of thought
(1)
long-form generation
(1)
claim extraction
(1)
Papers
SATBench: Benchmarking LLMsβ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 2025
FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs
EMNLP 2025
FormalAlign: Automated Alignment Evaluation for Autoformalization
ICLR 2025
AutoPSV: Automated Process-Supervised Verifier
NIPS 2024
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
NIPS 2024