MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
Paper
•
2503.04763
•
Published
Institut National de Recherche en Informatique et en Automatique
Verified
AI & ML interests
None defined yet.
Recent Activity
View all activity
INRIA's activity
JulesViennot
authored
a
paper
about 1 month ago
misovalko
authored
a
paper
6 months ago
rntc
authored
a
paper
6 months ago
tfuron
authored
8
papers
7 months ago
The Stable Signature: Rooting Watermarks in Latent Diffusion Models
Paper
•
2303.15435
•
Published
Three Bricks to Consolidate Watermarks for Large Language Models
Paper
•
2308.00113
•
Published
•
14
Proactive Detection of Voice Cloning with Localized Watermarking
Paper
•
2401.17264
•
Published
•
19
Watermarking Images in Self-Supervised Latent Spaces
Paper
•
2112.09581
•
Published
Watermarking Makes Language Models Radioactive
Paper
•
2402.14904
•
Published
•
25
Active Image Indexing
Paper
•
2210.10620
•
Published
WaterMax: breaking the LLM watermark detectability-robustness-quality trade-off
Paper
•
2403.04808
•
Published
How to choose your best allies for a transferable attack?
Paper
•
2304.02312
•
Published
ananthu-aniraj
authored
a
paper
8 months ago
sileod
authored
a
paper
9 months ago
DavidLapous
authored
4
papers
9 months ago
Differentiability and Optimization of Multiparameter Persistent Homology
Paper
•
2406.07224
•
Published
A Framework for Fast and Stable Representations of Multiparameter Persistent Homology Decompositions
Paper
•
2306.11170
•
Published
Stable Vectorization of Multiparameter Persistent Homology using Signed Barcodes as Measures
Paper
•
2306.03801
•
Published
Fast, Stable and Efficient Approximation of Multi-parameter Persistence Modules with MMA
Paper
•
2206.02026
•
Published
sileod
authored
a
paper
9 months ago
sileod
authored
a
paper
10 months ago