Hugging Face's logo
Jasper's picture
14 3

Jasper

JasperDekoninck
dark-pen's profile picture mislavb's profile picture yjernite's profile picture
·

AI & ML interests

None yet

Recent Activity

new activity 2 days ago
lm-provers/QED-Nano:Formal proofs
updated a collection 2 days ago
MathArena Benchmark
updated a collection 2 days ago
MathArena Outputs
View all activity

Organizations

Poly-Math's profile picture IMO Prover's profile picture SRI LAB's profile picture MathArena's profile picture LM Provers's profile picture AIMO Corpus's profile picture