%0 Conference Paper %1 conf/mkm/HesterHPOSY23 %A Hester, John %A Hitaj, Briland %A Passmore, Grant O. %A Owre, Sam %A Shankar, Natarajan %A Yeh, Eric %B CICM %D 2023 %E Dubois, Catherine %E Kerber, Manfred %I Springer %K dblp %P 297-302 %T An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#HesterHPOSY23 %V 14101 %@ 978-3-031-42753-4

@inproceedings{conf/mkm/HesterHPOSY23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Hester, John and Hitaj, Briland and Passmore, Grant O. and Owre, Sam and Shankar, Natarajan and Yeh, Eric}, biburl = {https://www.bibsonomy.org/bibtex/213a99e5c377888bb20c913c382845530/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2023}, editor = {Dubois, Catherine and Kerber, Manfred}, ee = {https://doi.org/10.1007/978-3-031-42753-4_21}, interhash = {01cad51cf879d3e7d45d7037d2766743}, intrahash = {13a99e5c377888bb20c913c382845530}, isbn = {978-3-031-42753-4}, keywords = {dblp}, pages = {297-302}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:45:46.000+0200}, title = {An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#HesterHPOSY23}, volume = 14101, year = 2023 }