arXiv:2606. 18098v1 Announce Type: new Abstract: Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.
The paper reviews four studies that combine blockchain and AI to secure data sharing, model integrity, and autonomous decision-making in distributed systems. It highlights how blockchain’s immutability, decentralized consensus, and verifiable provenance can address trust gaps in training data, real‑time monitoring, and automated code remediation. The authors propose a layered architecture integrating hardened models, blockchain‑anchored provenance, AI anomaly detection, and smart‑contract‑governed multi‑agent remediation, and outline open challenges in scalability, privacy‑transparency trade‑offs, and governance.
arXiv:2606. 23768v1 Announce Type: cross Abstract: We propose cryptographic certificates of validity for agentic AI systems.
arXiv:2605. 20531v2 Announce Type: replace-cross Abstract: Reliable verification of proofs remains a bottleneck for training and evaluating AI systems on hard mathematical reasoning.
arXiv:2608.28433v2 Announce Type: replace Abstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barr...
arXiv:2607. 09217v1 Announce Type: new Abstract: In this system paper, we present OpenProver, an open-source system for LLM-driven automated theorem proving (ATP) with integrated Lean 4 formal verification.
arXiv:2608. 13522v1 Announce Type: cross Abstract: AI agents are increasingly used for programming, but do not provide any guarantee on the correctness of generated code.