Savelii Kholin's repositories
dontlietome
Repo for misinformation hackathon
thesluggame
Create a colony of bioengineered slugs and compete with an opponent to overtake the worlds.
aimo
Solving olympiad math with ML
alphageometry
bruh
BFF
A real-life implementation of Samantha from Her
coq-agent-anton-fork
Grounding LLMs in mathematics to better understand reality.
dllmdx
Exploring multivariable calculus math on LLMs
llama-qlora
Guide for fine-tuning Llama/CodeLlama models
open-link
Silent speech recognition using EMG for Human-AI interaction.
scEVAL
scRNA-seq benchmark for your AI coding agent
scMagic2
Tools rec system for scRNA-seq analysis
devlooper
A program synthesis agent that autonomously fixes its output by running tests!
fdsimu
A fluid dynamics simulator to calculate how hard it is to hold on during tornado
friend-recs
get content recommendations from "friend" data
mccts
High performant implementation for Monte Carlo *Code* Tree Search with LLMs
NeMo-Skills
A pipeline to improve skills of large language models
rlhf
Learning biotech domain helpfulness reward model for RLHF
streamlit-agent
Reference implementations of several LangChain agents as Streamlit apps
SWE-agent
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.29% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.
yet-another-applied-llm-benchmark
A benchmark to evaluate language models on questions I've previously asked them to solve.
zashar-gpt
A simple tool that helps consume and understand a large corpus of material.