25 citations · 89 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 4 cited
AI Descartes: Combining Data and Theory for Derivable Scientific Discovery
Cristina Cornelio, Sanjeeb Dash, Vernon Austel +6
Scientists have long aimed to discover meaningful formulae which accurately describe experimental data. A common approach is to manually create mathematical models of natural pheno…
cs.AI2021
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…