-
furstenberg_sarkozy Public
A Lean4 formalisation of the Furstenberg–Sárközy theorem
-
langchain-elastic Public
Forked from langchain-ai/langchain-elasticElasticsearch integration into LangChain
Python MIT License UpdatedSep 23, 2024 -
typst-ams-fullpage-template Public
Typst AMS template customized to look like TeX amsart with fullpage
-
Beamer presentation of local topology/Benjamini-Schramm convergence for bounded-degree graphs.
TeX UpdatedNov 23, 2021 -
szrl-lowerbound-presentation Public
Beamer presentation of Gowers' construction of a graph obtaining a tower type lowerbound for Szemeredi's Regularity Lemma
TeX UpdatedNov 5, 2021 -
meta_occ Public
Official implementation of "Meta Learning for Few-Shot One-class Classification", 2020
-
plfa-exercises Public
Solved exercises for https://plfa.github.io/
-
-
-
-
-
-
-
ufba-ai-minesweeper Public
Minesweeper game implementation with AI related resources
Python MIT License UpdatedFeb 8, 2018 -
-
-
-