Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Formal verification and neural lossless compression

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 (opens in new window)

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

Practical Shuffle Coding (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0