Skip to content
View radoslav11's full-sized avatar
108 followers · 30 following

Achievements

Achievement: Pull SharkAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report radoslav11

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Coding-Library Coding-Library Public

    Library of C++ implementations for algorithms used in competitive programming.

    C++ 153 42

  2. acm-sgu acm-sgu Public

    This repository contains solutions to ACM SGU (Saratov State University) competitive programming problems, enhanced with detailed editorials and reasoning explanations generated using LLMs.

    C++ 1

  3. rpai rpai Public

    Tool to make it easier to jump between AI agents in tmux.

    Rust 11 1

  4. SP-MPNN SP-MPNN Public

    Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".

    Python 25 2

  5. WMI-DNF WMI-DNF Public

    Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".

    Python 1 1

  6. ZZYSonny/PlanE ZZYSonny/PlanE Public

    Implementation of the BasePlanE models and the experiments from the NeurIPS 2023 paper "PlanE: Representation Learning over Planar Graphs"

    Python 14 2