Hugging Face's logo

LLM4Rocq

university
https://github.com/LLM4Rocq
LLM4Rocq
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

JulesViennot  authored a paper 11 days ago
MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
JulesViennot  updated a dataset 11 days ago
LLM4Rocq/miniF2F-rocq
JulesViennot  published a dataset 11 days ago
LLM4Rocq/miniF2F-rocq
View all activity

models

None public yet