Autonomous LLM Agent Verification on OPERA
11.9Mean Td (s)
VFA
Updated 4d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2025.12 | 11.9 | 9.2 | 85 | 9 | 72 | |
2025.12 | 21.8 | 11.3 | 73 | 12 | 69 | |
2025.12 | 35.4 | 18.9 | 62 | 15 | 58 |
VFA
| Method | Links | |||||
|---|---|---|---|---|---|---|
2025.12 | 11.9 | 9.2 | 85 | 9 | 72 | |
2025.12 | 21.8 | 11.3 | 73 | 12 | 69 | |
2025.12 | 35.4 | 18.9 | 62 | 15 | 58 |