Docs
Search
Ctrl K
Models
Chat
Compare
Providers
Apps
Rankings
Sign Up
Sign Up
FLTEval Pass@8 Benchmark Leaderboard | Phaseo
FLTEval Pass@8
FLTEval Pass@8
AI benchmark results and model performance
Summary
▼
Summary
▼
Type: numerical
Lean Reasoning
View benchmark source
Recorded Results
1
Average Score
31
Scores Over Time
Individual benchmark scores plotted by date.
Models Using This Benchmark
Organisation
Model
Reported
Top Score
Info
Self Reported
Source
Mistral
Leanstral
16 Mar 2026
31
Mistral Leanstral evaluation table (Leanstral pass@8)
Yes
Source
Score Range
31 - 31
Leading Model (lowest score)
31 - Leanstral
