{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:J4N5REAF2BVTKMKKFCDFYQS4FY","short_pith_number":"pith:J4N5REAF","schema_version":"1.0","canonical_sha256":"4f1bd89005d06b35314a28865c425c2e1213dfc87f993c312b00fabdbfa1b5e9","source":{"kind":"arxiv","id":"2607.18116","version":1},"attestation_state":"computed","paper":{"title":"SGA: Plug&Play Geometric Verification for Educational Video Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","cs.GR","cs.MA","cs.MM"],"primary_cat":"cs.AI","authors_text":"Ghanem Bernard, Hinojosa Carlos, Lopez Jhon","submitted_at":"2026-07-20T16:11:19Z","abstract_excerpt":"Recent work leverages Large Language Models (LLMs) to generate executable code for pedagogical animations using libraries such as Manim. However, ensuring spatial correctness and visual legibility remains challenging, as existing frameworks emphasize pedagogical content while overlooking geometric occlusions. We propose the Symbolic Geometric Agent (SGA), a plug-and-play module for code-centric animation pipelines that intercepts LLM-generated code, performs partial execution to extract symbolic scene graphs, and applies targeted refinement when spatial conflicts are detected. We further intro"},"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":"2607.18116","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-20T16:11:19Z","cross_cats_sorted":["cs.CV","cs.GR","cs.MA","cs.MM"],"title_canon_sha256":"f05ad6e0ed9a65bba3fabcbd5e914fa3705f3deb094be8784bacd351a9de792e","abstract_canon_sha256":"f361e6b22a70df8e58cc9772f9360011e3cc9388d34b7bd5887e4addf46bb874"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-21T02:22:17.190556Z","signature_b64":"aeoStRaeKV1xmbHj0SfaawmygtGjC6JtV+6Tiaso4Om02wNGyXZgC1OX2TkyXODeeRrkyL7GPnbJN/eJkHLHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f1bd89005d06b35314a28865c425c2e1213dfc87f993c312b00fabdbfa1b5e9","last_reissued_at":"2026-07-21T02:22:17.189697Z","signature_status":"signed_v1","first_computed_at":"2026-07-21T02:22:17.189697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SGA: Plug&Play Geometric Verification for Educational Video Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","cs.GR","cs.MA","cs.MM"],"primary_cat":"cs.AI","authors_text":"Ghanem Bernard, Hinojosa Carlos, Lopez Jhon","submitted_at":"2026-07-20T16:11:19Z","abstract_excerpt":"Recent work leverages Large Language Models (LLMs) to generate executable code for pedagogical animations using libraries such as Manim. However, ensuring spatial correctness and visual legibility remains challenging, as existing frameworks emphasize pedagogical content while overlooking geometric occlusions. We propose the Symbolic Geometric Agent (SGA), a plug-and-play module for code-centric animation pipelines that intercepts LLM-generated code, performs partial execution to extract symbolic scene graphs, and applies targeted refinement when spatial conflicts are detected. We further intro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18116","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.18116/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":"2607.18116","created_at":"2026-07-21T02:22:17.190141+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.18116v1","created_at":"2026-07-21T02:22:17.190141+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18116","created_at":"2026-07-21T02:22:17.190141+00:00"},{"alias_kind":"pith_short_12","alias_value":"J4N5REAF2BVT","created_at":"2026-07-21T02:22:17.190141+00:00"},{"alias_kind":"pith_short_16","alias_value":"J4N5REAF2BVTKMKK","created_at":"2026-07-21T02:22:17.190141+00:00"},{"alias_kind":"pith_short_8","alias_value":"J4N5REAF","created_at":"2026-07-21T02:22:17.190141+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/J4N5REAF2BVTKMKKFCDFYQS4FY","json":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY.json","graph_json":"https://pith.science/api/pith-number/J4N5REAF2BVTKMKKFCDFYQS4FY/graph.json","events_json":"https://pith.science/api/pith-number/J4N5REAF2BVTKMKKFCDFYQS4FY/events.json","paper":"https://pith.science/paper/J4N5REAF"},"agent_actions":{"view_html":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY","download_json":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY.json","view_paper":"https://pith.science/paper/J4N5REAF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.18116&json=true","fetch_graph":"https://pith.science/api/pith-number/J4N5REAF2BVTKMKKFCDFYQS4FY/graph.json","fetch_events":"https://pith.science/api/pith-number/J4N5REAF2BVTKMKKFCDFYQS4FY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY/action/storage_attestation","attest_author":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY/action/author_attestation","sign_citation":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY/action/citation_signature","submit_replication":"https://pith.science/pith/J4N5REAF2BVTKMKKFCDFYQS4FY/action/replication_record"}},"created_at":"2026-07-21T02:22:17.190141+00:00","updated_at":"2026-07-21T02:22:17.190141+00:00"}