no code implementations • 7 Jun 2023 • Francesco Ceccarelli, Lorenzo Giusti, Sean B. Holden, Pietro Liò
Proteins perform much of the work in living organisms, and consequently the development of efficient computational methods for protein representation is essential for advancing large-scale biological research.
1 code implementation • 25 Feb 2022 • Xiangyu Zhao, Sean B. Holden
In this paper, we present Meowjong, an AI for Sanma using deep reinforcement learning.
no code implementations • 4 Feb 2020 • Agnieszka Słowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Christopher Pal
In order to communicate, humans flatten a complex representation of ideas and their attributes into a single word or a sentence.
no code implementations • 24 Jan 2020 • Agnieszka Słowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden
Recent findings in neuroscience suggest that the human brain represents information in a geometric structure (for instance, through conceptual spaces).
no code implementations • 18 Sep 2019 • Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Heuristics in theorem provers are often parameterised.