Share your thoughts, 1 month free Claude Pro on us
See more
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 1mo 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
