Comment on I accidentally turned LLM memory into program analysisComments−dramebaaz12dThis reminds me of Automated Reasoning where the model maintains a form of lean code which gets run to verify assumptions constantly as the model builds a knowledge base
Comments
This reminds me of Automated Reasoning where the model maintains a form of lean code which gets run to verify assumptions constantly as the model builds a knowledge base