Fey, GörschwinGörschwinFeyFoster, HarryHarryFosterGhasempuri, TaraTaraGhasempuriGopalan, BadriBadriGopalanMüller, JörgJörgMüllerPandey, ManishManishPandey2025-06-102025-06-102025-03Design, Automation and Test in Europe Conference, DATE 2025https://hdl.handle.net/11420/55849Specifications for complex designs and their consistency are always a headache. Automated specification mining - including but not limited to generative AI - offers attractive solutions, but there are also various unmet needs.enDesignDocumentationSpecificationVerificationTechnology::600: TechnologyConference Paper10.23919/DATE64628.2025.10992819Conference Paper