Théo Stoskopf PRO

theostos's activity

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

updated a dataset about 3 hours ago

theostos/llm4docq-mathcomp

Viewer • Updated about 3 hours ago • 22.8k

published a dataset about 3 hours ago

theostos/llm4docq-mathcomp

Viewer • Updated about 3 hours ago • 22.8k

updated a dataset about 3 hours ago

theostos/llm4docq-coq

Viewer • Updated about 3 hours ago • 2.3k

published a dataset about 3 hours ago

theostos/llm4docq-coq

Viewer • Updated about 3 hours ago • 2.3k

updated 4 Spaces about 1 month ago

Sleeping

Babel Proof Translator

💻

Translate proof between Lean 4 and Rocq prover

Sleeping

Babel SSReflect

📚

Translate vanilla Rocq into SSReflect proof

Sleeping

LLM4Docq Retrieval

👁

Search for MathComp element using natural language query

Sleeping

LLM4Docq Annotator

🐠

Annotate Rocq code automatically, description ↔ statement

published a Space about 1 month ago

Sleeping

Babel SSReflect

📚

Translate vanilla Rocq into SSReflect proof

updated 3 models about 1 month ago

theostos/babel-ssreflect-fp8

33B • Updated Oct 15 • 5

theostos/babel-translate-fp8

33B • Updated Oct 15 • 3

theostos/LLM4Docq-annotator-fp8

33B • Updated Oct 15 • 8

published 3 models about 1 month ago

theostos/babel-ssreflect-fp8

33B • Updated Oct 15 • 5

theostos/babel-translate-fp8

33B • Updated Oct 15 • 3

theostos/LLM4Docq-annotator-fp8

33B • Updated Oct 15 • 8

updated a model about 1 month ago

theostos/LLM4Docq-annotator

33B • Updated Oct 15 • 2

published a Space about 1 month ago

Sleeping

Babel Proof Translator

💻

Translate proof between Lean 4 and Rocq prover

published a model about 1 month ago

theostos/LLM4Docq-annotator

33B • Updated Oct 15 • 2

published 2 Spaces about 1 month ago

Sleeping

LLM4Docq Retrieval

👁

Search for MathComp element using natural language query

Sleeping

LLM4Docq Annotator

🐠

Annotate Rocq code automatically, description ↔ statement