Formal verification and neural lossless compression

Informacje na temat projektu

FVNLC

Identyfikator umowy o grant: 101065671

DOI

10.3030/101065671

Data podpisania przez KE 28 Października 2022

Data rozpoczęcia 1 Września 2023

Data zakończenia 31 Grudnia 2026

Finansowanie w ramach

• Marie Skłodowska-Curie Actions (MSCA)

Koszt całkowity

Brak danych

Wkład UE

€ 187 624,32

Koordynowany przez

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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.

Publikacje

Conference proceedings (4)

Practical Shuffle Coding

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

Linear RNNs for autoregressive generation of long music samples

Autorzy: Szewczyk K., Gallo Fernández D., Townsend J.
Opublikowane w: AI for Music Workshop at NeurIPS 2025, 2025
Wydawca: arXiv
DOI: 10.48550/ARXIV.2510.02401

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

Autorzy: Severo D., Townsend J., Khisti A.J., Makhzani A.
Opublikowane w: Proceedings of the 40th International Conference on Machine Learning (ICML 2023), 2023
Wydawca: PMLR (Proceedings of Machine Learning Research)
DOI: 10.48550/ARXIV.2305.09705

Entropy Coding of Unordered Data Structures

Autorzy: Kunze J., Severo D., Zani G., van de Meent J.W., Townsend J.
Opublikowane w: International Conference on Learning Representations (ICLR), 2024
Wydawca: OpenReview
DOI: 10.48550/ARXIV.2408.08837