{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:W7VWOWXZGA6W5J4FYJKEEYFMGI","short_pith_number":"pith:W7VWOWXZ","schema_version":"1.0","canonical_sha256":"b7eb675af9303d6ea785c2544260ac321d819415b377447f3a83127f712cd59e","source":{"kind":"arxiv","id":"2210.11468","version":1},"attestation_state":"computed","paper":{"title":"ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC","cs.LG"],"primary_cat":"cs.SE","authors_text":"Alex Gu, Armando Solar-Lezama, Daniela Velez, Jacob Andreas, Tamara Mitrovska","submitted_at":"2022-10-20T17:59:19Z","abstract_excerpt":"We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts. This is an example of specification reification, the process of taking a high-level, potentially vague specification and reifying it into a more concrete form. We evaluate ObSynth via a user study, leading to three key findings: first, object models designed using ObSynth are more detailed, showing that it often synthesizes fields users might have otherwise omitted. Second, a majority of objects, method"},"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":"2210.11468","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-10-20T17:59:19Z","cross_cats_sorted":["cs.HC","cs.LG"],"title_canon_sha256":"c2362dc38c4eb5e848b12f24ccfa8080706df74c5c812271db2959cdac718edd","abstract_canon_sha256":"63f1afaa9c4a26ffb0a34bda9c24261a464ea3d6deb3f0af6e3b3bf9475633c7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:08:48.990882Z","signature_b64":"ZXbbvVdj1iYa0yFgkygLFNY/clBLJ1n6F8tO6cTcxMHYQsGFjbQEVtvBBCE+RVcdx3ZXcyGbCtadv7JAxjPKDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7eb675af9303d6ea785c2544260ac321d819415b377447f3a83127f712cd59e","last_reissued_at":"2026-07-05T05:08:48.990403Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:08:48.990403Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC","cs.LG"],"primary_cat":"cs.SE","authors_text":"Alex Gu, Armando Solar-Lezama, Daniela Velez, Jacob Andreas, Tamara Mitrovska","submitted_at":"2022-10-20T17:59:19Z","abstract_excerpt":"We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts. This is an example of specification reification, the process of taking a high-level, potentially vague specification and reifying it into a more concrete form. We evaluate ObSynth via a user study, leading to three key findings: first, object models designed using ObSynth are more detailed, showing that it often synthesizes fields users might have otherwise omitted. Second, a majority of objects, method"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.11468","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/2210.11468/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":"2210.11468","created_at":"2026-07-05T05:08:48.990469+00:00"},{"alias_kind":"arxiv_version","alias_value":"2210.11468v1","created_at":"2026-07-05T05:08:48.990469+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.11468","created_at":"2026-07-05T05:08:48.990469+00:00"},{"alias_kind":"pith_short_12","alias_value":"W7VWOWXZGA6W","created_at":"2026-07-05T05:08:48.990469+00:00"},{"alias_kind":"pith_short_16","alias_value":"W7VWOWXZGA6W5J4F","created_at":"2026-07-05T05:08:48.990469+00:00"},{"alias_kind":"pith_short_8","alias_value":"W7VWOWXZ","created_at":"2026-07-05T05:08:48.990469+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/W7VWOWXZGA6W5J4FYJKEEYFMGI","json":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI.json","graph_json":"https://pith.science/api/pith-number/W7VWOWXZGA6W5J4FYJKEEYFMGI/graph.json","events_json":"https://pith.science/api/pith-number/W7VWOWXZGA6W5J4FYJKEEYFMGI/events.json","paper":"https://pith.science/paper/W7VWOWXZ"},"agent_actions":{"view_html":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI","download_json":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI.json","view_paper":"https://pith.science/paper/W7VWOWXZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2210.11468&json=true","fetch_graph":"https://pith.science/api/pith-number/W7VWOWXZGA6W5J4FYJKEEYFMGI/graph.json","fetch_events":"https://pith.science/api/pith-number/W7VWOWXZGA6W5J4FYJKEEYFMGI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI/action/storage_attestation","attest_author":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI/action/author_attestation","sign_citation":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI/action/citation_signature","submit_replication":"https://pith.science/pith/W7VWOWXZGA6W5J4FYJKEEYFMGI/action/replication_record"}},"created_at":"2026-07-05T05:08:48.990469+00:00","updated_at":"2026-07-05T05:08:48.990469+00:00"}