Advanced search

Filter By:

Journal Check one or more journals to show results from those journals only.
Article type Check one or more article types to show results from those article types only.
Subject Check one or more subjects to show results from those subjects only.
Date Choose a date option to show results from those dates only.

Custom date range

Clear all filters
Sort by:
Showing 1–1 of 1 results
Advanced filters: Author: Richard Tanburn Clear advanced filters

  • A framework through which machine learning can guide mathematicians in discovering new conjectures and theorems is presented and shown to yield mathematical insight on important open problems in different areas of pure mathematics.

    • Alex Davies
    • Petar Veličković
    • Pushmeet Kohli
    ResearchOpen Access
    Nature
    Volume: 600, P: 70-74