|
|
|
|
|
|
by derekcheng08
251 days ago
|
|
|
Interesting. I wonder if you could implement tool calling with this approach so the LLM calls the tool with the formal specification and gets back the result. Just like a coding agent can run a compiler, get back errors and then self-correct. |
|
|