2 citations · 3 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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.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…