Search research articles
Contact Us
Filters
Showing results (1-10 of 5) with videos related to
Page
of 1
Sort By:
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|
September 29, 2005
What is a proof?
Alan Bundy, Mateja Jamnik, Andrew Fugard
Cognitive Processing
|
August 5, 2018
Human inference beyond syllogisms: an approach using external graphical representations
Yuri Sato, Gem Stapleton, Mateja Jamnik, et al.
Bioinformatics (Oxford, England)
|
December 10, 2021
Unsupervised construction of computational graphs for gene expression data with explicit structural inductive biases
Paul Scherer, Maja Trębacz, Nikola Simidjievski, et al.
Frontiers in Genetics
|
January 11, 2020
Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice
Nikola 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 interactions
Katherine M Collins, Albert Q Jiang, Simon Frieder, et al.
Page
of 1
Search research articles
Search
Showing results (1-10 of 5) with videos related to
Sort By:
Page
of 1
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|
September 29, 2005
What is a proof?
Alan Bundy, Mateja Jamnik, Andrew Fugard
Cognitive Processing
|
August 5, 2018
Human inference beyond syllogisms: an approach using external graphical representations
Yuri Sato, Gem Stapleton, Mateja Jamnik, et al.
Bioinformatics (Oxford, England)
|
December 10, 2021
Unsupervised construction of computational graphs for gene expression data with explicit structural inductive biases
Paul Scherer, Maja Trębacz, Nikola Simidjievski, et al.
Frontiers in Genetics
|
January 11, 2020
Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice
Nikola 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 interactions
Katherine M Collins, Albert Q Jiang, Simon Frieder, et al.
Page
of 1