{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ZLSJ7QIRVQSLNK6ADBHWNAZN3L","short_pith_number":"pith:ZLSJ7QIR","canonical_record":{"source":{"id":"2607.14818","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-16T10:37:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"eb0399e7683f66a36137afe296db60aa4d01600d0423e5542b674e6580e8248f","abstract_canon_sha256":"cb448a0b13af6b3948210a864f1b0a6144db0c83e6cb83a834340750d27be801"},"schema_version":"1.0"},"canonical_sha256":"cae49fc111ac24b6abc0184f66832ddaf1bdba2e7130c109df4cc7c4e2b9316b","source":{"kind":"arxiv","id":"2607.14818","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.14818","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"2607.14818v1","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.14818","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZLSJ7QIRVQSL","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_16","alias_value":"ZLSJ7QIRVQSLNK6A","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_8","alias_value":"ZLSJ7QIR","created_at":"2026-07-17T01:21:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ZLSJ7QIRVQSLNK6ADBHWNAZN3L","target":"record","payload":{"canonical_record":{"source":{"id":"2607.14818","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-16T10:37:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"eb0399e7683f66a36137afe296db60aa4d01600d0423e5542b674e6580e8248f","abstract_canon_sha256":"cb448a0b13af6b3948210a864f1b0a6144db0c83e6cb83a834340750d27be801"},"schema_version":"1.0"},"canonical_sha256":"cae49fc111ac24b6abc0184f66832ddaf1bdba2e7130c109df4cc7c4e2b9316b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-17T01:21:32.791142Z","signature_b64":"KeuBJfig88e6tlHGExHmlRFr43QGWEQyIz/p6pXjVGPjxDZW9Htl2qr66QxMvZJyoDeRpOxtgZGfc89cibRiBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cae49fc111ac24b6abc0184f66832ddaf1bdba2e7130c109df4cc7c4e2b9316b","last_reissued_at":"2026-07-17T01:21:32.790307Z","signature_status":"signed_v1","first_computed_at":"2026-07-17T01:21:32.790307Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.14818","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-17T01:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IeQqznT1HjUnzmkEMD6/VBb7ZFhRvKKp+PtA7F5EPqwhM5rdEbUkHS/EH90k02MRgVGsNL66FAhnuePpx9+wCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:31:34.495859Z"},"content_sha256":"44db635c46423f3ed34197101acf860642d55d8eaa95c650a17cd793a0c39654","schema_version":"1.0","event_id":"sha256:44db635c46423f3ed34197101acf860642d55d8eaa95c650a17cd793a0c39654"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ZLSJ7QIRVQSLNK6ADBHWNAZN3L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Ruben Martins","submitted_at":"2026-07-16T10:37:02Z","abstract_excerpt":"We report on CoreForge, an experience in using large language models (LLMs) to build an unweighted MaxSAT solver from research papers rather than from an existing solver codebase. The project focuses on unsatisfiability-based MaxSAT algorithms and follows an iterative workflow that combines paper discussions with ChatGPT, implementation through Codex prompts, and repeated LLM-assisted code audits and revisions. Although the codebase implements several algorithms and solver components, our evaluation focuses on configurations that combine core-guided optimization, lightweight preprocessing, cor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.14818","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/2607.14818/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-17T01:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/YpunDO1sonHYY3jlgdaDmlE8YKBmzJ/EBu6kimRSZaF4F8CNOfC2vek2TJB119lFg/K1UcNwIwtPhFN7VNIAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:31:34.496373Z"},"content_sha256":"5d5cbaaa7d39f20084bd97e090e36f1f5651a7b046e3aca507b0582963c57255","schema_version":"1.0","event_id":"sha256:5d5cbaaa7d39f20084bd97e090e36f1f5651a7b046e3aca507b0582963c57255"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/bundle.json","state_url":"https://pith.science/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/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-06T19:31:34Z","links":{"resolver":"https://pith.science/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L","bundle":"https://pith.science/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/bundle.json","state":"https://pith.science/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZLSJ7QIRVQSLNK6ADBHWNAZN3L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZLSJ7QIRVQSLNK6ADBHWNAZN3L","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":"cb448a0b13af6b3948210a864f1b0a6144db0c83e6cb83a834340750d27be801","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-16T10:37:02Z","title_canon_sha256":"eb0399e7683f66a36137afe296db60aa4d01600d0423e5542b674e6580e8248f"},"schema_version":"1.0","source":{"id":"2607.14818","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.14818","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"2607.14818v1","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.14818","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZLSJ7QIRVQSL","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_16","alias_value":"ZLSJ7QIRVQSLNK6A","created_at":"2026-07-17T01:21:32Z"},{"alias_kind":"pith_short_8","alias_value":"ZLSJ7QIR","created_at":"2026-07-17T01:21:32Z"}],"graph_snapshots":[{"event_id":"sha256:5d5cbaaa7d39f20084bd97e090e36f1f5651a7b046e3aca507b0582963c57255","target":"graph","created_at":"2026-07-17T01:21:32Z","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/2607.14818/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We report on CoreForge, an experience in using large language models (LLMs) to build an unweighted MaxSAT solver from research papers rather than from an existing solver codebase. The project focuses on unsatisfiability-based MaxSAT algorithms and follows an iterative workflow that combines paper discussions with ChatGPT, implementation through Codex prompts, and repeated LLM-assisted code audits and revisions. Although the codebase implements several algorithms and solver components, our evaluation focuses on configurations that combine core-guided optimization, lightweight preprocessing, cor","authors_text":"Ruben Martins","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.14818","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:44db635c46423f3ed34197101acf860642d55d8eaa95c650a17cd793a0c39654","target":"record","created_at":"2026-07-17T01:21:32Z","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":"cb448a0b13af6b3948210a864f1b0a6144db0c83e6cb83a834340750d27be801","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-16T10:37:02Z","title_canon_sha256":"eb0399e7683f66a36137afe296db60aa4d01600d0423e5542b674e6580e8248f"},"schema_version":"1.0","source":{"id":"2607.14818","kind":"arxiv","version":1}},"canonical_sha256":"cae49fc111ac24b6abc0184f66832ddaf1bdba2e7130c109df4cc7c4e2b9316b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cae49fc111ac24b6abc0184f66832ddaf1bdba2e7130c109df4cc7c4e2b9316b","first_computed_at":"2026-07-17T01:21:32.790307Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-17T01:21:32.790307Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KeuBJfig88e6tlHGExHmlRFr43QGWEQyIz/p6pXjVGPjxDZW9Htl2qr66QxMvZJyoDeRpOxtgZGfc89cibRiBA==","signature_status":"signed_v1","signed_at":"2026-07-17T01:21:32.791142Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.14818","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44db635c46423f3ed34197101acf860642d55d8eaa95c650a17cd793a0c39654","sha256:5d5cbaaa7d39f20084bd97e090e36f1f5651a7b046e3aca507b0582963c57255"],"state_sha256":"64f42fde0744a47c88d997b590338424d21416003a5a7a0d1829a174b57cfed9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qZN7cqZB7MbkcycL7z8v/TfT6Zd+OjL1TeKQnj2SqV/GZ2nTomZ/qOmaxYE6T5pzDJcDRWVIYE7AQr4qxjWdCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T19:31:34.500981Z","bundle_sha256":"1872a2cc3ab5c269870af3714c49b1783bbfa7e22ddb078f6a6811a8de767630"}}