Works of Perimeter Institute from 2025
- Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
This page in Markdown → https://md.research.elamur.ai/free/en/labs/perimeter-institute/year/2025/