LLM4Rocq

university

https://github.com/LLM4Rocq

LLM4Rocq

AI & ML interests

None defined yet.

LLM4Rocq 's datasets 1

LLM4Rocq/miniF2F-rocq

Viewer • Updated May 14 • 488 • 60 • 2