MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
Paper
•
2503.04763
•
Published
LLM4Rocq
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
LLM4Rocq's activity
JulesViennot
authored
a
paper
about 1 month ago
JulesViennot
updated
a
dataset
about 1 month ago
JulesViennot
published
a
dataset
about 1 month ago