2 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.AI2022★ 1 cited
Building a 3-Player Mahjong AI using Deep Reinforcement Learning
Xiangyu Zhao, Sean B. Holden
Mahjong is a popular multi-player imperfect-information game developed in China in the late 19th-century, with some very challenging features for AI research. Sanma, being a 3-play…
cs.LG2020★ 2 cited
Towards Graph Representation Learning in Emergent Communication
Agnieszka Słowik, Abhinav Gupta, William L. Hamilton +2
Recent findings in neuroscience suggest that the human brain represents information in a geometric structure (for instance, through conceptual spaces). In order to communicate, we…
cs.AI2019
Bayesian Optimisation with Gaussian Processes for Premise Selection
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik +2
Heuristics in theorem provers are often parameterised. Modern theorem provers such as Vampire utilise a wide array of heuristics to control the search space explosion, thereby requ…