{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:SJSDNUA2XWI73PQHPHKQ2CD6JX","short_pith_number":"pith:SJSDNUA2","schema_version":"1.0","canonical_sha256":"926436d01abd91fdbe0779d50d087e4dc9e34fa1996bfc5c0437100369ee2dd8","source":{"kind":"arxiv","id":"2403.18429","version":2},"attestation_state":"computed","paper":{"title":"Reinforcement learning for graph theory, I. Reimplementation of Wagner's approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Ali Kanso, Dragan Stevanovic, Mohammad Ghebleh, Salem Al-Yakoob","submitted_at":"2024-03-27T10:35:41Z","abstract_excerpt":"We reimplement here the recent approach of Adam Zsolt Wagner [arXiv:2104.14516], which applies reinforcement learning to construct (counter)examples in graph theory, in order to make it more readable, more stable and much faster. The presented concepts are illustrated by constructing counterexamples for a number of published conjectured bounds for the Laplacian spectral radius of graphs."},"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":"2403.18429","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2024-03-27T10:35:41Z","cross_cats_sorted":[],"title_canon_sha256":"a1ea5d2e090f407cc005d7049e270a3cbc66060c98e28d97922b73f8c680fc9a","abstract_canon_sha256":"64496a0794d48d4f12ddcb65a54294741ffba1058a1ef33bcde36aa8f539a66f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:02:26.053899Z","signature_b64":"sE1nrjz83SJo0rHPKzJg3gWHv7+55Scu+rPiWJHSDzovv0671TWfvBWx3XZPooYll5iAgzNSK4+qLeZc74w5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"926436d01abd91fdbe0779d50d087e4dc9e34fa1996bfc5c0437100369ee2dd8","last_reissued_at":"2026-07-05T08:02:26.053422Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:02:26.053422Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reinforcement learning for graph theory, I. Reimplementation of Wagner's approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Ali Kanso, Dragan Stevanovic, Mohammad Ghebleh, Salem Al-Yakoob","submitted_at":"2024-03-27T10:35:41Z","abstract_excerpt":"We reimplement here the recent approach of Adam Zsolt Wagner [arXiv:2104.14516], which applies reinforcement learning to construct (counter)examples in graph theory, in order to make it more readable, more stable and much faster. The presented concepts are illustrated by constructing counterexamples for a number of published conjectured bounds for the Laplacian spectral radius of graphs."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.18429","kind":"arxiv","version":2},"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/2403.18429/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":"2403.18429","created_at":"2026-07-05T08:02:26.053478+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.18429v2","created_at":"2026-07-05T08:02:26.053478+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.18429","created_at":"2026-07-05T08:02:26.053478+00:00"},{"alias_kind":"pith_short_12","alias_value":"SJSDNUA2XWI7","created_at":"2026-07-05T08:02:26.053478+00:00"},{"alias_kind":"pith_short_16","alias_value":"SJSDNUA2XWI73PQH","created_at":"2026-07-05T08:02:26.053478+00:00"},{"alias_kind":"pith_short_8","alias_value":"SJSDNUA2","created_at":"2026-07-05T08:02:26.053478+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2601.11482","citing_title":"A Genetic Algorithm for Generating Extreme Examples in Arithmetic Dynamics","ref_index":10,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX","json":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX.json","graph_json":"https://pith.science/api/pith-number/SJSDNUA2XWI73PQHPHKQ2CD6JX/graph.json","events_json":"https://pith.science/api/pith-number/SJSDNUA2XWI73PQHPHKQ2CD6JX/events.json","paper":"https://pith.science/paper/SJSDNUA2"},"agent_actions":{"view_html":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX","download_json":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX.json","view_paper":"https://pith.science/paper/SJSDNUA2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.18429&json=true","fetch_graph":"https://pith.science/api/pith-number/SJSDNUA2XWI73PQHPHKQ2CD6JX/graph.json","fetch_events":"https://pith.science/api/pith-number/SJSDNUA2XWI73PQHPHKQ2CD6JX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX/action/storage_attestation","attest_author":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX/action/author_attestation","sign_citation":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX/action/citation_signature","submit_replication":"https://pith.science/pith/SJSDNUA2XWI73PQHPHKQ2CD6JX/action/replication_record"}},"created_at":"2026-07-05T08:02:26.053478+00:00","updated_at":"2026-07-05T08:02:26.053478+00:00"}