-- AutoCoder: a new model designed for the Code generation task. The First Large Language Model to Surpass GPT-4 Turbo (April 2024) and GPT-4o in pass@1 on the Human Eval Benchmark Test (90.9% vs. 90.2%)
-- LeanDojo: Theorem Proving in Lean using Language Models
Post #1260
1.19K
- 🤔 49
- 👍 8
- ⚡ 4
- ✍ 3
- ❤ 2