DSAVlab-UNIUD/FOLIO_validation-curated
Preview • Updated • 206
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
View all activity
Papers
Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling
Organization Card
Edit this README.md markdown file to author your organization card.
models 0
None public yet