@article{cornelio_integration_2021,
	title = {Integration of {Data} and {Theory} for {Accelerated} {Derivable} {Symbolic} {Discovery}},
	url = {http://arxiv.org/abs/2109.01634},
	abstract = {Scientists have long aimed to discover meaningful equations which accurately describe data. Machine learning algorithms automate construction of accurate data-driven models, but ensuring that these are consistent with existing knowledge is a challenge. We developed a methodology combining automated theorem proving with symbolic regression, enabling principled derivations of laws of nature. We demonstrate this for Kepler's third law, Einstein's relativistic time dilation, and Langmuir's theory of adsorption, in each case, automatically connecting experimental data with background theory. The combination of logical reasoning with machine learning provides generalizable insights into key aspects of the natural phenomena.},
	urldate = {2021-09-10},
	journal = {arXiv:2109.01634 [cs]},
	author = {Cornelio, Cristina and Dash, Sanjeeb and Austel, Vernon and Josephson, Tyler and Goncalves, Joao and Clarkson, Kenneth and Megiddo, Nimrod and Khadir, Bachir El and Horesh, Lior},
	month = sep,
	year = {2021},
	note = {arXiv: 2109.01634},
}

{"_id":"fCmXeq6Gf7H88m5Ln","bibbaseid":"cornelio-dash-austel-josephson-goncalves-clarkson-megiddo-khadir-etal-integrationofdataandtheoryforacceleratedderivablesymbolicdiscovery-2021","author_short":["Cornelio, C.","Dash, S.","Austel, V.","Josephson, T.","Goncalves, J.","Clarkson, K.","Megiddo, N.","Khadir, B. E.","Horesh, L."],"bibdata":{"bibtype":"article","type":"article","title":"Integration of Data and Theory for Accelerated Derivable Symbolic Discovery","url":"http://arxiv.org/abs/2109.01634","abstract":"Scientists have long aimed to discover meaningful equations which accurately describe data. Machine learning algorithms automate construction of accurate data-driven models, but ensuring that these are consistent with existing knowledge is a challenge. We developed a methodology combining automated theorem proving with symbolic regression, enabling principled derivations of laws of nature. We demonstrate this for Kepler's third law, Einstein's relativistic time dilation, and Langmuir's theory of adsorption, in each case, automatically connecting experimental data with background theory. The combination of logical reasoning with machine learning provides generalizable insights into key aspects of the natural phenomena.","urldate":"2021-09-10","journal":"arXiv:2109.01634 [cs]","author":[{"propositions":[],"lastnames":["Cornelio"],"firstnames":["Cristina"],"suffixes":[]},{"propositions":[],"lastnames":["Dash"],"firstnames":["Sanjeeb"],"suffixes":[]},{"propositions":[],"lastnames":["Austel"],"firstnames":["Vernon"],"suffixes":[]},{"propositions":[],"lastnames":["Josephson"],"firstnames":["Tyler"],"suffixes":[]},{"propositions":[],"lastnames":["Goncalves"],"firstnames":["Joao"],"suffixes":[]},{"propositions":[],"lastnames":["Clarkson"],"firstnames":["Kenneth"],"suffixes":[]},{"propositions":[],"lastnames":["Megiddo"],"firstnames":["Nimrod"],"suffixes":[]},{"propositions":[],"lastnames":["Khadir"],"firstnames":["Bachir","El"],"suffixes":[]},{"propositions":[],"lastnames":["Horesh"],"firstnames":["Lior"],"suffixes":[]}],"month":"September","year":"2021","note":"arXiv: 2109.01634","bibtex":"@article{cornelio_integration_2021,\n\ttitle = {Integration of {Data} and {Theory} for {Accelerated} {Derivable} {Symbolic} {Discovery}},\n\turl = {http://arxiv.org/abs/2109.01634},\n\tabstract = {Scientists have long aimed to discover meaningful equations which accurately describe data. Machine learning algorithms automate construction of accurate data-driven models, but ensuring that these are consistent with existing knowledge is a challenge. We developed a methodology combining automated theorem proving with symbolic regression, enabling principled derivations of laws of nature. We demonstrate this for Kepler's third law, Einstein's relativistic time dilation, and Langmuir's theory of adsorption, in each case, automatically connecting experimental data with background theory. The combination of logical reasoning with machine learning provides generalizable insights into key aspects of the natural phenomena.},\n\turldate = {2021-09-10},\n\tjournal = {arXiv:2109.01634 [cs]},\n\tauthor = {Cornelio, Cristina and Dash, Sanjeeb and Austel, Vernon and Josephson, Tyler and Goncalves, Joao and Clarkson, Kenneth and Megiddo, Nimrod and Khadir, Bachir El and Horesh, Lior},\n\tmonth = sep,\n\tyear = {2021},\n\tnote = {arXiv: 2109.01634},\n}\n\n","author_short":["Cornelio, C.","Dash, S.","Austel, V.","Josephson, T.","Goncalves, J.","Clarkson, K.","Megiddo, N.","Khadir, B. E.","Horesh, L."],"key":"cornelio_integration_2021","id":"cornelio_integration_2021","bibbaseid":"cornelio-dash-austel-josephson-goncalves-clarkson-megiddo-khadir-etal-integrationofdataandtheoryforacceleratedderivablesymbolicdiscovery-2021","role":"author","urls":{"Paper":"http://arxiv.org/abs/2109.01634"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/zotero-group/nicoguaro/525293","dataSources":["YtBDXPDiQEyhyEDZC","fhHfrQgj3AaGp7e9E","qzbMjEJf5d9Lk78vE","45tA9RFoXA9XeH4MM","MeSgs2KDKZo3bEbxH","nSXCrcahhCNfzvXEY","ecatNAsyr4f2iQyGq","tpWeaaCgFjPTYCjg3"],"keywords":[],"search_terms":["integration","data","theory","accelerated","derivable","symbolic","discovery","cornelio","dash","austel","josephson","goncalves","clarkson","megiddo","khadir","horesh"],"title":"Integration of Data and Theory for Accelerated Derivable Symbolic Discovery","year":2021}