{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JEVTQ64QJ3NGEQVSYULVVS4JBI","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":"046e00714a046e20a0b8af0f470431c5f896b429feb74c7e1675aa77f0708cad","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2024-03-25T16:39:15Z","title_canon_sha256":"8b3aaf81a4d26ac78cf67d82bfa99837432dd87bd9848941d1914486169c6fe6"},"schema_version":"1.0","source":{"id":"2403.16921","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16921","created_at":"2026-07-05T08:47:17Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16921v2","created_at":"2026-07-05T08:47:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16921","created_at":"2026-07-05T08:47:17Z"},{"alias_kind":"pith_short_12","alias_value":"JEVTQ64QJ3NG","created_at":"2026-07-05T08:47:17Z"},{"alias_kind":"pith_short_16","alias_value":"JEVTQ64QJ3NGEQVS","created_at":"2026-07-05T08:47:17Z"},{"alias_kind":"pith_short_8","alias_value":"JEVTQ64Q","created_at":"2026-07-05T08:47:17Z"}],"graph_snapshots":[{"event_id":"sha256:42c4ddc4197d8d101252542fd3cf90b1a5de28308aabcd637009697a7e2e68e6","target":"graph","created_at":"2026-07-05T08:47:17Z","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/2403.16921/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Visual Programming has recently emerged as an alternative to end-to-end black-box visual reasoning models. This type of method leverages Large Language Models (LLMs) to generate the source code for an executable computer program that solves a given problem. This strategy has the advantage of offering an interpretable reasoning path and does not require finetuning a model with task-specific data. We propose PropTest, a general strategy that improves visual programming by further using an LLM to generate code that tests for visual properties in an initial round of proposed solutions. Our method ","authors_text":"Baishakhi Ray, Jaywon Koo, Paola Cascante-Bonilla, Vicente Ordonez, Ziyan Yang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2024-03-25T16:39:15Z","title":"PropTest: Automatic Property Testing for Improved Visual Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16921","kind":"arxiv","version":2},"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:78fad99af030fd879a4ec265129bf278f29693e32b0f2a304d1af82a45d58493","target":"record","created_at":"2026-07-05T08:47:17Z","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":"046e00714a046e20a0b8af0f470431c5f896b429feb74c7e1675aa77f0708cad","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2024-03-25T16:39:15Z","title_canon_sha256":"8b3aaf81a4d26ac78cf67d82bfa99837432dd87bd9848941d1914486169c6fe6"},"schema_version":"1.0","source":{"id":"2403.16921","kind":"arxiv","version":2}},"canonical_sha256":"492b387b904eda6242b2c5175acb890a07b568a9fbf3074481390be5c38326a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"492b387b904eda6242b2c5175acb890a07b568a9fbf3074481390be5c38326a5","first_computed_at":"2026-07-05T08:47:17.009610Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:47:17.009610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UfO6W/DIQ8L2ynb77SojdNIP+zBerX6FDtvMMyXHkylN9aNU9Av6ILzA8RYoaewFJb2roVbZsQR0a9F8HIkBAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:47:17.010102Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.16921","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78fad99af030fd879a4ec265129bf278f29693e32b0f2a304d1af82a45d58493","sha256:42c4ddc4197d8d101252542fd3cf90b1a5de28308aabcd637009697a7e2e68e6"],"state_sha256":"4455414c99427b54495f1191d9d200221135d6f32fdf648e079b63826c4e47fb"}