Validation-Verification

11 Items

Theory and methods of validation and verification of AGI software and hardware.

All Items

  • Aligning Artificial Superintelligence via a Multi-Box Protocol

    Avraham Yair Negozio
    DOI: https://doi.org/10.70777/si.v2i5.15579
  • Figure 2. Aristotle system architecture and theorem-proving workflow.

    Aristotle: IMO-level Automated Theorem Proving

    Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, Lawrence Wu
    DOI: https://doi.org/10.70777/si.v3i3.18745
  • Archon workflow showing scaffolding, proving, and verification stages in the formal theorem-proving agent.

    Automated Conjecture Resolution with Formal Verification

    Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Shurui Liu, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong
    DOI: https://doi.org/10.70777/si.v3i3.18746
  • Benchmarking-Red teaming flowchart

    Benchmark Early and Red Team Often A Framework for Assessing and Managing Dual-Use Hazards of Ai Foundation Models

    Anthony Barrett, Krystal Jackson, Evan R. Murphy, Nada Madkour, Jessica Newman
    DOI: https://doi.org/10.70777/si.v1i1.10601
  • HELIOS collusion-detection framework: agents communicate, internal activations are extracted and scored, evidence is aggregated across agents, and a hypothesis test distinguishes collusion from honest behavior.

    Detecting Multi-Agent Collusion Through Multi-Agent Interpretability

    Aaron Rose, Carissa Cullen, Sahar Abdelnabi, Philip Torr, Brandon Gary Kaplowitz, Christian Schroeder de Witt
    47
    DOI: https://doi.org/10.70777/si.v3i4.18909

  • Explanations of the Fermi Paradox and the Drake Equation

    Kris
    DOI: https://doi.org/10.70777/si.v3i4.18374

  • Highlights of the Issue: Singapore Consensus – Safety Technology In Progress

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v2i5.15525
  • Bengio et al-Number of AI-enabled biological tools over time

    International Al Safety Report: First Key Update Capabilities and Risk Implications

    Yoshua Bengio, Stephen Clare, Carina Prunkl, Maksym Andriushchenko, Benjamin Bucknall, Philip Fox, Tiancheng Hu, Cameron Jones, Sam Manning, Nestor Maslej, Vasilios Mavroudis, Conor McGlynn, Malcolm Murray, Shalaleh Rismani, Charlotte Stix, Lucia Velasco, Nicole Wheeler, Daniel Privitera, Sören Mindermann, Daron Acemoglu, Thomas G. Dietterich, Fredrik Heintz, Geoffrey Hinton, Nick Jennings, Susan Leavy, Teresa Ludermir, Vidushi Marda, Helen Margetts, John McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Sarvapali D. (Gopal) Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Alvaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Ya-Qin Zhang, Leandro Angelo Aguirre, Olubunmi Ajala, Fahad Albalawi, Noora AlMalek, Christian Busch, André Carlos Ponce de Leon Ferreira de Carvalho, Jonathan Collas, Amandeep Gill, Ahmet Halit Hatip, Juha Heikkilä, Chris Johnson, Gill Jolly, Ziv Katzir, Mary N. Kerema, Hiroaki Kitano, Antonio Krüger, Aoife McLysaght, Oleksii Molchanovskyi, Andrea Monti, Kyoung Mu Lee, Mona Nemer, Nuria Oliver, Raquel Pezoa, Audrey Plonk, José Ramón López Portillo, Balaraman Ravindran, Hammam Riza, Crystal Rugege, Haroon Sheikh, Denise Wong, Yi Zeng, Liming Zhu
    DOI: https://doi.org/10.70777/si.v2i6.16253
  • Organizational requirements and other factors inform the specific objectives and requirements of an AI evaluation

    Outline: Proposed Zero Draft for a Standard on AI Testing, Evaluation, Verification, and Validation

    NIST
    DOI: https://doi.org/10.70777/si.v2i5.15513
  • Two charts from Figure 1: the left shows ScientistTwo expanding the research frontier across fields, and the right shows relative gains over human state-of-the-art results.

    ScientistTwo: Pioneering the Human Knowledge Frontier with Autonomous AI

    Jaehyun Nam, Jinsung Yoon, Yanzhou Pan, Yubo Wang, Rui Meng, Parthasarathy Ranganathan, Tomas Pfister
    DOI: https://doi.org/10.70777/si.v3i3.18734

  • SI Report-Harmonic Aristotle Automated Theorem Prover

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v3i3.18760