Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
RNN-based navigation policy verification on Navigation 4x4 environment
Loading...
1.42
Avg. Violation Rate
RNN-ProVe
0.522
6.5835
12.645
18.7065
May 14, 2026
Avg. Violation Rate
1 - Delta
Epsilon (ϵ) Error
Time (s)
Updated 19d ago
Evaluation Results
Method
Method
Links
Avg. Violation Rate
1 - Delta
Epsilon (ϵ) Error
Time (s)
RNN-ProVe
Env size=4×4, GRU size...
2026.05
1.42
99
1
0.0271
Baseline
Env size=4×4, GRU size...
2026.05
1.43
-
-
215.58
Baseline
Env size=4×4, GRU size...
2026.05
1.44
-
-
223.13
RNN-ProVe
Env size=4×4, GRU size...
2026.05
1.62
99
3.11
0.0053
Monte-Carlo
Env size=4×4, GRU size...
2026.05
23.87
-
-
0.0244
Feedback
Search any
task
Search any
task