export function ModelSection() {
return (
A code generation model based on GPT-2 (124M parameters), trained from scratch
on a smartphone CPU. Currently at checkpoint 2000 with measurable improvements.
Average: 24.6/100 (+146% from checkpoint 1400)
Yuuki-best
Training Details
Language Scores (CP-2000)
Evolution
Metric
CP-1400
CP-2000
{"module"}{" Main "}
{"where"}
{"\n\n"}
{"open import"}{" Function\n"}
{"--"}
{"\n"}
{"open import"}{" Data.Nat\n"}
{"open import"}{" Function\n\n"}
{"open import"}{" Data.Nat\n"}
{"open import"}{" Data.Unit\n"}
{"open import"}{" Data.Nat.Dec\n"}
{"open import"}{" Data.Properties.Nat\n"}
{"open import"}{" Data.Nat.Properties\n"}
{"open import"}{" Data.Unary"}