Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers

26 March 2025

Papers citing "Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers"

9 / 9 papers shown

Title
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap Yedi Zhang YuFan Cai Xinyue Zuo Xiaokun Luan Kaidi Wang ... Zhiyuan Wei Meng Sun Jun Sun Jing Sun Jin Song Dong LLMAG 80 5 0 09 Dec 2024
Cross-chain Sharing of Personal Health Records: Heterogeneous and Interoperable Blockchains Yongyang Lv Xiaohong Li Yingwenbo Wang Kui Chen Zhe Hou Ruitao Feng 25 4 0 11 Oct 2024
Towards Large Language Model Aided Program Refinement YuFan Cai Zhe Hou Xiaokun Luan David Miguel Sanan Baena Yun Lin Jun Sun Jin Song Dong 61 4 0 26 Jun 2024
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation Shang-Wei Lin Tzu-Fan Wang Yean-Ru Chen Zhe Hou David Sanán Yon Shin Teo LRM 18 5 0 07 Aug 2023
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 57 44 0 24 Jun 2022
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest Shucen Ma Jianqi Shi Yanhong Huang Shengchao Qin Zhe Hou AAML 57 4 0 25 Feb 2022
An Executable Formal Model of the VHDL in Isabelle/HOL Wilayat Khan Zhe Hou David Sanán J. Nebhen Yang Liu Alwen Tiu 30 4 0 08 Feb 2022
Silas: High Performance, Explainable and Verifiable Machine Learning Hadrien Bride Zhe Hou Jie Dong J. Dong Seyedali Mirjalili 31 7 0 03 Oct 2019
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems Hadrien Bride J. Dong Ryan Green Zhe Hou Brendan P. Mahony M. Oxenham LRM 26 6 0 03 Oct 2019