Cite
Notes
Only stored in your browser.
Attribution
MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
arXiv 2025
FLEX: an Adaptive Exploration Algorithm for Nonlinear Systems
arXiv 2023
from 2 papers
Emilio Jesùs Gallego Arias
Guillaume Baudart
Jules Viennot
Matthieu Blanke