会员服务
A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming
Arxiv
0+阅读 · 2023年4月18日
Embodied Concept Learner: Self-supervised Learning of Concepts and Mapping through Instruction Following
Arxiv
0+阅读 · 2023年4月7日
CrossCode: Multi-level Visualization of Program Execution
Arxiv
0+阅读 · 2023年4月7日
GPT is becoming a Turing machine: Here are some ways to program it
Arxiv
0+阅读 · 2023年3月25日
参考链接
微信扫码咨询专知VIP会员
Top