EndedAI & MLEducationAR / VR
Edit Formal Maths Proofs Based on Instructions
Machine learning / data competition listed with official deadline 1 Jul 2025.
About this hackathon
Edit Formal Maths Proofs Based on Instructions
Official URL: https://www.codabench.org/competitions/8357/
Platform: Codabench
Sponsor: not listed
Deadline: 1 Jul 2025
Official prize text: not listed
Tracks
General Track
Machine learning / data competition listed with official deadline 1 Jul 2025.
Schedule
Jun 30, 04:00 PM
Tags
#mathematics#reasoning#llm#measurable#machine#learning#data#competition
Comments
0Similar hackathons
Open for registration
$30KOnline·Online
Arbitrum Open House Dubai: Online Buildathon
Build what’s next
AI & MLAR / VR
Nov 16, 202681
Open for registration
$18KOnline·Online
LaunchHacks V
LaunchHacks V is a upcoming Devpost hackathon. Submission window: Dec 11 - 15, 2026.
AI & MLEducationAR / VR
Dec 10, 2026903
Open for registration
TBAOnline·Online
niteCTF 2026
Upcoming public CTF event from CTFtime. Format: Jeopardy.
AI & MLWeb3 & CryptoRobotics & IoT
Dec 11, 20261