https://hackerpaper.kaipfister.de/p/2109.01634/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=31735538urn:hackerpapers:mention:2109.01634:31735538Tue, 14 Jun 2022 06:48:28 GMT<p>https://arxiv.org/abs/2109.01634 Scientists have long aimed to discover meaningful formulae which accurately describe experimental data. One common approach is to manually create mathematical models of natural phenomena using domain knowledge, then fit these models to data. In contrast, machine-learning algorithms automate the construction of accurate data-driven models while consuming large amounts of data. Ensuring that such models are consistent with existing knowledge is an open problem. We develop a method for combining logical reasoning with symbolic regression, enabling principled…</p><p><a href="https://hackerpaper.kaipfister.de/p/2109.01634/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI