|
|
|
|
|
|
by koolba
322 days ago
|
|
|
> I wonder if LLMs can use the type information more like a human with an IDE. Just throw more GPUs at the problem and generate N responses in parallel and discard the ones that fail to match the required type signature. It’s like running a linter or type check step, but specific to that one line. |
|
|