Scientific discovery is a highly relevant task in natural sciences, however generating scientifically meaningful laws and determining their consistency remains challenging. The authors introduce an approach that exploits both experimental data and underlying theory in symbolic form to generate formulas that hold scientific significance by solving polynomial optimization problems.
- Ryan Cory-Wright
- Cristina Cornelio
- Lior Horesh
