https://www.matteomancanelli.com/ https://www.matteomancanelli.com/en/AAAI26_QR_webpage https://www.matteomancanelli.com/en/SitCalc-Abstractions-for-Program-Synthesis https://www.matteomancanelli.com/en/activities https://www.matteomancanelli.com/en/bio https://www.matteomancanelli.com/en/publications https://www.matteomancanelli.com/en/teaching