On AI Generated Reductions from Natural Language Descriptions. - Maurice Herwig; Norbert Hundeshagen; Cedric Kollenberg; Robin Weber (DeLFI, 2025)