Graffiti3 : Compact Theory Libraries for Automated Mathematical Discovery

Abstract excerpt

<title>Abstract</title> <p>We study automated conjecturing: the computer-assisted generation of human-readable symbolic statements intended for expert inspection and subsequent proof or refutation. We formalize conjecture generation as theory selection over a finite, evolving evidence base represented by a streaming invariant table, whose rows (objects) and columns (invariants, predicates, and derived features) e...

Topics

Open a Topic to create a Post that cites this publication.

• Genetic Code
• Human Genome Project
• Immunoglobulins
• Molecular Biology
• Mutation

Identifiers and source

Literature Corpus work

78a32045-42cb-5226-8c95-0a6835876e7c

DOI

10.21203/rs.3.rs-8493329/v1