Discussion about this post

User's avatar
Anthony Garland's avatar

How does it compare to other symbolic reasoning approaches? Could the llm just write sympy (python) code. What limitations did you think of when reading the papers? FYI. I didn't read the paper yet.

Expand full comment
Kinder's avatar

Can RAG help with this problem?

Expand full comment
2 more comments...

No posts