AI & ML interests
Neurosymbolic AI, formal verification, interpretability, auto-formalization, learning specification from data, logic. Official repository of the Data Science and Automatic Verification Laboratory @ University of Udine
Recent Activity
Papers
Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling
DSAVlab-UNIUD 's models
None public yet