Sleeping
Babel Proof Translator
💻
Translate proof between Lean 4 and Rocq prover
Théo Stoskopf PRO
theostos
AI & ML interests
None yet
Recent Activity
updated a dataset 10 days ago
theostos/pile-of-rocq published a dataset 10 days ago
theostos/pile-of-rocq published a model 10 days ago
theostos/Qwen2.5-Coder-32B-Instruct-MizarifyOrganizations
spaces 6
Sleeping
Babel SSReflect
📚
Translate vanilla Rocq into SSReflect proof
Sleeping
LLM4Docq Retrieval
👁
Search for MathComp element using natural language query
Runtime error
LLM4Docq Annotator
🐠
Annotate Rocq code automatically, description ↔ statement
Sleeping
LLM4Docq Cosim
🐨
FAISS-index
Sleeping
Rocq Server
🐠
Rocq server
models 8
theostos/babel-ssreflect-fp8
33B • Updated
theostos/babel-translate-fp8
33B • Updated • 2
theostos/LLM4Docq-annotator-fp8
33B • Updated • 2
theostos/LLM4Docq-annotator
33B • Updated • 4
theostos/babel-translate
33B • Updated • 1
theostos/babel-ssreflect
33B • Updated • 2
theostos/Qwen2.5-Coder-32B-Instruct-Mizarify
33B • Updated • 9
theostos/zLlamask
Updated • 2
datasets 10
theostos/pile-of-rocq
Viewer • Updated • 46.7M • 1.73k
theostos/crrracq
Viewer • Updated • 3.5M • 13
theostos/llm4docq-mathcomp
Viewer • Updated • 22.8k • 11
theostos/llm4docq-coq
Viewer • Updated • 2.3k • 4
theostos/mizarify-eval
Viewer • Updated • 100 • 11
theostos/mizarify-train
Viewer • Updated • 1k • 6
theostos/mini-zBoolQ
Viewer • Updated • 388 • 8
theostos/mini-zMMLU
Viewer • Updated • 387 • 6
theostos/mini-zSlimOrca
Viewer • Updated • 677 • 7
theostos/mini-zSQuAD
Viewer • Updated • 783 • 2