What can capable models do better WITH Symbolic SI?
This question guides our research and development. We investigate how explicit symbols and structured representations can help capable models organize, communicate, and continue their work.
A practical starting point is the information passed from one model call to the next. An exchange may contain a claim, an objection, an answer to that objection, or a distinction that later reasoning needs to preserve. Making these relationships explicit can give both people and models a clearer record of the work.