{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:KWPJGK4JIJ7W57MLUYQVROQNHE","short_pith_number":"pith:KWPJGK4J","canonical_record":{"source":{"id":"2504.12465","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-16T20:01:00Z","cross_cats_sorted":["cs.SC","math.AG","stat.ML"],"title_canon_sha256":"99b04e7e4977786494a14a66a559a53e444782f4b949c5fabc41d54a203bc90c","abstract_canon_sha256":"56f9e33dc9a033ad693cd861fa5b136edff0ac2e265f393b8160a5a20fd65f3e"},"schema_version":"1.0"},"canonical_sha256":"559e932b89427f6efd8ba62158ba0d39354a49cfb0d491c2ce140dc3c9768f41","source":{"kind":"arxiv","id":"2504.12465","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.12465","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"arxiv_version","alias_value":"2504.12465v1","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.12465","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_12","alias_value":"KWPJGK4JIJ7W","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_16","alias_value":"KWPJGK4JIJ7W57ML","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_8","alias_value":"KWPJGK4J","created_at":"2026-07-05T10:50:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:KWPJGK4JIJ7W57MLUYQVROQNHE","target":"record","payload":{"canonical_record":{"source":{"id":"2504.12465","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-16T20:01:00Z","cross_cats_sorted":["cs.SC","math.AG","stat.ML"],"title_canon_sha256":"99b04e7e4977786494a14a66a559a53e444782f4b949c5fabc41d54a203bc90c","abstract_canon_sha256":"56f9e33dc9a033ad693cd861fa5b136edff0ac2e265f393b8160a5a20fd65f3e"},"schema_version":"1.0"},"canonical_sha256":"559e932b89427f6efd8ba62158ba0d39354a49cfb0d491c2ce140dc3c9768f41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:16.802670Z","signature_b64":"sp/3lUhW6YAFwzDnojXl+Hif1ssLKat5GE2p+R++7nfFk6gwh+SzUYktBClOM+rvaJQ2epEmpD+7sEmoD3OwAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"559e932b89427f6efd8ba62158ba0d39354a49cfb0d491c2ce140dc3c9768f41","last_reissued_at":"2026-07-05T10:50:16.802206Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:16.802206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.12465","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:50:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ai+dhVQWcG4D1tDHg2ZLrKA8gA2//L9yaehxANhGfi5UH1YW52ur+u669qyb++LWBbuB3vADWW7zv5ANZ7rBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:59:07.739342Z"},"content_sha256":"02b0055ea95f304b17f2e1dffcb3af92977ef1df358d02c9020e5f6406930920","schema_version":"1.0","event_id":"sha256:02b0055ea95f304b17f2e1dffcb3af92977ef1df358d02c9020e5f6406930920"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:KWPJGK4JIJ7W57MLUYQVROQNHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Geometric Generality of Transformer-Based Gr\\\"obner Basis Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.AG","stat.ML"],"primary_cat":"cs.LG","authors_text":"Tristan Vaccon, Yota Maeda, Yuta Kambe","submitted_at":"2025-04-16T20:01:00Z","abstract_excerpt":"The intersection of deep learning and symbolic mathematics has seen rapid progress in recent years, exemplified by the work of Lample and Charton. They demonstrated that effective training of machine learning models for solving mathematical problems critically depends on high-quality, domain-specific datasets. In this paper, we address the computation of Gr\\\"obner basis using Transformers. While a dataset generation method tailored to Transformer-based Gr\\\"obner basis computation has previously been proposed, it lacked theoretical guarantees regarding the generality or quality of the generated"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.12465","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.12465/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:50:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yh8StU2jB0TGeYdM4cUlfC/N+nxyhjx0N8T159a4iU2Dla0dagx9A9MZKzcdljCXKRNJ15L0lDtZg0Qdsy6VAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:59:07.739900Z"},"content_sha256":"04216b99373db0b2ef5e0ecca8035eb300b6fc947767f612ce8b6884396f2b6b","schema_version":"1.0","event_id":"sha256:04216b99373db0b2ef5e0ecca8035eb300b6fc947767f612ce8b6884396f2b6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/bundle.json","state_url":"https://pith.science/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-23T22:59:07Z","links":{"resolver":"https://pith.science/pith/KWPJGK4JIJ7W57MLUYQVROQNHE","bundle":"https://pith.science/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/bundle.json","state":"https://pith.science/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KWPJGK4JIJ7W57MLUYQVROQNHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:KWPJGK4JIJ7W57MLUYQVROQNHE","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":"56f9e33dc9a033ad693cd861fa5b136edff0ac2e265f393b8160a5a20fd65f3e","cross_cats_sorted":["cs.SC","math.AG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-16T20:01:00Z","title_canon_sha256":"99b04e7e4977786494a14a66a559a53e444782f4b949c5fabc41d54a203bc90c"},"schema_version":"1.0","source":{"id":"2504.12465","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.12465","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"arxiv_version","alias_value":"2504.12465v1","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.12465","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_12","alias_value":"KWPJGK4JIJ7W","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_16","alias_value":"KWPJGK4JIJ7W57ML","created_at":"2026-07-05T10:50:16Z"},{"alias_kind":"pith_short_8","alias_value":"KWPJGK4J","created_at":"2026-07-05T10:50:16Z"}],"graph_snapshots":[{"event_id":"sha256:04216b99373db0b2ef5e0ecca8035eb300b6fc947767f612ce8b6884396f2b6b","target":"graph","created_at":"2026-07-05T10:50:16Z","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/2504.12465/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The intersection of deep learning and symbolic mathematics has seen rapid progress in recent years, exemplified by the work of Lample and Charton. They demonstrated that effective training of machine learning models for solving mathematical problems critically depends on high-quality, domain-specific datasets. In this paper, we address the computation of Gr\\\"obner basis using Transformers. While a dataset generation method tailored to Transformer-based Gr\\\"obner basis computation has previously been proposed, it lacked theoretical guarantees regarding the generality or quality of the generated","authors_text":"Tristan Vaccon, Yota Maeda, Yuta Kambe","cross_cats":["cs.SC","math.AG","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-16T20:01:00Z","title":"Geometric Generality of Transformer-Based Gr\\\"obner Basis Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.12465","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:02b0055ea95f304b17f2e1dffcb3af92977ef1df358d02c9020e5f6406930920","target":"record","created_at":"2026-07-05T10:50:16Z","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":"56f9e33dc9a033ad693cd861fa5b136edff0ac2e265f393b8160a5a20fd65f3e","cross_cats_sorted":["cs.SC","math.AG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-16T20:01:00Z","title_canon_sha256":"99b04e7e4977786494a14a66a559a53e444782f4b949c5fabc41d54a203bc90c"},"schema_version":"1.0","source":{"id":"2504.12465","kind":"arxiv","version":1}},"canonical_sha256":"559e932b89427f6efd8ba62158ba0d39354a49cfb0d491c2ce140dc3c9768f41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"559e932b89427f6efd8ba62158ba0d39354a49cfb0d491c2ce140dc3c9768f41","first_computed_at":"2026-07-05T10:50:16.802206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:16.802206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sp/3lUhW6YAFwzDnojXl+Hif1ssLKat5GE2p+R++7nfFk6gwh+SzUYktBClOM+rvaJQ2epEmpD+7sEmoD3OwAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:16.802670Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.12465","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:02b0055ea95f304b17f2e1dffcb3af92977ef1df358d02c9020e5f6406930920","sha256:04216b99373db0b2ef5e0ecca8035eb300b6fc947767f612ce8b6884396f2b6b"],"state_sha256":"1e3f1ae1ce05f17bc753fafb5cfb5a97d86249c6f56b76c517a0256964a3b960"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B5a0LeLZIdIhR5GoEg7luWgiSb2k8f4lsC1v+HrGfxjyAUV9w9b5ipME/dKamhsaeRhXHezK4rdhE/oZIStQCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T22:59:07.744485Z","bundle_sha256":"51166ef381943a7a9bdc16bb9332138742bd22cd6b5340b0b9a5c2ffd5d4fa84"}}