Zhun Yang

Orcid: 0000-0002-9043-5774

According to our database1, Zhun Yang authored at least 16 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards a Personal Health Large Language Model.
CoRR, 2024

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023
Leveraging Large Language Models to Generate Answer Set Programs.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
LICALITY - Likelihood and Criticality: Vulnerability Risk Prioritization Through Logical Reasoning and Deep Learning.
IEEE Trans. Netw. Serv. Manag., 2022

Statistical Relational Extension of Answer Set Programming.
Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.
Proceedings of the International Conference on Machine Learning, 2022

2020
Extending Answer Set Programs with Neural Networks.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

NeurASP: Embracing Neural Networks into Answer Set Programming.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018
Translating LPOD and CR-Prolog2 into standard answer set programs.
Theory Pract. Log. Program., 2018

Computing Logic Programs with Ordered Disjunction Using asprin.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017
LPMLN, Weak Constraints, and P-log.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2016

2015
Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015


  Loading...