Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
4-Dimensional Cross-Polytope
johncarlosbaez.wordpress.comΒ·1d
Weird little games, summer edition
blog.zarfhome.comΒ·1h
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.orgΒ·1d
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.orgΒ·1d
Loading...Loading more...