Work

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving

Year: 2019

Type: conference-paper

Source: International Conference on Machine Learning

Authors: Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Institution: Google (United States)

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2946011656

FWCI: 4.242

Cites:

Cited by: 70

Related to: 10