Preprint computational life: how well-formed, self-replicating programs emerge from simple interaction arXiv (Cornell University) 2024 Read Paper computational life: how well-formed, self-replicating programs emerge from simple interaction Blaise Agüera y Arcas, Alakuijala, Jyrki, James Evans, Ben Laurie, Alexander Mordvintsev, Eyvind Niklasson, Ettore Randazzo, Luca Versari arXiv (Cornell University) 2024 Open access AI Algorithms Computability Computability, Logic, AI Algorithms Logic
Book chapter From proof nets to interaction nets Cambridge University Press eBooks 1995 Read Paper From proof nets to interaction nets Yves Lafont Cambridge University Press eBooks 1995 and Knowledge and type systems Logic Logic, programming, and type systems
Journal article Interaction Combinators Information and Computation 1997 Read Paper Interaction Combinators Yves Lafont Information and Computation 1997 AI Algorithms and type systems Computability Computability, Logic, AI Algorithms
Preprint KAN: Kolmogorov-Arnold Networks arXiv (Cornell University) 2024 Read Paper KAN: Kolmogorov-Arnold Networks Ziming Liu, Yixuan Wang, Sachin Vaidya, Fabian Ruehle, James Halverson, Marin Soljačić, Thomas Y. Hou, Max Tegmark arXiv (Cornell University) 2024 Open access AI Algorithms Cognitive Computing and Networks Computability Computability, Logic, AI Algorithms
Preprint Requential Coding: Pushing the Limits of Model Compression with Self-Generated Training Data arXiv (Cornell University) 2026 Read Paper Requential Coding: Pushing the Limits of Model Compression with Self-Generated Training Data Shikai Qiu, Marc Finzi, Yujia Zheng, Kun Zhang, Andrew Gordon Wilson arXiv (Cornell University) 2026 Open access Advanced Data Compression Techniques AI Algorithms Computability Computability, Logic, AI Algorithms
Other The Sketching Approach to Program Synthesis Lecture notes in computer science 2009 Read Paper The Sketching Approach to Program Synthesis Armando Solar-Lezama Lecture notes in computer science 2009 and type systems Embedded Systems Design Techniques Logic Logic, programming, and type systems