Cheng Wen
7 papers · 2021–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Cross-Pollinator (12) π Renaissance Researcher (6)
πΊοΈ
Taxonomy Completionist
(19)
Conferences
ACL (3)
CVPR (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
formal verification
(2)
large language model
(2)
3d reconstruction
(1)
domain generalization
(1)
manifold learning
(1)
point cloud generation
(1)
theorem proving
(1)
data augmentation
(1)
code generation
(1)
corruption robustness
(1)
out-of-distribution generalization
(1)
progressive learning
(1)
feature clustering
(1)
static analysis
(1)
generative model
(1)
deep neural network
(1)
formal specification
(1)
formal proof
(1)
point cloud segmentation
(1)
neuro-symbolic system
(1)
Papers
Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation
ACL 2026
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
ACL 2026
From Informal to Formal β Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
Learnable Skeleton-Aware 3D Point Cloud Sampling
CVPR 2023
BPNet: BΓ©zier Primitive Segmentation on 3D Point Clouds
IJCAI 2023
VITA: A Multi-Source Vicinal Transfer Augmentation Method for Out-of-Distribution Generalization
AAAI 2022
Learning Progressive Point Embeddings for 3D Point Cloud Generation
CVPR 2021