%0 Journal Article %1 journals/corr/abs-2402-00854 %A Dinu, Marius-Constantin %A Leoveanu-Condrei, Claudiu %A Holzleitner, Markus %A Zellinger, Werner %A Hochreiter, Sepp %D 2024 %J CoRR %K dblp %T SymbolicAI: A framework for logic-based approaches combining generative models and solvers. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-00854 %V abs/2402.00854

@article{journals/corr/abs-2402-00854, added-at = {2024-02-09T00:00:00.000+0100}, author = {Dinu, Marius-Constantin and Leoveanu-Condrei, Claudiu and Holzleitner, Markus and Zellinger, Werner and Hochreiter, Sepp}, biburl = {https://www.bibsonomy.org/bibtex/2f741c534df91c38eca23186498b1e707/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.00854}, interhash = {4e9c6de51f76685fefb7a9d17f9a4b43}, intrahash = {f741c534df91c38eca23186498b1e707}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:25:27.000+0200}, title = {SymbolicAI: A framework for logic-based approaches combining generative models and solvers.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-00854}, volume = {abs/2402.00854}, year = 2024 }