Pinned Repositories
ZKMicrophone
🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first attested microphone and used ZK-SNARKs to protect authenticity and privacy.
Coding-Library
Library of C++ implementations for algorithms used in competitive programming.
CompetitiveProgramming
Solutions to problems from online judges.
EUCYS-project-2017
Codes of our project for EUCYS 2017
Implicit-treap
nvim-config
Neovim config
SP-MPNN
Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".
TheAttik
WMI-DNF
Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".
PlanE
Implementation of the BasePlanE models and the experiments from the NeurIPS 2023 paper "PlanE: Representation Learning over Planar Graphs"
radoslav11's Repositories
radoslav11/Coding-Library
Library of C++ implementations for algorithms used in competitive programming.
radoslav11/SP-MPNN
Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".
radoslav11/Implicit-treap
radoslav11/CompetitiveProgramming
Solutions to problems from online judges.
radoslav11/EUCYS-project-2017
Codes of our project for EUCYS 2017
radoslav11/nvim-config
Neovim config
radoslav11/TheAttik
radoslav11/tmux-config
Simple tmux config for macOS
radoslav11/vim_config
The vim configuration I am using.
radoslav11/WMI-DNF
Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".