Comment by kccqzy
4 hours ago
I’m a bit skeptical. Without instructional materials from textbooks, programming language reference manuals and guides, as well as general knowledge about logic and discrete mathematics, I doubt a model could work very well.
Yes. Model would be limited in its performance, but it would perform well in the limited domain because LLM interpolate from training data. They don't think like humans.
We might think that knowledge from logc and discrete math would spill over to coding. Unfortunately, it doesn't seem to work like that. Even 1T parameter LLM fail on tasks if there are no variants of it in the training data.