Hacker News new | ask | show | jobs
by cubefox 700 days ago
It is an LLM combined with a symbolic deduction engine.