Yingjia Wan

5 papers · 2024–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🐣 Hot Topic Early Bird 📈 Trend Setter

Venues

EMNLP (2) NeurIPS (2) ICLR (1)

Top co-authors

Zhijiang Guo (4) Jianqiao Lu (4) Haochen Tan (2) Jianbo Dai (2) Yinhong Liu (2) Hongru Wang (1) Pengguang Chen (1) Alex Aiken (1) Yuheng Wu (1) Zhengying Liu (1)

Research topics

Machine Learning (4) Artificial Intelligence (3) Core AI (3) Learning Types (3) Natural Language Processing (2) Core Methods (2) Resources & Methods (2) Deep Learning (1) Knowledge & Reasoning (1) Applications (1) Architectures (1) Optimization & Theory (1) Reasoning (1)

Keywords

large language model (3) benchmark evaluation (2) logical reasoning (1) mathematical reasoning (1) boolean satisfiability (1) factuality evaluation (1) information retrieval (1) semantic alignment (1) automated reasoning (1) formal verification (1) error detection (1) satisfiability problem (1) model training (1) language model (1) process supervision (1) reasoning verification (1) step-level confidence (1) reasoning capability (1) puzzle generation (1) evidence retrieval (1)

Papers

FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs EMNLP 2025 FormalAlign: Automated Alignment Evaluation for Autoformalization ICLR 2025 SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025 AutoPSV: Automated Process-Supervised Verifier NeurIPS 2024 MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs NeurIPS 2024