Rongzhen Ye
6 papers · 2021–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ 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)
Papers
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
AAAI 2024
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
AAAI 2023
Improving Local Search Algorithms via Probabilistic Configuration Checking
AAAI 2022
Teaching LTLf Satisfiability Checking to Neural Networks
IJCAI 2022
A DQN-based Approach to Finding Precise Evidences for Fact Verification
ACL 2021
A DQN-based Approach to Finding Precise Evidences for Fact Verification
IJCNLP 2021