|
|
|
|
|
|
by yorwba
59 days ago
|
|
|
Rather than letting the model generate arbitrary code and type-checking it afterward, the author wants to pre-restrict the output with templates that are well-typed by construction and only let the model make choices between valid alternatives in that restricted output space. |
|
|