9 citations · 11 across the 3 of their papers we have counts for
3 papers
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
Ben Goertzel, Vitaly Bogdanov, Michael Duncan +10
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI f…
An Evaluation of GPT-4 on the ETHICS Dataset
Sergey Rodionov, Zarathustra Amadeus Goertzel, Ben Goertzel
This report summarizes a short study of the performance of GPT-4 on the ETHICS dataset. The ETHICS dataset consists of five sub-datasets covering different fields of ethics: Justic…
MizAR 60 for Mizar 50
Jan Jakubův, Karel Chvalovský, Zarathustra Goertzel +6
As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60\% of the Mizar theorems in the hammer setting. We also automatically pr…