MutationDetector
Published:
GUI tool for analyzing protein-sequence mutations from mass differences.
Posts by Collection
portfolio
UBTester
Published:
CLI tool for detecting potential undefined behavior in C and C++ code.
Colorshare
Published:
Android application for transferring files through camera-readable color patterns.
publications
Improved Algorithms for Maximum Satisfiability and Its Special Cases
Published in AAAI, 2023
An AAAI 2023 paper on faster exact algorithms for Maximum Satisfiability and bounded-occurrence variants.
Recommended citation: Kirill Brilliantov, Vasily Alferov, and Ivan Bliznets. "Improved Algorithms for Maximum Satisfiability and Its Special Cases." AAAI, 2023.
Download Paper
Parameterization of (Partial) Maximum Satisfiability Above Matching in a Variable-Clause Graph
Published in AAAI, 2024
An AAAI 2024 paper on parameterized algorithms for Maximum Satisfiability and Partial Maximum Satisfiability.
Recommended citation: Vasily Alferov, Ivan Bliznets, and Kirill Brilliantov. "Parameterization of (Partial) Maximum Satisfiability Above Matching in a Variable-Clause Graph." AAAI, 2024.
Applying Language Models to Algebraic Topology: Generating Simplicial Cycles Using Multi-Labeling in Wu’s Formula
Published in ICML, 2024
An ICML 2024 paper on applying language-model techniques to algebraic topology.
Recommended citation: Kirill Brilliantov, Fedor Pavutnitskiy, Dmitry Pasechnyuk, and German Magai. "Applying Language Models to Algebraic Topology: Generating Simplicial Cycles Using Multi-Labeling in Wu's Formula." ICML, 2024.
Download Paper
Is Value Functions Estimation with Classification Plug-and-Play for Offline Reinforcement Learning?
Published in Automated Reinforcement Learning Workshop, 2024
A 2024 workshop paper on classification-based value estimation for offline reinforcement learning.
Recommended citation: Denis Tarasov, Kirill Brilliantov, and Dmitrii Kharlapenko. "Is Value Functions Estimation with Classification Plug-and-Play for Offline Reinforcement Learning?" Automated Reinforcement Learning Workshop, 2024.
Download Paper
Compositional PAC-Bayes: Generalization of GNNs with Persistence and Beyond
Published in NeurIPS, 2024
A NeurIPS 2024 paper on PAC-Bayes generalization bounds for GNNs with persistent-homology-based components.
Recommended citation: Kirill Brilliantov, Amauri H. Souza, and Vikas Garg. "Compositional PAC-Bayes: Generalization of GNNs with Persistence and Beyond." NeurIPS, 2024.
Download Paper
k-server-bench: Automating Potential Discovery for the k-Server Conjecture
Published in 3rd AI for Math Workshop at ICML, 2026
A benchmark for automated mathematical discovery through potential functions for the k-server conjecture.
Recommended citation: Kirill Brilliantov, Etienne Bamas, and Emmanuel Abbé. "k-server-bench: Automating Potential Discovery for the k-Server Conjecture." 3rd AI for Math Workshop at ICML, 2026.
Download Paper
How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?
Published in arXiv preprint, 2026
A study of minimal coding-agent harnesses for autonomous machine learning engineering.
Recommended citation: Kirill Brilliantov, Alejandro Hernández-Cano, and Emmanuel Abbé. "How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?" arXiv preprint arXiv:2609.40303, 2026.
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.