1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Top-down Automated Theorem Proving (Notes for Sir Timothy)
C. E. Larson, N. Van Cleemput
We describe a "top down" approach for automated theorem proving (ATP). Researchers might usefully investigate the forms of the theorems mathematicians use in practice, carefully ex…
cs.LG2020★ 1 cited
Conjecturing-Based Discovery of Patterns in Data
J. P. Brooks, D. J. Edwards, C. E. Larson +1
We propose the use of a conjecturing machine that suggests feature relationships in the form of bounds involving nonlinear terms for numerical features and boolean expressions for…