AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Neuronatar
I think statistical or neural approaches can handle some pects of reasoning really, really well. But i don't think he can handle where's two plus three, that's five,. Like he the factual, real factual, really symbolic reasoning is much harder. So we call our algoritm as neura logica decoding, because it's a combination of neural stuff with logic constraints. We take conjunctive normal forms as the logical forms, as the basis of logical forms, and then go from there. And we develop descript search algorithm. In all e chapters, it's all about search, a star search an sucha search algorithm. Its just that thos are not necessarily