MVA+IASD LLM for code and proof

LLM-course's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

nathanael-fijalkow 

updated a Space about 4 hours ago

Running

2

Agentic Zork

🎮

2

Third assignment: Playing Zork has never been so boring!

nathanael-fijalkow 

updated 2 Spaces 6 days ago

Running

4

The Lipogram Challenge

🐠

4

First assignment: La Disparition and Toulouse cancelling

Running

Text Adventure Agent Submission

🗺

Display Text Adventure Agent submission details

nathanael-fijalkow 

updated a Space 9 days ago

Running

8

Chess Challenge Arena

♟

8

Second assignment: Play Chess like a Honey Bee

Dhia-GB 

authored a paper 4 months ago

Apertus: Democratizing Open and Compliant LLMs for Global Language Environments

Paper • 2509.14233 • Published Sep 17, 2025 • 16

haiphamcse 

authored a paper about 1 year ago

SharpDepth: Sharpening Metric Depth Predictions Using Diffusion Distillation

Paper • 2411.18229 • Published Nov 27, 2024 • 1

AnnaWegmann 

authored 2 papers over 1 year ago

What's Mine becomes Yours: Defining, Annotating and Detecting Context-Dependent Paraphrases in News Interview Dialogs

Paper • 2404.06670 • Published Apr 10, 2024 • 1

Same Author or Just Same Topic? Towards Content-Independent Style Representations

Paper • 2204.04907 • Published Apr 11, 2022 • 1