Pinned Repositories
Alex-Andrv
Config files for my GitHub profile.
amm-arbitrageur
An arbitrage bot between Uniswap AMMs
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
awesome-ml4co
Awesome machine learning for combinatorial optimization papers.
backdoor-searcher
[WIP] EA-based backdoor searcher (see `ea` branch)
Certificates
Certificates
clause-producer
ml
sota
thesis_experiments
Alex-Andrv's Repositories
Alex-Andrv/clause-producer
Alex-Andrv/sota
Alex-Andrv/thesis_experiments
Alex-Andrv/awesome-ml4co
Awesome machine learning for combinatorial optimization papers.
Alex-Andrv/backdoor-searcher
[WIP] EA-based backdoor searcher (see `ea` branch)
Alex-Andrv/distributed_backdoors_search
Alex-Andrv/evo_network
Alex-Andrv/evoguess-ai-aaai-2023
Alex-Andrv/evoguess-TPE
Alex-Andrv/itmoffe_bot_site
Alex-Andrv/kissat_origin
Alex-Andrv/kissat_with_db_integration
Alex-Andrv/lab1_evo
Alex-Andrv/lab2_evo
Alex-Andrv/lab3_evo
Alex-Andrv/lab4_evo
Alex-Andrv/lab5_evo
Alex-Andrv/lab6_evo
Alex-Andrv/Maple_LCM_Dist_Chrono_with_redis
BEST SAT SOLVER EVER 2019
Alex-Andrv/matcher
matcher for Random Coffee
Alex-Andrv/minisat_with_redis_integration
A minimalistic and high-performance SAT solver
Alex-Andrv/ml-course
Open Machine Learning course
Alex-Andrv/ml-course-hse
Машинное обучение на ФКН ВШЭ
Alex-Andrv/new_clause_producer
new clause producer
Alex-Andrv/rag-seminar
Alex-Andrv/randomcoffee_students
randomcoffee_students
Alex-Andrv/shad_fix_set
Alex-Andrv/slurm_test_system
Alex-Andrv/test-container
Alex-Andrv/TINKOFF_ML