Hmm… maybe we could train /tune a model on symbolic logic similar to or even using CycL instead of python, and then when we have it “write code” it would be solving the problem we want it to think about, using symbolic logic?
You might be on to something here. The problem being there isn’t billions of tokens worth of CycL out there to train on, or is there?
Comments
Hmm… maybe we could train /tune a model on symbolic logic similar to or even using CycL instead of python, and then when we have it “write code” it would be solving the problem we want it to think about, using symbolic logic?
You might be on to something here. The problem being there isn’t billions of tokens worth of CycL out there to train on, or is there?