Lian Cheng
1 papers
· 2025–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
ACL (1)
Top co-authors
Keywords
unsupervised learning
(1)
logical reasoning
(1)
latent variable model
(1)
latent variable
(1)
reasoning verification
(1)
reasoning capability
(1)
logical consistency
(1)
reasoning path
(1)
contrastive ranking
(1)
logical rule
(1)
verifier elicitation
(1)
large language model
(1)
logical constraint
(1)
unsupervised verifier
(1)