{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:TTCFSBWBFDCVHISMVBRNJL66RU","short_pith_number":"pith:TTCFSBWB","schema_version":"1.0","canonical_sha256":"9cc45906c128c553a24ca862d4afde8d2e821270875cc4afbf556e56de0bbf71","source":{"kind":"arxiv","id":"2505.23696","version":1},"attestation_state":"computed","paper":{"title":"Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.LG","authors_text":"Hiroshi Kera, Max Zimmer, Nico Pelleriti, Sebastian Pokutta, Yuki Ishihara","submitted_at":"2025-05-29T17:35:25Z","abstract_excerpt":"Solving systems of polynomial equations, particularly those with finitely many solutions, is a crucial challenge across many scientific fields. Traditional methods like Gr\\\"obner and Border bases are fundamental but suffer from high computational costs, which have motivated recent Deep Learning approaches to improve efficiency, albeit at the expense of output correctness. In this work, we introduce the Oracle Border Basis Algorithm, the first Deep Learning approach that accelerates Border basis computation while maintaining output guarantees. To this end, we design and train a Transformer-base"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.23696","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-29T17:35:25Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"7a932952244f9af55c6b79108d42ec49234e2f276cb3f6760d5f4e242d1b0ce0","abstract_canon_sha256":"1a8a2664fd97f7ed2d1acc9c22425932ce616fb76737611845164c2c57385d7e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:12:12.805359Z","signature_b64":"HR1sfIVvlusIV/aqK5qIUiY2jLmUfqiQG41T/iTzQhGx0r/auauEXT51RrTSUe+Bth6S0xuvHmUnWEQkH7L3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cc45906c128c553a24ca862d4afde8d2e821270875cc4afbf556e56de0bbf71","last_reissued_at":"2026-07-05T11:12:12.804866Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:12:12.804866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.LG","authors_text":"Hiroshi Kera, Max Zimmer, Nico Pelleriti, Sebastian Pokutta, Yuki Ishihara","submitted_at":"2025-05-29T17:35:25Z","abstract_excerpt":"Solving systems of polynomial equations, particularly those with finitely many solutions, is a crucial challenge across many scientific fields. Traditional methods like Gr\\\"obner and Border bases are fundamental but suffer from high computational costs, which have motivated recent Deep Learning approaches to improve efficiency, albeit at the expense of output correctness. In this work, we introduce the Oracle Border Basis Algorithm, the first Deep Learning approach that accelerates Border basis computation while maintaining output guarantees. To this end, we design and train a Transformer-base"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23696","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/2505.23696/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.23696","created_at":"2026-07-05T11:12:12.804922+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.23696v1","created_at":"2026-07-05T11:12:12.804922+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23696","created_at":"2026-07-05T11:12:12.804922+00:00"},{"alias_kind":"pith_short_12","alias_value":"TTCFSBWBFDCV","created_at":"2026-07-05T11:12:12.804922+00:00"},{"alias_kind":"pith_short_16","alias_value":"TTCFSBWBFDCVHISM","created_at":"2026-07-05T11:12:12.804922+00:00"},{"alias_kind":"pith_short_8","alias_value":"TTCFSBWB","created_at":"2026-07-05T11:12:12.804922+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU","json":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU.json","graph_json":"https://pith.science/api/pith-number/TTCFSBWBFDCVHISMVBRNJL66RU/graph.json","events_json":"https://pith.science/api/pith-number/TTCFSBWBFDCVHISMVBRNJL66RU/events.json","paper":"https://pith.science/paper/TTCFSBWB"},"agent_actions":{"view_html":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU","download_json":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU.json","view_paper":"https://pith.science/paper/TTCFSBWB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.23696&json=true","fetch_graph":"https://pith.science/api/pith-number/TTCFSBWBFDCVHISMVBRNJL66RU/graph.json","fetch_events":"https://pith.science/api/pith-number/TTCFSBWBFDCVHISMVBRNJL66RU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU/action/storage_attestation","attest_author":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU/action/author_attestation","sign_citation":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU/action/citation_signature","submit_replication":"https://pith.science/pith/TTCFSBWBFDCVHISMVBRNJL66RU/action/replication_record"}},"created_at":"2026-07-05T11:12:12.804922+00:00","updated_at":"2026-07-05T11:12:12.804922+00:00"}