SuperIntelligence - Robotics - Safety & Alignment 2026 — papers
The works of SuperIntelligence - Robotics - Safety & Alignment published in 2026 that our library holds: 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.
Most cited papers
- The 2025 Foundation Model Transparency Index ↗Alexander Wan, Kevin Klyman, Sayash Kapoor et al.7 citations
- GDPVAL: Evaluating AI Model Performance on Real-World Economically Valuable Tasks ↗Tejal Patwardhan, Rachel Dias, Elizabeth Proehl et al.6 citations
- Aristotle: IMO-level Automated Theorem ProvingTudor Achim, Alex J. Best, Alberto Bietti et al.2 citations · our summary
- The Iceberg Index: Measuring Workforce Exposure in the AI Economy ↗Ayush Chopra, Santanu Bhattacharya, DeAndrea Salvador et al.2 citations
- Why Today’s Humanoids Won’t Learn Dexterity ↗Rodney A. Brooks1 citation
All works of the year (20)
- The 2025 Foundation Model Transparency Index ↗Alexander Wan, Kevin Klyman, Sayash Kapoor et al.7 citations
- GDPVAL: Evaluating AI Model Performance on Real-World Economically Valuable Tasks ↗Tejal Patwardhan, Rachel Dias, Elizabeth Proehl et al.6 citations
- Aristotle: IMO-level Automated Theorem ProvingTudor Achim, Alex J. Best, Alberto Bietti et al.2 citations · our summary
- The Iceberg Index: Measuring Workforce Exposure in the AI Economy ↗Ayush Chopra, Santanu Bhattacharya, DeAndrea Salvador et al.2 citations
- Why Today’s Humanoids Won’t Learn Dexterity ↗Rodney A. Brooks1 citation
- "Unconditional Basic Meaning as Digital Public Good" ↗Jeffrey E. Arle
- AI for Mathematics: Progress, Challenges, and Prospects ↗Haocheng Ju, Bin Dong
- Automated Conjecture Resolution with Formal VerificationHaocheng Ju, Guoxiong Gao, Jiedong Jiang et al.our summary
- Axiom Bits and Proof Length: Short Review ↗Cristian 1952- Calude
- Explanations of the Fermi Paradox and the Drake Equation ↗Kristen W. Carlson
- HYDRA: A Hybrid Heuristic-Guided Deep Representation Architecture for Predicting Latent Zero-Day Vulnerabilities in Patched Functions ↗Mohammad Farhad, Sabbir Rahman, Shuvalaxmi Dass
- SI Report-Harmonic Aristotle Automated Theorem Prover ↗Kristen W. Carlson
- ScientistTwo: Pioneering the Human Knowledge Frontier with Autonomous AI ↗Jaehyun Nam, Jinsung Yoon, Yanzhou Pan et al.
- The AI Productivity Index (APEX) ↗Bertie Vidgen, Abby Fennelly, Evan Pinnix et al.
- UN AI Safety Meeting September 23, 2026: Brief Summary ↗Kristen W. Carlson
- Unconditional Basic Meaning as Digital Public Good ↗Soenke Ziesche, Roman V. Yampolskiy
- What AI evaluations for preventing catastrophic risk can and cannot do ↗Peter Barnett, Lisa Thiergart
- Why AI Alignment Failure Is Structural: Learned Human Interaction Structures and AGI as an Endogenous Evolutionary Shock ↗Didier Sornette, Sandro Claudio Lera, Ke Wu
Works with our summary in our library (1)
- Automated Conjecture Resolution with Formal VerificationSuperIntelligence - Robotics - Safety & AlignmentHaocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.2026 · 5 citations
Fields
Top authors
🧑🔬Bin Wu1 work here · 5 citations🧑🔬Guoxiong Gao1 work here · 5 citations🧑🔬Haocheng Ju1 work here · 5 citations🧑🔬Jiedong Jiang1 work here · 5 citations🧑🔬Peihao Wu1 work here · 5 citations🧑🔬Wanyi He1 work here · 5 citations🧑🔬Yutong Wang1 work here · 5 citations🧑🔬Zichen Wang1 work here · 5 citations
Top institutions
🎓Tianjin UniversityTianjin ·
China1 work here🎓Peking UniversityBeijing ·
China1 work here🎓Kyoto UniversityKyoto ·
Japan1 work here🎓Westlake UniversityHangzhou ·
China1 work here🎓Great Bay UniversityDongguan ·
China1 work here🎓Stanford UniversityStanford ·
United States1 work here
This page in Markdown → https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/2026/