▲ | measurablefunc 6 days ago | ||||||||||||||||||||||
Where is this spelled out formally and proven logically? | |||||||||||||||||||||||
▲ | skissane 6 days ago | parent [-] | ||||||||||||||||||||||
LLM backtracking is an active area of research, see e.g. https://arxiv.org/html/2502.04404v1 https://arxiv.org/abs/2306.05426 And I was wrong that nobody has implemented it, as these papers prove people have… it is just the results haven’t been sufficiently impressive to support the transition from the research lab to industrial use - or at least, not yet | |||||||||||||||||||||||
|