epfl-ada / 2024

Related projects ⓘ

Alternatives and complementary repositories for 2024

• epfml / ML_course
  EPFL Machine Learning Course, Fall 2024
  ☆1,265Updated this week
• HexHive / thesis_template
  Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
  ☆126Updated last year
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆99Updated 2 months ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆161Updated 3 years ago
• epfl-ada / 2021
  Materials for Applied Data Analysis CS-401, Fall 2021
  ☆45Updated last year
• LSIR / DIS
  CS-423 Distributed Information Systems
  ☆69Updated this week
• epfml / getting-started
  ☆17Updated 2 weeks ago
• epfl-ada / 2023
  Materials for Applied Data Analysis CS-401, Fall 2023
  ☆38Updated 9 months ago
• epfl-ada / 2022
  Materials for Applied Data Analysis CS-401, Fall 2022
  ☆24Updated last year
• epfl-ada / 2020
  Materials for Applied Data Analysis CS-401, fall 2020
  ☆48Updated last year
• EPIC-guide / epic-guide.github.io
  Guidebook for IC PhD life at EPFL
  ☆15Updated this week
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆15Updated 9 months ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆187Updated 7 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆229Updated 2 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆112Updated this week
• dsparber / algolab
  My solutions for the ETH Algorithms Lab 2020
  ☆36Updated 3 years ago
• waterhorse1 / ChessGPT
  (NeurIPS 2023) ChessGPT - Bridging Policy Learning and Language Modeling
  ☆98Updated last year
• epfml / OptML_course
  EPFL Course - Optimization for Machine Learning - CS-439
  ☆1,149Updated 4 months ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆134Updated 2 months ago
• albertqjiang / draft_sketch_prove
  ☆59Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆76Updated 2 years ago
• openai / lean-gym
  ☆176Updated last year
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆62Updated 7 months ago
• shaohua0116 / awesome-program
  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…
  ☆154Updated 3 years ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆135Updated last month
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
  ☆132Updated this week
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆197Updated last month
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆317Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆157Updated 10 months ago