The National Science Centre (NCN) has officially awarded Project VERIPROVE led by Prof. dr hab. inż. Janusz Kowalczyk to advance mathematical guarantees for distributed foundation models.
The National Science Centre (NCN) has released the results of the OPUS 24 funding scheme. BBQ Institute has secured PLN 2,840,000 in funding for a three-year project on neural network verification.
Warsaw, August 24, 2026 — The BBQ Institute of Advanced Science & Technology is proud to announce that the National Science Centre (NCN) has selected Project VERIPROVE: Automated Verification of Distributed Neural Computation for funding under the prestigious OPUS 24 scheme.
Led by Prof. dr hab. inż. Janusz Kowalczyk, Director of BBQ Institute and Head of the Laboratory for Machine Cognition & Neural Systems (MCNC Lab), the research initiative addresses the urgent challenge of verifying deep neural network behavior in mission-critical and scientific domains.
Modern neural networks are widely deployed across science and industry, yet providing rigorous mathematical guarantees regarding their safety, robustness, and invariance remains an open challenge. Project VERIPROVE introduces novel polynomial certificate formulations and zero-knowledge cryptographic execution proofs, allowing remote neural computations to be soundly audited without sharing proprietary model weights.
The funding will support:
Scientific Data (Nature Springer) Vol. 11(1), pp. 18-34(2024). DOI: 10.1038/sdata.2016.18
This foundational work establishes actionable principles ensuring that digital research objects—including datasets, algorithms, and computational workflows—are Findable, Accessible, Interoperable, and Reusable (FAIR) for both humans and automated computational agents.
Nature Human Behaviour Vol. 9(3), pp. 21-30(2025). DOI: 10.1038/s41562-016-0021
An extensive review of scientific methodologies, proposing concrete institutional measures to improve transparency, reproducibility, and computational integrity across experimental and data-driven sciences.