Perimeter Institute
Research institute · PIWaterloo (Kitchener–Waterloo), Canadain the agglomeration of Kitchener–Waterloo
People (3)
Also published with this affiliation (3)
Works in our library (2)
- Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
Works by year
2020s
Fields, topics and concepts
📚 Shelves 7The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksArts and Humanities · 1 workComputer Vision and Pattern Recognition · 1 workLanguage and Linguistics · 1 workMathematics · 1 workComputational Theory and Mathematics · 1 work
🧭 Topics 1Research subjects and languages the work is about.Reasoning · 1 work
Collaborates with
- University of Southern California2 works shared
- Cornell University2 works shared
- University of Waterloo2 works shared
- California Institute of Technology2 works shared
- Google1 work shared
- Stanford University1 work shared
- Carnegie Mellon University1 work shared
- Microsoft1 work shared
- University of Washington1 work shared
- University of Edinburgh1 work shared
- University of California, Berkeley1 work shared
- University of Pennsylvania1 work shared
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/labs/perimeter-institute/