Formal verification and neural lossless compression

Project Information

FVNLC

Grant agreement ID: 101065671

DOI

10.3030/101065671

EC signature date 28 October 2022

Start date 1 September 2023

End date 31 December 2026

Funded under

• Marie Skłodowska-Curie Actions (MSCA)

Total cost

No data

EU contribution

€ 187 624,32

Coordinated by

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.

Publications

Conference proceedings (4)

Practical Shuffle Coding

Author(s): Julius Kunze, Daniel Severo, James Townsend, Jan-Willem van de Meent
Published in: Advances in Neural Information Processing Systems 37, 2024
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)
DOI: 10.52202/079017-2672

Linear RNNs for autoregressive generation of long music samples

Author(s): Szewczyk K., Gallo Fernández D., Townsend J.
Published in: AI for Music Workshop at NeurIPS 2025, 2025
Publisher: arXiv
DOI: 10.48550/ARXIV.2510.02401

One-Shot Compression of Large Edge-Exchangeable Graphs using Bits-Back Coding

Author(s): Severo D., Townsend J., Khisti A.J., Makhzani A.
Published in: Proceedings of the 40th International Conference on Machine Learning (ICML 2023), 2023
Publisher: PMLR (Proceedings of Machine Learning Research)
DOI: 10.48550/ARXIV.2305.09705

Entropy Coding of Unordered Data Structures

Author(s): Kunze J., Severo D., Zani G., van de Meent J.W., Townsend J.
Published in: International Conference on Learning Representations (ICLR), 2024
Publisher: OpenReview
DOI: 10.48550/ARXIV.2408.08837