Hey all! I want to start testing neuro-symbolic AI vs. LLM's and want to know how to get into this. As I understand it, Claude Code, does this, but are there ways to use it locally?

How does it work under the hood? I know LLM's involve tokens, embeddings, weights and transformers. How does the symbolic part of it change it?

Thanks!

you are viewing a single comment's thread
view the rest of the comments
[–] [S] 2 points 5 months ago (1 child)

Thanks! Have you ever used this? I’m also seeing another logic language called Scallop.

I’ve recently started running models locally with llama.cpp, but this seems like a whole other setup.

  • source
  • parent
  • hideshow 1 child comment