Hacker News new | ask | show | jobs
by cs702 1097 days ago
I'd describe it as grounding the model with a formally specified symbolic world model.