Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Plan Generation on Robo Challenge (Offline)

100Plan Accuracy

CP-SAT Formalizer

9.41632.93356.4579.967May 31, 2026
Updated 1d ago

Evaluation Results

MethodLinks
2026.05
100
2026.05
99.3
2026.05
97.9
2026.05
97.9
2026.05
67.9
2026.05
59.3
2026.05
55.7
2026.05
52.9
2026.05
46.4
2026.05
40.7
2026.05
27.9
2026.05
12.9