Comment by samus Comment by samus 3 days ago 1 reply Copy Link View on Hacker News Or expect the LLM to only output Prolog, with the assumptions and knowledge as clauses?
Copy Link larodi 2 days ago Collapse Comment - Vlad Tenev's new startup apparently does exactly this, but with Lean4. So what's not to expect here? Last two years saw so many neural-symbolic systems released that its very hard to not see where this all goes... Reply View | 0 replies
Vlad Tenev's new startup apparently does exactly this, but with Lean4. So what's not to expect here? Last two years saw so many neural-symbolic systems released that its very hard to not see where this all goes...