{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:H3YILGZ6DQUX6EKLCLOXRXKTS3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"178e3c343cd5c1d17d307b832d36f3051b951c294a487b0999ee459893e838a6","cross_cats_sorted":["cs.LG","hep-th"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2020-10-28T18:00:05Z","title_canon_sha256":"619ad29f983316909aac50fd2838cec7f7bac73308b33130260351921c0fcdd2"},"schema_version":"1.0","source":{"id":"2010.16263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.16263","created_at":"2026-07-05T01:47:51Z"},{"alias_kind":"arxiv_version","alias_value":"2010.16263v1","created_at":"2026-07-05T01:47:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.16263","created_at":"2026-07-05T01:47:51Z"},{"alias_kind":"pith_short_12","alias_value":"H3YILGZ6DQUX","created_at":"2026-07-05T01:47:51Z"},{"alias_kind":"pith_short_16","alias_value":"H3YILGZ6DQUX6EKL","created_at":"2026-07-05T01:47:51Z"},{"alias_kind":"pith_short_8","alias_value":"H3YILGZ6","created_at":"2026-07-05T01:47:51Z"}],"graph_snapshots":[{"event_id":"sha256:d07143a652eb3cf3ff8de26915ff4126802e82f25dd11328df5e45d2a7ac5f23","target":"graph","created_at":"2026-07-05T01:47:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2010.16263/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate $N$-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classification to the UNKNOT decision problem. We find that the Reformer and shared-QK Transformer network architectures outperform fully-connected networks, though all perform well. Perhaps surprisingly, we f","authors_text":"Fabian Ruehle, James Halverson, Piotr Su{\\l}kowski, Sergei Gukov","cross_cats":["cs.LG","hep-th"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2020-10-28T18:00:05Z","title":"Learning to Unknot"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.16263","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:63f2c34903166ec1a3709e532005894fab42496895cc375064a39169887c182d","target":"record","created_at":"2026-07-05T01:47:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"178e3c343cd5c1d17d307b832d36f3051b951c294a487b0999ee459893e838a6","cross_cats_sorted":["cs.LG","hep-th"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2020-10-28T18:00:05Z","title_canon_sha256":"619ad29f983316909aac50fd2838cec7f7bac73308b33130260351921c0fcdd2"},"schema_version":"1.0","source":{"id":"2010.16263","kind":"arxiv","version":1}},"canonical_sha256":"3ef0859b3e1c297f114b12dd78dd5396c9d7e084a3bee529ad5c9451f044c44e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ef0859b3e1c297f114b12dd78dd5396c9d7e084a3bee529ad5c9451f044c44e","first_computed_at":"2026-07-05T01:47:51.340645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:47:51.340645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oD8aXt7TDwda281b4J8sHw/90yNr+nuhPYlkAYDL5SQOSyQMf+ff3KmcBHECs2PmA23PbXWKwv8nZSzNgE5NBg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:47:51.341071Z","signed_message":"canonical_sha256_bytes"},"source_id":"2010.16263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63f2c34903166ec1a3709e532005894fab42496895cc375064a39169887c182d","sha256:d07143a652eb3cf3ff8de26915ff4126802e82f25dd11328df5e45d2a7ac5f23"],"state_sha256":"c44cf00e334b583fd65ef36acfe74289096cfc6a684373654e2b1b465c88815a"}