%0 Journal Article %1 journals/corr/abs-2402-11871 %A Shah, Naman %A Nagpal, Jayesh %A Verma, Pulkit %A Srivastava, Siddharth %D 2024 %J CoRR %K dblp %T From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-11871 %V abs/2402.11871

@article{journals/corr/abs-2402-11871, added-at = {2024-05-05T00:00:00.000+0200}, author = {Shah, Naman and Nagpal, Jayesh and Verma, Pulkit and Srivastava, Siddharth}, biburl = {https://www.bibsonomy.org/bibtex/21aeded945f81c019769c9499ea7cfad9/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.11871}, interhash = {fb1a494904ffab81c0218ce01b7862ed}, intrahash = {1aeded945f81c019769c9499ea7cfad9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-13T07:35:50.000+0200}, title = {From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-11871}, volume = {abs/2402.11871}, year = 2024 }