3 citations · 7 across the 15 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Elliot Jones, William Knottenbelt
Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems. Whilst formal verification is tradition…
cs.AI2023
zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
Zhipeng Wang, Nanqing Dong, Jiahao Sun +2
Federated learning (FL) is a machine learning paradigm, which enables multiple and decentralized clients to collaboratively train a model under the orchestration of a central aggre…