Simontwice
Core LLM research + wrestling with formal math || Head of Consumption for Eastern Europe @Lao-Gan-Ma
Pinned Repositories
mistral-inference
Official inference library for Mistral models
ConvexOptimization
eXplainableMachineLearning-2023
https://usosweb.uw.edu.pl/kontroler.php?_action=katalog2/przedmioty/pokazPrzedmiot&kod=1000-319bEML
frap-pub
interactive_isabelle
The Portal to Isabelle (PISA) project with additional premise selection functionality
KDDCup2021-CityBrainChallenge-starter-kit
MachineLearningSeminar
Seminarium Magisterskie Machine Learning
MagnusData
Premise Selection Data in Isabelle
objective-CPP-star-wars-like-
A final project for an objective cpp course at uni
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Simontwice's Repositories
Simontwice/MagnusData
Premise Selection Data in Isabelle
Simontwice/ConvexOptimization
Simontwice/eXplainableMachineLearning-2023
https://usosweb.uw.edu.pl/kontroler.php?_action=katalog2/przedmioty/pokazPrzedmiot&kod=1000-319bEML
Simontwice/frap-pub
Simontwice/interactive_isabelle
The Portal to Isabelle (PISA) project with additional premise selection functionality
Simontwice/KDDCup2021-CityBrainChallenge-starter-kit
Simontwice/MachineLearningSeminar
Seminarium Magisterskie Machine Learning
Simontwice/objective-CPP-star-wars-like-
A final project for an objective cpp course at uni
Simontwice/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/