ResearchBenchmarksFormal concept construction on Dataset 4Follow1,715.39Generation time (s)HECC1,402.97883,511.75445,620.537,729.3056Nov 27, 2025Evaluation ResultsMethodMethodLinksGeneration time (s)HECC2025.111,715.39TIA2025.112,216TEM2025.119,525.67