Research
Conferences
When GNNs Met a Word Equations Solver: Learning to Rank Equations
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
In: 15th International Symposium on Frontiers of Combining Systems (FroCoS) 2025.
BibTex | DOI | PDFGuiding Word Equation Solving Using Graph Neural Networks
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer In: 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA) 2024.
BibTex | DOI | PDFBoosting Constrained Horn Solving by Unsat Core Learning
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer In: 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2024.
BibTex | DOI | PDF
Journal Articles
Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks
Yali Yuan, Chencheng Liang, Xu Chen, Thar Baker, Xiaoming Fu In: ACM Transactions on Internet Technology, 22(2), pages 1-20, 2021.
BibTex | DOI | PDFTopology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game
Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe In: IEEE Transactions on Vehicular Technology, 68(2), pages 1487-1500, 2019.
BibTex | DOI | PDFComments on “Fuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets” by Ridvan Sahin
Yong Yang, Chencheng Liang, Shiwei Ji In: Soft Computing, 21(11), pages 3033–3035, 2017.
BibTex | DOI | PDFAdjustable soft discernibility matrix based on picture fuzzy soft sets and its applications in decision making
Yong Yang, Chencheng Liang, Shiwei Ji, Tingting Liu In: Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 29(4), pages 1711-1722, 2015.
BibTex | DOI | PDF
Workshops
- Exploring Representation of Horn clauses using GNNs
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt In: 8th Workshop on Practical Aspects of Automated Reasoning (PAAR) 2022.
BibTex | DOI | PDF
Talks
Guiding Constraint Horn Clauses Solving using Graph Neural Networks
At: Henzinger Thomas Group in Institute of Science and Technology Austria (ISTA), Austria, 2024.
SlidesBoosting Constrained Horn Solving by Unsat Core Learning
At: 11th Workshop on Horn Clauses for Verification and Synthesis (HCVS), Luxembourg, 2024.
SlidesExploring Representation of Horn Clauses using GNNs
At: 7th Conference on Artificial Intelligence and Theorem Proving (AITP), France, 2022.
SlidesGuiding Interpolation for Model Checking by Deep Learning Techniques
At: 13th Alpine Verification Meeting (AVM), Czech Republic, 2019.
Slides
Thesis
Service as Subreviewer
- FMCAD 2025 - 25th Conference on Formal Methods in Computer-Aided Design, Menlo Park, USA, 2025
- FM 2024 - 26th International Symposium on Formal Methods, Milan, Italy, 2024
- LPAR 2024 - 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, 2024
- VMCAI 2024 - 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 2024
- FMCAD 2023 - 23th Conference on Formal Methods in Computer-Aided Design, Iowa, USA, 2023
- LPAR 2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 2023
- FMCAD 2022 - 22th Conference on Formal Methods in Computer-Aided Design, Trento, Italy, 2022
- IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Haifa, Israel, 2022
- FroCoS 2021 - 13th International Symposium on Frontiers of Combining Systems, Birmingham, UK, 2021
- CADE 2021 - 28th International Conference on Automated Deduction, Pittsburgh, USA, 2021
- TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland (Online), 2020
- iFM 2019 - 15th International Conference on integrated Formal Methods, Bergen, Norway, 2019
- FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, London, UK, 2019
- CADE 2019 - 27th International Conference on Automated Deduction, Natal, Brazil, 2019
My research interests include automated theorem proving, graph neural networks, and formal methods. I enjoy building tools that make reasoning systems smarter and more usable.
ORCID: 0000-0002-4926-8089