EPIC-guide / epic-guide.github.io

Related projects ⓘ

Alternatives and complementary repositories for epic-guide.github.io

• epfl-ada / 2023
  Materials for Applied Data Analysis CS-401, Fall 2023
  ☆38Updated 9 months ago
• HexHive / thesis_template
  Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
  ☆125Updated last year
• glederrey / EPFL_thesis_template
  Unofficial template for the PhD thesis at EPFL maintained by PolyDoc
  ☆100Updated last year
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆49Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 5 years ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆160Updated 3 years ago
• LukasPietzschmann / awesome-beamer
  Kinda awesome beamer theme
  ☆119Updated 3 weeks ago
• chrisby / prometheusCV
  The non-template for academic CVs in latex
  ☆57Updated 4 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆224Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆122Updated 3 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆106Updated this week
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆13Updated 6 months ago
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,275Updated 3 weeks ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆156Updated 10 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆385Updated last year
• st-- / annotate-equations
  LaTeX package and annotated examples for annotating equations using TikZ.
  ☆468Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 2 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆89Updated this week
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆138Updated this week
• randal-sean-harrison / academic-website-template-bs3
  A simple template for an academic website using Bootstrap
  ☆56Updated 9 months ago
• stone-zeng / latex-emoji
  Emoji support in (Lua)LaTeX
  ☆66Updated 11 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆324Updated this week
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆77Updated last week
• epfml / getting-started
  ☆16Updated last week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆120Updated last year
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆187Updated 7 months ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆133Updated last month
• khairulislam / ML-conferences
  List of ML conferences with important dates and accepted paper list
  ☆31Updated 3 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆190Updated this week