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
models 0
None public yet
datasets 0
None public yet