Fig. 5: Coefficient distance between scientific formula derived by AI-Hilbert and ground truth.
From: Evolving scientific discovery by unifying data and background knowledge with AI Hilbert

The x-axis depicts the number of data points where we omit some axioms (a), or all axioms (b).