Zhengying Liu
14 papers
· 2020–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
πΊοΈ
Taxonomy Completionist
(21)
π
Cross-Pollinator
(13)
π₯
Mega-Team
(27)
π
Keyword Champion
(2)
π
Century Club
(14)
β‘
Prolific Year
(9)
Conferences
ICLR (7)
NIPS (3)
ACL (2)
EMNLP (1)
NAACL (1)
Top co-authors
Keywords
large language model
(4)
language model
(4)
automated theorem proving
(4)
mathematical reasoning
(3)
proof search
(2)
automated reasoning
(2)
formal verification
(2)
theorem proving
(2)
tree search
(1)
recursive reasoning
(1)
program verification
(1)
recursive algorithm
(1)
majority voting
(1)
monte-carlo tree search
(1)
program synthesis
(1)
model fine-tuning
(1)
molecular dynamics
(1)
value function
(1)
recursive proof
(1)
knowledge reuse
(1)