Zhun Yang
5 papers · 2020–2024 · 5 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 ↓
๐
Conference Polyglot ยท Silver
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(16)
๐ฃ
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
answer set programming
(3)
neural network
(2)
question answering
(2)
neural network training
(1)
few-shot learning
(1)
probabilistic modeling
(1)
symbolic reasoning
(1)
knowledge representation
(1)
semantic parsing
(1)
video understanding
(1)
automated reasoning
(1)
probability distribution
(1)
discrete optimization
(1)
gradient descent
(1)
constraint satisfaction
(1)
counterfactual reasoning
(1)
straight-through estimator
(1)
neuro-symbolic ai
(1)
constraint satisfaction problem
(1)
logic programming
(1)
Papers
Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering
WACV 2024
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
ACL 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
ICLR 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators
ICML 2022
NeurASP: Embracing Neural Networks into Answer Set Programming
IJCAI 2020