Showing results (1-10 of 7) with videos related to
Sort By:
Pageof 1
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|September 29, 2005
What is a proof?Alan Bundy, Mateja Jamnik, Andrew FugardCognitive Processing|August 5, 2018
Human inference beyond syllogisms: an approach using external graphical representationsYuri Sato, Gem Stapleton, Mateja Jamnik, et al.Proceedings. Mathematical, Physical, and Engineering Sciences|September 25, 2013
The interaction of representation and reasoningAlan BundyPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|June 4, 2023
Representational change is integral to reasoningAlan Bundy, Xue LiBioinformatics (Oxford, England)|December 10, 2021
Unsupervised construction of computational graphs for gene expression data with explicit structural inductive biasesPaul Scherer, Maja Trębacz, Nikola Simidjievski, et al.Frontiers in Genetics|January 11, 2020
Variational Autoencoders for Cancer Data Integration: Design Principles and Computational PracticeNikola Simidjievski, Cristian Bodnar, Ifrah Tariq, et al.Proceedings of the National Academy of Sciences of the United States of America|June 3, 2024
Evaluating language models for mathematics through interactionsKatherine M Collins, Albert Q Jiang, Simon Frieder, et al.Pageof 1