2 ms·
Do you think it helps with the systems reasoning? Are there many tla+ specs + real code bases for the llm to learn from?
by whattheheckheck 8mo ago
Do you think it helps with the systems reasoning? Are there many tla+ specs + real code bases for the llm to learn from?
- section_me 8mo agoRaft is a good example. And it seems to be in most models training data.