Michele Mignani

Michele26

·

AI & ML interests

None yet

Recent Activity

updated a dataset 25 days ago

DSAVlab-UNIUD/MALLS_test_subset-CURATED

updated a dataset 25 days ago

DSAVlab-UNIUD/FOLIO_validation-curated

authored a paper 5 months ago

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

View all activity

Organizations

updated 2 datasets 25 days ago

DSAVlab-UNIUD/MALLS_test_subset-CURATED

Updated 25 days ago • 68

DSAVlab-UNIUD/FOLIO_validation-curated

Preview • Updated 25 days ago • 241

authored 2 papers 5 months ago

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

Paper • 2511.11816 • Published Nov 14, 2025

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

Paper • 2606.02837 • Published Jun 1

published 2 datasets 5 months ago

DSAVlab-UNIUD/MALLS_test_subset-CURATED

Updated 25 days ago • 68

DSAVlab-UNIUD/FOLIO_validation-curated

Preview • Updated 25 days ago • 241