Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Verification on F-exp
Loading...
0.22
Execution Time (s)
MLPGur
0.0312
1.3056
2.58
3.8544
Feb 6, 2026
Execution Time (s)
Average Output Bound Width
Updated 1mo ago
Evaluation Results
Method
Method
Links
Execution Time (s)
Average Output Bound Width
MLPGur
[I, O]=[2, 1], K/M=0.45
2026.02
0.22
2.52
MLPLir
[I, O]=[2, 1], K/M=0.45
2026.02
0.45
5.24
KANV
[I, O]=[2, 1], K/M=0.45
2026.02
0.56
2.47
KANO
[I, O]=[2, 1], K/M=0.45
2026.02
4.94
2.45
Feedback
Search any
task
Search any
task
