Rongzhen Ye
6 papers
· 2021–2024
· 4 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(23)
π
Trend Setter
Conferences
AAAI (3)
ACL (1)
IJCAI (1)
IJCNLP (1)
Top co-authors
Research topics
Keywords
neural network
(3)
evidence retrieval
(2)
linear temporal logic
(2)
fact verification
(2)
claim verification
(1)
differentiable learning
(1)
differentiable programming
(1)
noise tolerance
(1)
selective prediction
(1)
polynomial time
(1)
noise-tolerant learning
(1)
recursive neural network
(1)
temporal logic
(1)
label bia
(1)
local search
(1)
configuration checking
(1)
formula learning
(1)
satisfiability checking
(1)
syntactic embedding
(1)
deep q-network
(1)