u/GreyB1te

NurseBot

I'm was thinking of building a humanoid robot and AI companion designed to care for the elderly with the warmth of a human carer and the precision of medical technology. I want her to monitor, assist and connect with residents so that nobody spends their final years feeling alone or undignified, while giving overstretched care staff the support they desperately need. And I was thinking is that even a good idea to pursue or not. Any tips?

reddit.com
u/GreyB1te — 13 days ago

I'm building an agent architecture called Nofae. The core idea is combining three components that are usually studied separately: world models, recursive transformers, and multimodal encoders and adding a Z3 SMT solver as a formal verification layer on top.

The system combines: 1. World models where learning a compressed, predictive simulation of the environment 2. Looped transformer where depth through iteration rather than parameter expansion, shared weights 3. Multimodal encoders where there's grounding language, vision, and audio in a shared representation 4. Z3 verification where neural policy proposes plans, Z3 checks logical consistency before execution 5. Metaheuristics where Occam, uncertainty-gather, contradiction-backtrack governing loop termination

Early result on a sorting task:

Loops: 1 | Final Loss: 1.0187 Loops: 2 | Final Loss: 0.9818 Loops: 4 | Final Loss: 0.9607 Loops: 8 | Final Loss: 1.0031

1→2→4 loops improves performance, 8 degrades. Planning to add gating for adaptive loop termination.

So I've got some questions I'm wondering:

  • Anyone done neurosymbolic bridging between continuous latent spaces and SMT solvers?
  • Best approaches for stable 8+ loop training beyond gating and residual scaling?
  • Related work beyond Universal Transformers, Dreamer, and SPIRAL I should know about?
reddit.com
u/GreyB1te — 22 days ago