Files in this item

FilesDescriptionFormat

application/pdf

application/pdfIBM Theorm prov ... ience 1 page - Draft 2.pdf (51kB)
(no description provided)PDF

application/pdf

application/pdfProposed Plan o ... actions) (Final Draft).pdf (61kB)
(no description provided)PDF

Description

Title:Sketching: a Cognitively inspired Compositional Theorem Prover that Learns to Prove - a Proposal
Author(s):Brando Miranda
Subject(s):meta-learning
machine learning
sketching
theorem proving
agi
ai safety
AI
artificial general intelligence
automatic theorem proving
Abstract:Mathematics is a powerful tool that has benefited humanity for millenia. Proficiency in this subject has far reaching implications for society because physics, mechanical engineering, computer science, statistics, machine learning and the scientific method itself depend on it. For example, being able to automate mathematical proofs would allow us to create safe and interpretable A.I. because a system with provable guarantees is a system we understand and can trust. This is why in this proposal we suggest a novel way of implementing the concept of sketching for automated theorem provers using powerful ideas from cognitive science and artificial neural networks; these ideas are: compositionality, learning-to-learn, learning as model building and curriculum-learn.
Issue Date:2020-12-23
Genre:Proposal
Type:Text
URI:http://hdl.handle.net/2142/109134
Date Available in IDEALS:2020-12-23


This item appears in the following Collection(s)

Item Statistics