Posts tagged lean
| Name | Date | Size |
|---|---|---|
|
Worklog: a looped transformer in Lean One day, one file, fifty theorems about the Recurrent Looped Transformer. | 343 words |
1 files
| Name | Date | Size |
|---|---|---|
|
Worklog: a looped transformer in Lean One day, one file, fifty theorems about the Recurrent Looped Transformer. | 343 words |