P
PaperPicks
Conferences
Wanli Ma
3 papers at tracked venues · 3 at CORE A* · active 2025–2026
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×2
ICCV
×1
Frequent coauthors
Chenyi Li
DBLP profile ↗
ORCID search ↗
×1
Xiyu Liu
DBLP profile ↗
ORCID search ↗
×1
Ying Chen
DBLP profile ↗
ORCID search ↗
×1
Papers
SITA: A Framework for Structure-to-Instance Theorem Autoformalization
AAAI 2026
·
Chenyi Li
DBLP profile ↗
ORCID search ↗
Relation Also Knows: Rethinking the Recall and Editing of Factual Associations in Auto-Regressive Transformer Language Models
AAAI 2025
·
Xiyu Liu
DBLP profile ↗
ORCID search ↗
VQualA 2025 Challenge on GenAI-Bench AIGC Video Quality Assessment: Methods and Results
ICCV 2025
·
Ying Chen
DBLP profile ↗
ORCID search ↗