Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Theorem Proving on FVELER hard (test)
Loading...
64
Solved Proofs
FVEL-Llama-3-8B
17.2
29.35
41.5
53.65
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
64
FVEL-Mistral-7B
Backbone=Mistral-7B, F...
2024.06
49
Llama-3-8B
Backbone=Llama-3-8B, F...
2024.06
27
Mistral-7B
Backbone=Mistral-7B, F...
2024.06
19
Feedback
Search any
task
Search any
task
