Rongzhen Ye
5 papers · 2021–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (22) π£ Hot Topic Early Bird π Renaissance Researcher (5)
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(4)
Machine Learning
(4)
Core AI
(4)
Deep Learning
(3)
Architectures
(3)
Learning Types Β· Machine Learning
(3)
Natural Language Processing
(2)
Optimization & Theory
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Reinforcement Learning
(1)
Applications
(1)
Core Methods
(1)
Foundations
(1)
Learning Types Β· Deep Learning
(1)
Keywords
neural network
(3)
linear temporal logic
(2)
representation learning
(1)
natural language processing
(1)
fact 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)
local search
(1)
configuration checking
(1)
formula learning
(1)
satisfiability checking
(1)
syntactic embedding
(1)
regular expression
(1)
evidence retrieval
(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