Pingjia Liang
3 papers
· 2022–2024
· 1 conference
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(16)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Trend Setter
Conferences
AAAI (3)
Top co-authors
Research topics
Keywords
temporal logic
(2)
formula learning
(2)
neural network
(2)
noise tolerance
(1)
noise-tolerant learning
(1)
noisy datum
(1)
linear temporal logic
(1)
regular expression
(1)
text processing
(1)
pattern matching
(1)
graph neural network
(1)
regex learning
(1)
faithful encoding
(1)
temporal property
(1)
linear temporal logic on finite trace
(1)
trace classification
(1)
regular expression learning
(1)
ltlf inference
(1)
ltlf formulae
(1)
representation learning
(1)