C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Zhun Yang
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 20
Top Topics
Answer Set Programs
Statistical Relational
Logic Programming
Top Venues
CoRR
KR
IEEE Trans. Netw. Serv. Manag.
ICLP Technical Communications
</>
Publications
</>
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.
CoRR
(2023)
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming.
CoRR
(2023)
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.
ACL (Findings)
(2023)
Zhun Yang
,
Joohyung Lee
,
Chiyoun Park
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.
CoRR
(2023)
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.
CoRR
(2023)
Adam Ishay
,
Zhun Yang
,
Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs.
CoRR
(2023)
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.
ICLR
(2023)
Adam Ishay
,
Zhun Yang
,
Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs.
KR
(2023)
Joohyung Lee
,
Zhun Yang
Statistical Relational Extension of Answer Set Programming.
Reasoning Web
(2022)
Zhen Zeng
,
Zhun Yang
,
Dijiang Huang
,
Chun-Jen Chung
LICALITY - Likelihood and Criticality: Vulnerability Risk Prioritization Through Logical Reasoning and Deep Learning.
IEEE Trans. Netw. Serv. Manag.
19 (2) (2022)
Zhun Yang
,
Joohyung Lee
,
Chiyoun Park
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.
ICML
(2022)
Zhun Yang
,
Adam Ishay
,
Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming.
IJCAI
(2020)
Zhun Yang
Extending Answer Set Programs with Neural Networks.
ICLP Technical Communications
(2020)
Joohyung Lee
,
Zhun Yang
Computing Logic Programs with Ordered Disjunction Using asprin.
KR
(2018)
Zhun Yang
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.
ICLP (Technical Communications)
(2018)
Joohyung Lee
,
Zhun Yang
Translating LPOD and CR-Prolog2 into standard answer set programs.
Theory Pract. Log. Program.
18 (3-4) (2018)
Joohyung Lee
,
Zhun Yang
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs.
CoRR
(2018)
Joohyung Lee
,
Zhun Yang
LPMLN, Weak Constraints, and P-log.
AAAI
(2017)
Shaoqin Wang
,
Qin Ma
,
Zhun Yang
,
Xuerong Liu
Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort.
ICMLC
(2016)
Hongjun Dai
,
Chao Yan
,
Bin Gong
,
Zhun Yang
,
Tianzhou Chen
Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors.
HPCC/CSS/ICESS
(2015)