|
|
|
|
|
|
by jnpnj
171 days ago
|
|
|
Interesting, just the other day I tried asking if iterating in haskell or prolog wouldn't help both converging speed and token use. I wish there was a group to study how to do proper engineering with LLMs without losing the modeling / verification aspect. |
|
|