SymbolicAI: A framework for logic-based approaches combining generative models and solvers

@Article{Dinu2024SymbolicAIAF,
 author = {Marius-Constantin Dinu and Claudiu Leoveanu-Condrei and Markus Holzleitner and Werner Zellinger and Sepp Hochreiter},
 booktitle = {arXiv.org},
 journal = {ArXiv},
 title = {SymbolicAI: A framework for logic-based approaches combining generative models and solvers},
 volume = {abs/2402.00854},
 year = {2024}
}