Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...
AI testing tools are becoming part of the normal QA conversation. They can generate test cases, help with automation, ...
We fine-tuned on AMI, the most gamed testset on the HF Open ASR Leaderboard, and climbed 10 places. Here is what benchmaxxing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results