Ye, T.; Zhang, D. Blockchain-Enabled Distributed Computing Framework for Optimized and Secure Resource Allocation via Smart Contract Verification. IJCAI 2025, 49.