Pinned Loading

1. Machine-Learning-Course Machine-Learning-Course Public

   Course in machine learning for students of Richelie Lyceum

   Jupyter Notebook 15 13

2. m1-internship m1-internship Public

   Code for M1 internship "From Point to Interval Estimates of Scattering Statistics in the Component Separation Task"

   Jupyter Notebook 1

3. coq-ai coq-ai Public

   Coq & LLM Integration Experiments

   Jupyter Notebook 2

4. PCCoder PCCoder Public

   Forked from amitz25/PCCoder

   Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"

   Python

5. random-coffee random-coffee Public

   Meet random people!

   Go

6. cosmology-library cosmology-library Public

   C++