Mingzhe Wang

6 papers · 2017–2026 · 5 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 · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (16) 🐣 Hot Topic Early Bird

Venues

NeurIPS (2) AAAI (1) CVPR (1) ECCV (1) NAACL (1)

Top co-authors

Jia Deng (5) Max Smith (1) Ye Lin (1) Qiyu Liao (1) Rada Mihalcea (1) Zhidong Li (1) Lingjie Mei (1) Hui Li (1) Jian Wang (1) Jiangtao Cui (1)

Research topics

Machine Learning (4) Artificial Intelligence (3) Deep Learning (3) Architectures (3) Core AI (3) Computer Vision (2) Learning Types (2) Computer Science (1) Knowledge & Reasoning (1) Analysis (1) Application Areas (1) Applications (1) Core Methods (1) Domain-Specific (1) Generation (1)

Keywords

synthetic data (2) semantic segmentation (1) anomaly detection (1) symbolic reasoning (1) theorem proving (1) knowledge representation (1) multimodal learning (1) procedural generation (1) deep learning (1) synthetic data generation (1) graph embedding (1) scene generation (1) photorealistic rendering (1) automated theorem proving (1) theorem prover (1) data synthesis (1) premise selection (1) memory network (1) 3d scene (1) visual modality (1)

Papers

RcAE: Recursive Reconstruction Framework for Unsupervised Industrial Anomaly Detection AAAI 2026 Infinite Photorealistic Worlds Using Procedural Generation CVPR 2023 A Unified Framework of Surrogate Loss by Refactoring and Interpolation ECCV 2020 Learning to Prove Theorems by Learning to Generate Theorems NeurIPS 2020 Speaker Naming in Movies NAACL 2018 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017