Popular GitHub Repositories for Proofs

A Privacy-Preserving Framework Based on TensorFlow

Reinforcement learning theory book about foundations of deep RL algorithms with proofs.

Java library for distributed zero knowledge proof systems

Watermarking Deep Neural Networks (USENIX 2018)

Formalizing "Proofs from THE BOOK"

Solving Inequality Proofs with Large Language Models.

Privacy-preserving federated learning is distributed machine learning where multiple collaborators train a model through protected gradients. To achieve robustness to users dropping out, existing practical privacy-preserving federated learning schemes are based on (t, N)-threshold secret sharing. Such schemes rely on a strong assumption to guarantee security: the threshold t must be greater than half of the number of users. The assumption is so rigorous that in some scenarios the schemes may not be appropriate. Motivated by the issue, we first introduce membership proof for federated learning, which leverages cryptographic accumulators to generate membership proofs by accumulating users IDs. The proofs are issued in a public blockchain for users to verify. With membership proof, we propose a privacy-preserving federated learning

CVE-Search (name still in alpha), is a Machine Learning tool focused on the detection of exploits or proofs of concept in social networks such as Twitter, Github. It is also capable of doing related searches on Google, Yandex, DuckDuckGo on CVEs and detecting if the content may be a functional exploit, a proof of concept or simply information about the vulnerability.

Proofs of concept for workflows that augment Obsidian.md knowledge management via NLP analytics & modelling

Experiments with interactive theorem provers, LLMs and formal systems

Distributed algorithms in Lean 4

CS-541 Deep Learning is a graduate class that teaches both a theoretical and practical approach to deep learning. You will be able to see this in the different homework files in the form of workable code that can be tested as well as proofs and explanations as to where the code is coming from.

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs

Scoria AI is a decentralized AI agent framework on blockchain, enabling private, on-device Web3 intelligence for users and enterprises.

Privacy-first decentralized AI training network combining federated learning, blockchain incentives, and quantum-safe cryptography. Enable secure collaborative model development without sharing raw data.

A curated list of awesome libraries, tools, frameworks, and resources for Zero-Knowledge Proofs (ZKPs) including zk-SNARKs, zk-STARKs, and other privacy-preserving cryptographic protocols.

一个对等网络、去中心化、无云存储引擎

Lattico AI is the first enterprise-grade self-evolving multi-agent collaboration framework built on blockchain. Optimizes agents through on-chain learning.

α-fair, cryptographically auditable housing allocation system — reproducible research with ML, ZK proofs, and distributed systems validation.

This project implements the proof-of-concept of blockchain-based federated learning system with zero-knowledge proofs for model aggregation verification. MSc thesis in CS University of Tartu.