Mingzhe Wang
6 papers · 2017–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot (4) π Academic Marathon (6) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (17)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
NIPS (2)
AAAI (1)
CVPR (1)
ECCV (1)
NAACL (1)
Top co-authors
Keywords
synthetic datum
(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
Learning to Prove Theorems by Learning to Generate Theorems
NIPS 2020
A Unified Framework of Surrogate Loss by Refactoring and Interpolation
ECCV 2020
Speaker Naming in Movies
NAACL 2018
Premise Selection for Theorem Proving by Deep Graph Embedding
NIPS 2017