Data Science and Automatic Verification Laboratory

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

nsacco  authored a paper 21 days ago

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy

Michele26  authored a paper 21 days ago

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy

nsacco  updated a dataset 21 days ago

DSAVlab-UNIUD/MALLS_test_subset-CURATED

View all activity

Papers

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling

View all Papers

Team members 4