Leoveanu-Condrei, Claudiu

1 publications

CoLLAs 2024 SymbolicAI: A Framework for Logic-Based Approaches Combining Generative Models and Solvers Marius-Constantin Dinu, Claudiu Leoveanu-Condrei, Markus Holzleitner, Werner Zellinger, Sepp Hochreiter