ANNs obscure generated theorems in a form of weighed graphs unreadable to humans. I, as a human, want to be able to actually read, browse, and examine generated theorems as possible theories about given input/output sets.
Under which name I should be able to find such an app on the internet? ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T478197684aba08de-Me25f9e67566a8005bb4f1517 Delivery options: https://agi.topicbox.com/groups/agi/subscription