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.
By Elliot Jones, William Knottenbelt
arXiv:2607. 21839v1 Announce Type: cross Abstract: Privacy-preserving machine learning auditing protocols allow auditors to assess models for properties such as accuracy or fairness, without revealing their internals or training data.
By Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova, Akira Takahashi, Antigoni Polychroniadou, Nicolas Papernot
arXiv:2512. 13666v2 Announce Type: replace-cross Abstract: The security and decentralization of Proof-of-Work (PoW) have been well-tested in existing blockchain systems.
By Weihang Cao, Mustafa Doger, Sennur Ulukus
arXiv:2606. 28994v1 Announce Type: cross Abstract: This paper presents new results and breakthrough obtained with the HbHAI techniques (Hash-based Homomorphic Artificial Intelligence) proposed in \cite{filiol0,sepp}.
By Eric Filiol, Jaagup Sepp
arXiv:2607. 19436v1 Announce Type: cross Abstract: Agentic commerce protocols such as AP2 and ACP define mechanisms for secure agent-initiated transactions but do not provide interoperable, tamper-evident auditability or verifiable temporal ordering of events across heterogeneous domains.
By Rajat Srivastava
arXiv:2606. 23768v1 Announce Type: cross Abstract: We propose cryptographic certificates of validity for agentic AI systems.
By Murdoch J. Gabbay
arXiv:2608. 07063v1 Announce Type: cross Abstract: Content provenance standards, such as C2PA, are increasingly used to attach signed records of origin, editing history, and rights to digital images.
By Muhammad Awan, John Collomosse
A practical guide to Bronze, Silver and Gold, with a working Python and DuckDB example The post The Medallion Data Architecture: An Introduction appeared first on Towards Data Science .
By Thomas Reid
What data teams need to build with AI to make self-healing data architecture a practical reality The post 7 Crucial Barriers Between Data Teams and Self-Healing Data Architecture appeared first on Towards Data Science .
By Hugo Lu
arXiv:2410. 11378v3 Announce Type: replace-cross Abstract: Personalized collaborative learning in federated settings faces a critical trade-off between customization and participant trust.
By Yawen Li, Yan Li, Junping Du, Yingxia Shao, Meiyu Liang, Guanhua Ye
5 principles that determine whether an agent system succeeds in production, explained through one I built for a $100M+ company. The post Building Enterprise Agent Systems that People can Trust, Verify and Improve appeared first on Towards Data Science .
By Sheila Teo
arXiv:2607. 09682v1 Announce Type: new Abstract: AI systems are increasingly used to assist consequential decisions in regulated domains such as auditing, finance, and healthcare.
By Vimal Nakrani