Anjiang Wei
4 papers · 2025–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
EMNLP (2)
CVPR (1)
ICML (1)
Top co-authors
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)
puzzle generation
(1)
multiple-choice question
(1)
code understanding
(1)
program semantics
(1)
search-based reasoning
(1)
equivalence checking
(1)
agentic framework
(1)
multiple-choice question generation
(1)
automated benchmark construction
(1)
model evaluation framework
(1)
Papers
Automated Generation of Challenging Multiple-Choice Questions for Vision Language Model Evaluation
CVPR 2025
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 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