Baert, MattijsMattijsBaertLeroux, SamSamLerouxSimoens, PieterPieterSimoens2024-12-032024-11-292024-12-022024-12-032023*****************1613-0073WOS:001333803200006https://imec-publications.be/handle/20.500.12860/44863Learning Logic Constraints from DemonstrationProceedings paperWOS:001333803200006