3 ms·
LLMs can do that with chain of thought in a way that generalized to multiple tasks
by BoorishBears 3y ago
LLMs can do that with chain of thought in a way that generalized to multiple tasks
- DaiPlusPlus 3y agoOnly in a vague way. Even with train-of-thought, feedback loops, and other neat tricks, I've never seen an LLM produce valid theorems for Z3 (beyond trivial examples).