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 Space
16 days ago
theostos/Babel-proof-translator
updated
a Space
16 days ago
theostos/Babel-ssreflect
updated
a Space
16 days ago
theostos/LLM4Docq-retrieval
Organizations
spaces
6
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
Sleeping
LLM4Docq Cosim
🐨
FAISS-index
Sleeping
Rocq Server
🐠
Rocq server
models
7
theostos/babel-ssreflect-fp8
33B
•
Updated
•
14
theostos/babel-translate-fp8
33B
•
Updated
•
16
theostos/LLM4Docq-annotator-fp8
33B
•
Updated
•
24
theostos/LLM4Docq-annotator
33B
•
Updated
•
35
theostos/babel-translate
33B
•
Updated
•
14
theostos/babel-ssreflect
33B
•
Updated
•
9
theostos/zLlamask
Updated