ResearchBenchmarksVerification on F-expVerification on F-expFollow0.22Execution Time (s)MLPGur0.03121.30562.583.8544Feb 6, 2026Evaluation resultsMethodMethodLinksExecution Time (s)Average Output Bound WidthMLPGur[I, O]=[2, 1], K/M=0.45[I, O]=[2, 1], K/M=0.452026.020.222.52MLPLir[I, O]=[2, 1], K/M=0.45[I, O]=[2, 1], K/M=0.452026.020.455.24KANV[I, O]=[2, 1], K/M=0.45[I, O]=[2, 1], K/M=0.452026.020.562.47KANO[I, O]=[2, 1], K/M=0.45[I, O]=[2, 1], K/M=0.452026.024.942.45