Chengzhong Liu
5 papers
· 2022–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(9)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(24)
Conferences
ACL (3)
EMNLP (2)
Top co-authors
Keywords
large language model
(3)
benchmark evaluation
(2)
theorem proving
(1)
text summarization
(1)
question generation
(1)
ai safety
(1)
automated reasoning
(1)
formal verification
(1)
first-order logic
(1)
benchmark dataset
(1)
multimodal large language model
(1)
value alignment
(1)
evaluation metric
(1)
hallucination detection
(1)
proof generation
(1)
educational question generation
(1)
chart understanding
(1)
financial reasoning
(1)
hallucination penalty
(1)
multi-modal evaluation
(1)