Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
Authors: Aivin V. Solatorio | Published: 2025-09-08
Efficient Proof System
Verifying Differentially Private Median Estimation
Authors: Hyukjun Kwon, Chenglin Fan | Published: 2025-05-22
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
Authors: Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen | Published: 2025-04-08
Zero-Knowledge Proof-Based Consensus for Blockchain-Secured Federated Learning
Authors: Tianxing Fu, Jia Hu, Geyong Min, Zi Wang | Published: 2025-03-17
Zero-knowledge Proof Meets Machine Learning in Verifiability: A Survey
Authors: Zhibo Xing, Zijian Zhang, Jiamou Liu, Ziang Zhang, Meng Li, Liehuang Zhu, Giovanni Russello | Published: 2023-10-23
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Authors: Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth | Published: 2022-06-29 | Updated: 2023-05-31
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness
Authors: Huijie Feng, Chunpeng Wu, Guoyang Chen, Weifeng Zhang, Yang Ning | Published: 2020-02-17
Scalable Quantitative Verification For Deep Neural Networks
Authors: Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena | Published: 2020-02-17 | Updated: 2021-03-23