External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)

Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson. Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 13919-13920, AAAI Press, 2020. [doi]

Authors

Agnieszka Slowik

This author has not been identified. Look up 'Agnieszka Slowik' in Google

Chaitanya Mangla

This author has not been identified. Look up 'Chaitanya Mangla' in Google

Mateja Jamnik

This author has not been identified. Look up 'Mateja Jamnik' in Google

Sean B. Holden

This author has not been identified. Look up 'Sean B. Holden' in Google

Lawrence C. Paulson

This author has not been identified. Look up 'Lawrence C. Paulson' in Google
runs on