Hacker News new | ask | show | jobs
by gibsonf1 568 days ago
If the automated reasoning worked, why would you need an LLM and its fabrications?
1 comments
Sabinus 568 days ago
To translate between the natural language of the user query to the generated formal rules and back again.
link