{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif4gbz6idzbpvph4vlvplkd4df6a7d244pj4nplmfw5ixkrbo7bfa",
    "uri": "at://did:plc:pgryn3ephfd2xgft23qokfzt/app.bsky.feed.post/3mgswxo6begv2"
  },
  "path": "/t/beyond-alphageometry-2-new-preprints/174197#post_1",
  "publishedAt": "2026-03-11T18:39:13.000Z",
  "site": "https://discuss.huggingface.co",
  "tags": [
    "https://doi.org/10.5281/zenodo.18959740",
    "https://doi.org/10.5281/zenodo.18961053"
  ],
  "textContent": "Hi!\n\nFor those with a keen interest in AlphaGeometry (or AlphaProof), two preprints:\n\n  * **Beyond the Plane: Abstracting Away Geometry from AlphaGeometry**\n\n\n\nLink: https://doi.org/10.5281/zenodo.18959740\n\n  * **The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data**\n\n\n\nLink: https://doi.org/10.5281/zenodo.18961053",
  "title": "Beyond AlphaGeometry | 2 New Preprints"
}