6 papers
Graphical einops: bridging tensor networks and computation graphs
Vincent Wang-MaÅcianica, Nikhil Khatri
Architecture diagrams are ubiquitous in deep learning, but they are usually only representational: the tensor-program identities they suggest are still proved by prose and tensor-a…
Theory-Grounded Evaluation of Human-Like Fallacy Patterns in LLM Reasoning
Andrew Keenan Richardson, Ryan Othniel Kearns, Sean Moss +2
We study logical reasoning in language models by asking whether their errors follow established human fallacy patterns. Using the Erotetic Theory of Reasoning (ETR) and its open-so…
Full-Stack Alignment: Co-Aligning AI and Institutions with Thick Models of Value
Joe Edelman, Tan Zhi-Xuan, Ryan Lowe +30
Beneficial societal outcomes cannot be guaranteed by aligning individual AI systems with the intentions of their operators or users. Even an AI system that is perfectly aligned to…
High schoolers excel at Oxford quantum course using pictorial mathematics
Bob Coecke, Aleks Kissinger, Stefano Gogioso +12
We are at the dawn of the second quantum revolution, where our ability to create and control individual quantum systems is poised to drive transformative advancements in basic scie…
Making the quantum world accessible to young learners through Quantum Picturalism: An experimental study
Selma Dündar-Coecke, Caterina Puca, Lia Yeh +12
The educational value of a fully diagrammatic approach in a scientific field has never been explored. We present Quantum Picturalism (QPic), an entirely diagrammatic formalism for…
A Pattern Language for Machine Learning Tasks
Benjamin Rodatz, Ian Fan, Tuomas Laakkonen +3
We formalise the essential data of objective functions as equality constraints on composites of learners. We call these constraints "tasks", and we investigate the idealised view t…