Zhun Yang
5 papers · 2020–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (5) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (14) π§ Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
ACL (1)
ICLR (1)
ICML (1)
IJCAI (1)
WACV (1)
Top co-authors
Keywords
answer set programming
(3)
neural network
(2)
question answering
(2)
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)
logic programming
(1)
binary neural network
(1)
neuro-symbolic computing
(1)
logical form
(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