Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a dataset 10 days ago

theostos/llm4docq-mathcomp

published a dataset 10 days ago

theostos/llm4docq-mathcomp

updated a dataset 10 days ago

theostos/llm4docq-coq

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