zlacker

[parent] [thread] 1 comments
1. chaxor+(OP)[view] [source] 2023-05-16 15:06:41
You should read some of the papers referred to in the above comments before making that assertion. It may take a while to realize the overall structure of the argument, how the category theory is used, and how this is directly applicable to LLMs, but if you are in ML it should be obvious. https://arxiv.org/abs/2203.15544
replies(1): >>agentu+wa
2. agentu+wa[view] [source] 2023-05-16 15:49:57
>>chaxor+(OP)
There are methods of proof that I'm not sure dynamic programming is fit to solve but this is an interesting paper. However even if it can only solve particular induction proofs that would be a big help. Thanks for sharing.
[go to top]