Anjiang Wei

4 papers · 2025–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 · Bronze

Venues

EMNLP (2) CVPR (1) ICML (1)

Top co-authors

Ke Wang (3) Alex Aiken (3) Thiago S. F. X. Teixeira (2) Yuhui Zhang (2) Josiah Aklilu (1) Ziheng Wang (1) Yuheng Wu (1) Yiming Liu (1) Allen Nie (1) James Burgess (1)

Research topics

Artificial Intelligence (4) Machine Learning (4) Core AI (4) Learning Types (3) Computer Science (1) Natural Language Processing (1) Applications · Natural Language Processing (1) Applications · Computer Science (1) Optimization & Theory (1)

Keywords

benchmark evaluation (3) large language model (2) visual question answering (1) boolean satisfiability (1) question answering (1) automated reasoning (1) program analysis (1) satisfiability problem (1) vision-language model (1) semantic reasoning (1) generative optimization (1) puzzle generation (1) multiple-choice question (1) code understanding (1) program semantics (1) actionable feedback (1) search-based reasoning (1) equivalence checking (1) agentic framework (1) multiple choice question generation (1)

Papers

Automated Generation of Challenging Multiple-Choice Questions for Vision Language Model Evaluation CVPR 2025 EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking EMNLP 2025 Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces ICML 2025 SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025