Core LLM research + wrestling with formal math
||
Head of Consumption for Eastern Europe @Lao-Gan-Ma
Popular repositories Loading
-
-
objective-CPP-star-wars-like-
objective-CPP-star-wars-like- PublicA final project for an objective cpp course at uni
C++
-
-
KDDCup2021-CityBrainChallenge-starter-kit
KDDCup2021-CityBrainChallenge-starter-kit PublicForked from CityBrainChallenge/KDDCup2021-CityBrainChallenge-starter-kit
Python
-
MachineLearningSeminar
MachineLearningSeminar PublicForked from mim-uw/MachineLearningSeminar
Seminarium Magisterskie Machine Learning
-
interactive_isabelle
interactive_isabelle PublicForked from TomaszOdrzygozdz/interactive_isabelle
The Portal to Isabelle (PISA) project with additional premise selection functionality
Scala 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.