{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:X2MWYWNFHVEFDMLYVL3YX3YOTE","short_pith_number":"pith:X2MWYWNF","schema_version":"1.0","canonical_sha256":"be996c59a53d4851b178aaf78bef0e992c723557dcad42a74c21a40e3efec2b8","source":{"kind":"arxiv","id":"2507.03833","version":2},"attestation_state":"computed","paper":{"title":"MatRL: Provably Generalizable Iterative Algorithm Discovery via Monte-Carlo Tree Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Longling Geng, Mert Pilanci, Rajat Vadiraj Dwaraknath, Sungyoon Kim","submitted_at":"2025-07-04T22:57:33Z","abstract_excerpt":"Iterative methods for computing matrix functions have been extensively studied and their convergence speed can be significantly improved with the right tuning of parameters and by mixing different iteration types. Handtuning the design options for optimal performance can be cumbersome, especially in modern computing environments: numerous different classical iterations and their variants exist, each with non-trivial per-step cost and tuning parameters. To this end, we propose MatRL -- a reinforcement learning based framework that automatically discovers iterative algorithms for computing matri"},"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":"2507.03833","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-04T22:57:33Z","cross_cats_sorted":[],"title_canon_sha256":"3ca8d0cb09798b63b6b84a70dfccc30026cb41b750d5489a6ac53a4666808b4c","abstract_canon_sha256":"e1c19639b2ac08ef0c0e8f49d646c8e710feb1cc53fdf573281ddbeb369723fd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:37:45.472342Z","signature_b64":"IV/hhiizvW9Iur7TOieUxWlfz6btcvCwWcgdl5LuEZrbCeOYZy6y6hc9f5jT0BB2qUnMQ6tSO6cyQel0oAbaAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be996c59a53d4851b178aaf78bef0e992c723557dcad42a74c21a40e3efec2b8","last_reissued_at":"2026-07-05T11:37:45.471795Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:37:45.471795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MatRL: Provably Generalizable Iterative Algorithm Discovery via Monte-Carlo Tree Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Longling Geng, Mert Pilanci, Rajat Vadiraj Dwaraknath, Sungyoon Kim","submitted_at":"2025-07-04T22:57:33Z","abstract_excerpt":"Iterative methods for computing matrix functions have been extensively studied and their convergence speed can be significantly improved with the right tuning of parameters and by mixing different iteration types. Handtuning the design options for optimal performance can be cumbersome, especially in modern computing environments: numerous different classical iterations and their variants exist, each with non-trivial per-step cost and tuning parameters. To this end, we propose MatRL -- a reinforcement learning based framework that automatically discovers iterative algorithms for computing matri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.03833","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/2507.03833/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":"2507.03833","created_at":"2026-07-05T11:37:45.471863+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.03833v2","created_at":"2026-07-05T11:37:45.471863+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.03833","created_at":"2026-07-05T11:37:45.471863+00:00"},{"alias_kind":"pith_short_12","alias_value":"X2MWYWNFHVEF","created_at":"2026-07-05T11:37:45.471863+00:00"},{"alias_kind":"pith_short_16","alias_value":"X2MWYWNFHVEFDMLY","created_at":"2026-07-05T11:37:45.471863+00:00"},{"alias_kind":"pith_short_8","alias_value":"X2MWYWNF","created_at":"2026-07-05T11:37:45.471863+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/X2MWYWNFHVEFDMLYVL3YX3YOTE","json":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE.json","graph_json":"https://pith.science/api/pith-number/X2MWYWNFHVEFDMLYVL3YX3YOTE/graph.json","events_json":"https://pith.science/api/pith-number/X2MWYWNFHVEFDMLYVL3YX3YOTE/events.json","paper":"https://pith.science/paper/X2MWYWNF"},"agent_actions":{"view_html":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE","download_json":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE.json","view_paper":"https://pith.science/paper/X2MWYWNF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.03833&json=true","fetch_graph":"https://pith.science/api/pith-number/X2MWYWNFHVEFDMLYVL3YX3YOTE/graph.json","fetch_events":"https://pith.science/api/pith-number/X2MWYWNFHVEFDMLYVL3YX3YOTE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE/action/storage_attestation","attest_author":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE/action/author_attestation","sign_citation":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE/action/citation_signature","submit_replication":"https://pith.science/pith/X2MWYWNFHVEFDMLYVL3YX3YOTE/action/replication_record"}},"created_at":"2026-07-05T11:37:45.471863+00:00","updated_at":"2026-07-05T11:37:45.471863+00:00"}