Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a Space about 1 month ago

theostos/Babel-proof-translator

updated a Space about 1 month ago

theostos/Babel-ssreflect

updated a Space about 1 month ago

theostos/LLM4Docq-retrieval

View all activity

Organizations

theostos 's Spaces 6

Babel Proof Translator

Translate proof between Lean 4 and Rocq prover

Babel SSReflect

Translate vanilla Rocq into SSReflect proof

LLM4Docq Retrieval

Search for MathComp element using natural language query

LLM4Docq Annotator

Annotate Rocq code automatically, description ↔ statement

LLM4Docq Cosim

FAISS-index

Rocq Server

Rocq server