4 ms·

If the automated reasoning worked, why would you need an LLM and its fabrications?

• Sabinus 2y ago
  To translate between the natural language of the user query to the generated formal rules and back again.