https://arxiv.org/abs/2304.08068
[2304.08068] A theory independent Curry-De Bruijn-Howard correspondence
Abstract page for arXiv paper 2304.08068: A theory independent Curry-De Bruijn-Howard correspondence
de bruijn230408068theoryindependent
https://arxiv.org/abs/2603.08068
[2603.08068] In-Context Reinforcement Learning for Tool Use in Large Language Models
Abstract page for arXiv paper 2603.08068: In-Context Reinforcement Learning for Tool Use in Large Language Models
in contextreinforcement learning