Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Automated Theorem Proving on FVELER (test)
Loading...
88
Solved Proofs
FVEL-Llama-3-8B
23.52
40.26
57
73.74
Jun 20, 2024
Solved Proofs
Updated 4d ago
Evaluation Results
Method
Method
Links
Solved Proofs
FVEL-Llama-3-8B
Backbone=Llama-3-8B, F...
2024.06
88
FVEL-Mistral-7B
Backbone=Mistral-7B, F...
2024.06
74
Llama-3-8B
Backbone=Llama-3-8B, F...
2024.06
39
Mistral-7B
Backbone=Mistral-7B, F...
2024.06
26
Feedback
Search any
task
Search any
task
