<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>10098</id>
    <completedYear/>
    <publishedYear>2025</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>45236</pageFirst>
    <pageLast>45255</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume>267</volume>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?</title>
    <parentTitle language="eng">Proceedings of the 42nd International Conference on Machine Learning</parentTitle>
    <identifier type="url">https://raw.githubusercontent.com/mlresearch/v267/main/assets/mundinger25a/mundinger25a.pdf</identifier>
    <identifier type="arxiv">2501.18527</identifier>
    <enrichment key="PeerReviewed">yes</enrichment>
    <enrichment key="opus.source">publish</enrichment>
    <enrichment key="Series">PMLR</enrichment>
    <author>Konrad Mundinger</author>
    <submitter>Christoph Spiegel</submitter>
    <author>Max Zimmer</author>
    <author>Aldo Kiem</author>
    <author>Christoph Spiegel</author>
    <author>Sebastian Pokutta</author>
    <collection role="persons" number="pokutta">Pokutta, Sebastian</collection>
    <collection role="persons" number="zimmer">Zimmer, Max</collection>
    <collection role="institutes" number="ais2t">AI in Society, Science, and Technology</collection>
    <collection role="persons" number="spiegel">Spiegel, Christoph</collection>
    <collection role="persons" number="kiem">Kiem, Aldo</collection>
    <collection role="projects" number="Math+EF1-12">Math+EF1-12</collection>
    <collection role="persons" number="radecki-mundinger">Mundinger, Konrad</collection>
  </doc>
</export-example>
