Jianwen Li

5 papers · 2017–2026 · 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 ↓

+4 more ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (11) 🏆 Keyword Champion (2)

🧭 Keyword Pioneer 📈 Trend Setter 🚀 Conference Pioneer 🌈 Renaissance Researcher (5)

Venues

AAAI (2) IJCAI (2) CVPR (1)

Top co-authors

Shufang Zhu (3) Moshe Y. Vardi (3) Geguang Pu (3) Shengping Xiao (2) Moshe Vardi (1) Wenxiao Zhang (1) Kristin Y. Rozier (1) Wei Yang (1) Lucas M. Tabajara (1) Yingying Shi (1)

Research topics

Computer Science (4) Mathematics & Optimization (3) Foundations (3) Artificial Intelligence (2) Knowledge & Reasoning (2) Core AI (2) Optimization (2) Reasoning (2) Computer Vision (1) Deep Learning (1) Applications (1) Generation (1) Learning Types (1) Mathematics (1)

Keywords

linear temporal logic (4) finite trace (2) deterministic finite automaton (2) knowledge compilation (1) symbolic computation (1) mesh generation (1) sparse attention (1) long-range dependency (1) graph search (1) sat solving (1) strategy synthesis (1) automata theory (1) ltlf synthesis (1) transition system (1) propositional satisfiability (1) satisfiability checking (1) symbolic synthesis (1) boolean formula (1) conflict-driven learning (1) adversarial search (1)

Papers

MeshRipple: Structured Autoregressive Generation of Artist-Meshes CVPR 2026 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019 Symbolic LTLf Synthesis IJCAI 2017