{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Y2JXIK3ISBD4B2VZ4LQIQHXWND","short_pith_number":"pith:Y2JXIK3I","canonical_record":{"source":{"id":"2505.21775","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-27T21:19:33Z","cross_cats_sorted":["cs.AI","math.OC"],"title_canon_sha256":"3dff01d7c06c27788938104a0f169c01c5081d6e549c9be4814ed01a300ace51","abstract_canon_sha256":"9eba3e4e9aa0200de4aca4378cd0414bff09e28f1b0effc96f1c2ff1272f9cbd"},"schema_version":"1.0"},"canonical_sha256":"c693742b689047c0eab9e2e0881ef668ed8e047bbc8035b55cc12d4a5ce2b5ea","source":{"kind":"arxiv","id":"2505.21775","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21775","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21775v1","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21775","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_12","alias_value":"Y2JXIK3ISBD4","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_16","alias_value":"Y2JXIK3ISBD4B2VZ","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_8","alias_value":"Y2JXIK3I","created_at":"2026-07-05T11:11:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Y2JXIK3ISBD4B2VZ4LQIQHXWND","target":"record","payload":{"canonical_record":{"source":{"id":"2505.21775","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-27T21:19:33Z","cross_cats_sorted":["cs.AI","math.OC"],"title_canon_sha256":"3dff01d7c06c27788938104a0f169c01c5081d6e549c9be4814ed01a300ace51","abstract_canon_sha256":"9eba3e4e9aa0200de4aca4378cd0414bff09e28f1b0effc96f1c2ff1272f9cbd"},"schema_version":"1.0"},"canonical_sha256":"c693742b689047c0eab9e2e0881ef668ed8e047bbc8035b55cc12d4a5ce2b5ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:03.348892Z","signature_b64":"L5in1oMR9vNsjSimSMu3rdkCTHbKsa7WhPZDK0tKVScolDJ6993e7sSqSWIjTtHqLWeWssae306GWrVIGaMCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c693742b689047c0eab9e2e0881ef668ed8e047bbc8035b55cc12d4a5ce2b5ea","last_reissued_at":"2026-07-05T11:11:03.348488Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:03.348488Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.21775","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-05T11:11:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7PrIoPe5EyR+lLKLbfTVoYBndm4usAh/cROoZww0RwSThKe8LldteQNiS/PZRDp3wmD4z6tZ6RPx7um7I1aaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:29:58.925461Z"},"content_sha256":"5a9840335606479036509407e31d2eac9031a9c53477854db47be89dcbe2899c","schema_version":"1.0","event_id":"sha256:5a9840335606479036509407e31d2eac9031a9c53477854db47be89dcbe2899c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Y2JXIK3ISBD4B2VZ4LQIQHXWND","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DualSchool: How Reliable are LLMs for Optimization Education?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","math.OC"],"primary_cat":"cs.LG","authors_text":"Arnaud Deza, Haoruo Zhao, Michael Klamkin, Pascal Van Hentenryck, Sikai Cheng","submitted_at":"2025-05-27T21:19:33Z","abstract_excerpt":"Consider the following task taught in introductory optimization courses which addresses challenges articulated by the community at the intersection of (generative) AI and OR: generate the dual of a linear program. LLMs, being trained at web-scale, have the conversion process and many instances of Primal to Dual Conversion (P2DC) at their disposal. Students may thus reasonably expect that LLMs would perform well on the P2DC task. To assess this expectation, this paper introduces DualSchool, a comprehensive framework for generating and verifying P2DC instances. The verification procedure of Dual"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21775","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.21775/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-05T11:11:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ksN3TLnbweWsPSWsrFCiZbru9rYVsNs7yfj1+PwYotbGL2Bb5N6rlIb7sehH80INX0fyAtAJQiDB7GhGLqymDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:29:58.925987Z"},"content_sha256":"f1adaf3ede069af9847c8de374d486d4388784497f8e62f4b02ecea7956e1ac5","schema_version":"1.0","event_id":"sha256:f1adaf3ede069af9847c8de374d486d4388784497f8e62f4b02ecea7956e1ac5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/bundle.json","state_url":"https://pith.science/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/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-12T14:29:58Z","links":{"resolver":"https://pith.science/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND","bundle":"https://pith.science/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/bundle.json","state":"https://pith.science/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y2JXIK3ISBD4B2VZ4LQIQHXWND/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Y2JXIK3ISBD4B2VZ4LQIQHXWND","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":"9eba3e4e9aa0200de4aca4378cd0414bff09e28f1b0effc96f1c2ff1272f9cbd","cross_cats_sorted":["cs.AI","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-27T21:19:33Z","title_canon_sha256":"3dff01d7c06c27788938104a0f169c01c5081d6e549c9be4814ed01a300ace51"},"schema_version":"1.0","source":{"id":"2505.21775","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21775","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21775v1","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21775","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_12","alias_value":"Y2JXIK3ISBD4","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_16","alias_value":"Y2JXIK3ISBD4B2VZ","created_at":"2026-07-05T11:11:03Z"},{"alias_kind":"pith_short_8","alias_value":"Y2JXIK3I","created_at":"2026-07-05T11:11:03Z"}],"graph_snapshots":[{"event_id":"sha256:f1adaf3ede069af9847c8de374d486d4388784497f8e62f4b02ecea7956e1ac5","target":"graph","created_at":"2026-07-05T11:11:03Z","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/2505.21775/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Consider the following task taught in introductory optimization courses which addresses challenges articulated by the community at the intersection of (generative) AI and OR: generate the dual of a linear program. LLMs, being trained at web-scale, have the conversion process and many instances of Primal to Dual Conversion (P2DC) at their disposal. Students may thus reasonably expect that LLMs would perform well on the P2DC task. To assess this expectation, this paper introduces DualSchool, a comprehensive framework for generating and verifying P2DC instances. The verification procedure of Dual","authors_text":"Arnaud Deza, Haoruo Zhao, Michael Klamkin, Pascal Van Hentenryck, Sikai Cheng","cross_cats":["cs.AI","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-27T21:19:33Z","title":"DualSchool: How Reliable are LLMs for Optimization Education?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21775","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:5a9840335606479036509407e31d2eac9031a9c53477854db47be89dcbe2899c","target":"record","created_at":"2026-07-05T11:11:03Z","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":"9eba3e4e9aa0200de4aca4378cd0414bff09e28f1b0effc96f1c2ff1272f9cbd","cross_cats_sorted":["cs.AI","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-27T21:19:33Z","title_canon_sha256":"3dff01d7c06c27788938104a0f169c01c5081d6e549c9be4814ed01a300ace51"},"schema_version":"1.0","source":{"id":"2505.21775","kind":"arxiv","version":1}},"canonical_sha256":"c693742b689047c0eab9e2e0881ef668ed8e047bbc8035b55cc12d4a5ce2b5ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c693742b689047c0eab9e2e0881ef668ed8e047bbc8035b55cc12d4a5ce2b5ea","first_computed_at":"2026-07-05T11:11:03.348488Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:03.348488Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L5in1oMR9vNsjSimSMu3rdkCTHbKsa7WhPZDK0tKVScolDJ6993e7sSqSWIjTtHqLWeWssae306GWrVIGaMCDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:03.348892Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.21775","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a9840335606479036509407e31d2eac9031a9c53477854db47be89dcbe2899c","sha256:f1adaf3ede069af9847c8de374d486d4388784497f8e62f4b02ecea7956e1ac5"],"state_sha256":"762eb77078714c23df52ad288e36e05854c220e7a4f1f80e5309fb5801998fa6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9g6N1ePcQ41/SSCAenwpP8qeRyhEBhBFSg6yKw9tJv49nLOAy9P5deGhDprpXf9ykGKs0AqLzjbWnKU2qWR8Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T14:29:58.930393Z","bundle_sha256":"7a3931b010ea95d6d2532114173aec6e994e0156b5c933536a728ddb90bc3190"}}