Spaces:
Running
Running
Update README.md
Browse files
README.md
CHANGED
|
@@ -7,4 +7,7 @@ sdk: static
|
|
| 7 |
pinned: false
|
| 8 |
---
|
| 9 |
|
| 10 |
-
|
|
|
|
|
|
|
|
|
|
|
|
| 7 |
pinned: false
|
| 8 |
---
|
| 9 |
|
| 10 |
+
Official Organization for the course Large Language Models for Code and Proof, joint between MVA and IASD.
|
| 11 |
+
|
| 12 |
+
Communications with students are happening on the [https://discord.gg/r2sTZHVSJW](Discord server).
|
| 13 |
+
The [official website](https://llm.labri.fr/) gathers documents (slides, recordings).
|