Zhun Yang

24 papers A* 6A 1Misc 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
LPMLN, Weak Constraints, and P-log.
CoRR
Joohyung Lee, Zhun Yang
2025 J jnl
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering.
CoRR
Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2024 A conf
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering.
WACV
Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2024 J jnl
Towards a Personal Health Large Language Model.
CoRR
Justin Cosentino, Anastasiya Belyaeva, Xin Liu, Nicholas A. Furlotte, Zhun Yang, Chace Lee, Erik Schenck, Yojan Patel, Jian Cui, Logan Douglas Schneider, Robby Bryant, Ryan G. Gomes, Allen Jiang, Roy Lee, Yun Liu, Javier Perez Matos, Jameson K. Rogers, Cathy Speed, Shyam A. Tailor, Megan Walker, Jeffrey Yu, Tim Althoff, Conor Heneghan, John Hernandez, Mark Malhotra, Leor Stern, Yossi Matias, Gregory S. Corrado, Shwetak N. Patel, Shravya Shetty, Jiening Zhan, Shruthi Prabhakara, Daniel McDuff, Cory Y. McLean
2023 — conf
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.
ACL (Findings)
Zhun Yang, Adam Ishay, Joohyung Lee
2023 J jnl
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.
CoRR
Zhun Yang, Adam Ishay, Joohyung Lee
2023 J jnl
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.
CoRR
Zhun Yang, Joohyung Lee, Chiyoun Park
2023 A* conf
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.
ICLR
Zhun Yang, Adam Ishay, Joohyung Lee
2023 J jnl
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.
CoRR
Zhun Yang, Adam Ishay, Joohyung Lee
2023 A* conf
Leveraging Large Language Models to Generate Answer Set Programs.
KR
Adam Ishay, Zhun Yang, Joohyung Lee
2023 J jnl
Leveraging Large Language Models to Generate Answer Set Programs.
CoRR
Adam Ishay, Zhun Yang, Joohyung Lee
2023 J jnl
NeurASP: Embracing Neural Networks into Answer Set Programming.
CoRR
Zhun Yang, Adam Ishay, Joohyung Lee
2022 A* conf
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.
ICML
Zhun Yang, Joohyung Lee, Chiyoun Park
2022 J jnl
LICALITY - Likelihood and Criticality: Vulnerability Risk Prioritization Through Logical Reasoning and Deep Learning.
IEEE Trans. Netw. Serv. Manag.
Zhen Zeng, Zhun Yang, Dijiang Huang, Chun-Jen Chung
2022 — conf
Statistical Relational Extension of Answer Set Programming.
RW
Joohyung Lee, Zhun Yang
2020 — conf
Extending Answer Set Programs with Neural Networks.
ICLP Technical Communications
Zhun Yang
2020 A* conf
NeurASP: Embracing Neural Networks into Answer Set Programming.
IJCAI
Zhun Yang, Adam Ishay, Joohyung Lee
2018 A* conf
Computing Logic Programs with Ordered Disjunction Using asprin.
KR
Joohyung Lee, Zhun Yang
2018 J jnl
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs.
CoRR
Joohyung Lee, Zhun Yang
2018 J jnl
Translating LPOD and CR-Prolog2 into standard answer set programs.
Theory Pract. Log. Program.
Joohyung Lee, Zhun Yang
2018 — conf
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.
ICLP (Technical Communications)
Zhun Yang
2017 A* conf
LPMLN, Weak Constraints, and P-log.
AAAI
Joohyung Lee, Zhun Yang
2016 Misc conf
Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort.
ICMLC
Shaoqin Wang, Qin Ma, Zhun Yang, Xuerong Liu
2015 — conf
Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors.
HPCC/CSS/ICESS
Hongjun Dai, Chao Yan, Bin Gong, Zhun Yang, Tianzhou Chen