{"as_of":"2026-08-10T07:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e85c91b3aa23a1cf038b5d6ba60948f08b750bdd6e7a5f7f602a0db4e1f84784","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T20:26:17.649606Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T15:37:20.083481Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09819","snapshot_observed_at":"2026-08-03T15:37:20.083481Z","title":"A solver-aided hi- erarchical language for llm-driven cad design.arXiv preprint arXiv:2502.09819, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.16413","last_updated":"2026-06-29T05:52:15Z","snapshot_observed_at":"2026-08-08T10:21:20.886921Z","submitted_at":"2025-12-18T11:09:49Z","title":"BrepLLM: Enabling Large Language Models to Understand Boundary Representations","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T15:37:20.083481Z"},"links":{"cited_paper":"/paper/2502.09819","citing_paper":"/paper/2512.16413"},"observation_digest":"sha256:59ea8df7b5583855cc69cdef6374d6218f1e916f96ac6174742ab016bdbaf2a1","observation_id":"fe99df47-86ad-4627-a0ff-fb3d15b08884","resolution":{"observed_at":"2026-08-03T15:37:20.083481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.09819/citation-record","integrity":"/paper/2502.09819/integrity","json":"/paper/2502.09819/citation-record.json","paper":"/paper/2502.09819"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:17.409554Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.409554Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:10891efe04078b14f19da6b699b1653e10e37f3e3d338e8a26305c6a68a2f0b6","observation_id":"82f6fd50-c77a-4bd1-88e3-a48115f4515f","resolution":{"observed_at":"2026-08-07T20:26:17.409554Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.975626Z","title":"VageeshD, Arun Shankar Iyer, Suresh Parthasarathy, S","venue":null,"work_id":"6d12bbc4-554c-4f04-a94a-8ca7ae613bed","year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.415440Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:c957935d920580a5378959d63741285b63c724eacbfb7f7529f7c76c45b8edab","observation_id":"827b6c88-fd1e-4127-b746-184c7343ee11","resolution":{"observed_at":"2026-08-07T20:26:20.980705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-03T04:49:15.195814Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-07T20:26:17.420456Z","title":"Sparks of artificial general intelligence: Early experiments with gpt-4","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.420456Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:b8a19c39d69a32c78998ffd542d9c0291934015b41c02c50550d6cfa9d9237bf","observation_id":"925221b9-3c03-416f-b8a5-ea044c5608a1","resolution":{"observed_at":"2026-08-07T20:26:17.420456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.962129Z","title":"Cadquery","venue":null,"work_id":"3bf83195-ddd6-49cb-92c1-ce5de6722e6a","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.425986Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:f5f1229655d5db57c19df6f7e215889f29ceee4c5438911eaf8e9dae13c92eb0","observation_id":"d85b93d7-c371-41e9-800a-fde4e4872768","resolution":{"observed_at":"2026-08-07T20:26:20.966181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.949411Z","title":"A lineage-based referencing dsl for computer-aided design","venue":null,"work_id":"47b1135a-89c7-4c3d-8906-f1045633c5b5","year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.430819Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:c57f8bddd091f795ec51e0925361774c5b86a854c4e9ce0880f171d7d2b7444a","observation_id":"7672cc84-8d80-443d-8234-7fcdbfe44006","resolution":{"observed_at":"2026-08-07T20:26:20.953551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.07590","last_updated":"2024-05-11T14:00:45Z","snapshot_observed_at":"2026-07-06T15:16:06.215998Z","submitted_at":"2023-04-15T16:33:32Z","title":"Self-collaboration Code Generation via ChatGPT","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.07590","snapshot_observed_at":"2026-08-07T20:26:17.435765Z","title":"Self-collaboration Code Generation via ChatGPT","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.435765Z"},"links":{"cited_paper":"/paper/2304.07590","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:e4bbc6cc9b7dbc610b8010c2201938c4aedfa87dbcc9cf92acdf8ff205aab06d","observation_id":"150f9eb2-c244-43cc-9949-8819e0788146","resolution":{"observed_at":"2026-08-07T20:26:17.435765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.622673Z","title":"InverseCSG : Automatic Conversion of 3D Models to CSG Trees","venue":null,"work_id":"43466eff-175f-4787-9270-8a5f4dda4226","year":2018},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.441078Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:2b331b01f5ee28f61434ddadfe716ceb9ce8a136ea05b5f29493584bda510f6e","observation_id":"0988aae5-df3e-4c72-bdac-7ca01b809917","resolution":{"observed_at":"2026-08-07T20:26:20.627467Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.09627","last_updated":"2018-10-26T22:39:45Z","snapshot_observed_at":"2026-07-06T05:53:19.809986Z","submitted_at":"2017-07-30T14:46:14Z","title":"Learning to Infer Graphics Programs from Hand-Drawn Images","version":5},"cited_work":{"arxiv_id":"1707.09627","doi":null,"metadata_source":"pith","pith_arxiv_id":"1707.09627","snapshot_observed_at":"2026-08-07T20:26:20.431276Z","title":"Learning to Infer Graphics Programs from Hand-Drawn Images","venue":"cs.AI","work_id":"f0f15b96-8396-4a58-996b-dcf40e7dccf8","year":2017},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.446213Z"},"links":{"cited_paper":"/paper/1707.09627","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:1227f38baf7e129d63f14b89beb0bc64afcd6aba1fe4dba16366e491e5260677","observation_id":"ccbf5c4f-b14a-453f-86bb-f0b92bec71e7","resolution":{"observed_at":"2026-08-07T20:26:20.436179Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:17.451122Z","title":"Learning to Infer Graphics Programs from Hand - Drawn Images","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.451122Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:5849aaa47f76b78e2a2dea8c8c99ade2cd4ee92c2e7e3206645b12a37c0f2bdc","observation_id":"2c7c494f-d090-43f3-9486-51c6a1f18629","resolution":{"observed_at":"2026-08-07T20:26:17.451122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.936523Z","title":"Computer- Aided Design as Language","venue":null,"work_id":"0f840303-f053-4ad1-819e-080b353d0184","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.455608Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:3e3eb81f6a1d9af540d4fcd6a6a83514dd62e901f05537aa22aae1326731e67d","observation_id":"f04e18d7-705d-4437-84ed-4b4854c322c8","resolution":{"observed_at":"2026-08-07T20:26:20.940540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-07T20:26:17.459987Z","title":"Code llama: Open foundation models for code","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.459987Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:19508c0bb0a2b9b80880384b69a5f9ddcb51c0f8e5bb4524562faa26db640253","observation_id":"5da74cb3-5428-414d-a9ed-1a819e73b6cb","resolution":{"observed_at":"2026-08-07T20:26:17.459987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.239016Z","title":"ComplexGen : CAD reconstruction by B -rep chain complex generation","venue":null,"work_id":"29997aa4-7291-45cc-b556-f12a982a0a37","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.465125Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:c987c9c8663481f06ce763bf3bd068cb78f3f791aa54ba77810691477b2e59fe","observation_id":"d294b6e2-44ba-4afe-b11d-7f31d0d43dcd","resolution":{"observed_at":"2026-08-07T20:26:20.243705Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.924059Z","title":null,"venue":null,"work_id":"0f6e556d-92b6-486f-868f-767f1acb625e","year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.469713Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:d14e7de02e29113de8978aeaa3495090548ff3a33316ec9fb30509c73d75bd5e","observation_id":"5ed53a44-ca0b-41aa-8f7f-02464d06fb19","resolution":{"observed_at":"2026-08-07T20:26:20.927927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.002998Z","title":"Kim, and Adriana Schulz","venue":null,"work_id":"eb737003-4ed7-48df-9146-e1864e613a91","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.474078Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:a92cb88110e94d9a67e02feec9ed3efdd3934fd6b239cf748bdd185fbe948fae","observation_id":"d63e8ff3-671d-488f-a448-954cdc2f4e0a","resolution":{"observed_at":"2026-08-07T20:26:20.008460Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.910202Z","title":"Shapeassembly: Learning to generate programs for 3d shape structure synthesis","venue":null,"work_id":"8b144a85-0ebe-48a1-a6f7-120c0f91929f","year":2020},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.478724Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:a933f94a99be66ec7e16a8b58338a16e882c7db1ce6b7240af7449e425468f7a","observation_id":"3b8941db-5223-4e8b-bb82-474d25f0ee45","resolution":{"observed_at":"2026-08-07T20:26:20.914984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.895585Z","title":"Cad-signet: Cad language inference from point clouds using layer-wise sketch instance guided attention","venue":null,"work_id":"f6e3e343-1588-46ae-b5a4-ce27d5e03b7c","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.483275Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:a04e1158044ee75ee015f49a7936774823af381c5735563be0f844a1d2a8e823","observation_id":"646b94b3-a225-4ecb-8418-47a768726674","resolution":{"observed_at":"2026-08-07T20:26:20.900637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:19.811093Z","title":"ABC : A Big CAD Model Dataset for Geometric Deep Learning","venue":null,"work_id":"1a90d66f-4999-48f6-a46f-e71b162e7210","year":2019},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.487850Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:f37b9f5b45621415c85d03562eb81bd9bc26d66738a19044673597d69efcddf7","observation_id":"d9a729f5-da41-4f27-9dff-e32c99d339c0","resolution":{"observed_at":"2026-08-07T20:26:19.815716Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:19.598564Z","title":"Reconstructing editable prismatic CAD from rounded voxel models","venue":null,"work_id":"fba64bcc-a4f8-49d7-be46-10c6ca403845","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.492105Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:69c9b2f8e5d92acf7ad6c39e2f7888740e2bd5cec2cac408ccdc24b7a3b12901","observation_id":"f0408458-cd4d-41ca-8a2c-a1784b11d7e0","resolution":{"observed_at":"2026-08-07T20:26:19.603076Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:19.415614Z","title":null,"venue":null,"work_id":"37600c44-e5d2-4f13-83d3-ab3ad387ef05","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.496509Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:99d7a25f29f11577aeec8cd14b7336b4c2168adde0554bcb26c1a93d5d9294da","observation_id":"0c6ca651-b0e1-48d5-b8a6-5e55ecd52b4c","resolution":{"observed_at":"2026-08-07T20:26:19.420756Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.10613","last_updated":"2023-03-19T09:26:03Z","snapshot_observed_at":"2026-08-07T23:45:21.406347Z","submitted_at":"2023-03-19T09:26:03Z","title":"SECAD-Net: Self-Supervised CAD Reconstruction by Learning Sketch-Extrude Operations","version":1},"cited_work":{"arxiv_id":"2303.10613","doi":"10.48550/arxiv.2303.10613","metadata_source":"pith","pith_arxiv_id":"2303.10613","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"SECAD-Net: Self-Supervised CAD Reconstruction by Learning Sketch-Extrude Operations","venue":"cs.CV","work_id":"6e7943f1-1548-4f26-a2a2-1e53616aef7c","year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.501152Z"},"links":{"cited_paper":"/paper/2303.10613","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:408b87e4e8c72d29b1f1a89bf54af0912347a6923341a70305c33ed5be4bc502","observation_id":"db189a0b-3aa8-4abc-9be8-d4be42da4417","resolution":{"observed_at":"2026-08-07T20:26:17.836222Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.880467Z","title":"Sfmcad: Unsupervised cad reconstruction by learning sketch-based feature modeling operations","venue":null,"work_id":"71b3a57d-e940-40ef-9178-af28526f3ae2","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.506089Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:180421cbaa73f4394b7e6b81f3749e290cdfbf4875bb6b010715a162740c575b","observation_id":"5c8cf565-508c-4ba5-8414-ddff07d26ac1","resolution":{"observed_at":"2026-08-07T20:26:20.885413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.06161","last_updated":"2023-12-13T14:44:10Z","snapshot_observed_at":"2026-07-06T15:25:35.930688Z","submitted_at":"2023-05-09T08:16:42Z","title":"StarCoder: may the source be with you!","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.06161","snapshot_observed_at":"2026-08-07T20:26:17.510401Z","title":"StarCoder : may the source be with you!, December 2023 b","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.510401Z"},"links":{"cited_paper":"/paper/2305.06161","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:71b8a96521d5deee3d6a4f6dd55fd32fffde63bbe0d54726fb45e051a928e5e1","observation_id":"e9561e36-e65a-4229-a115-de0b81bb5662","resolution":{"observed_at":"2026-08-07T20:26:17.510401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.866454Z","title":"Point2cad: Reverse engineering cad models from 3d point clouds","venue":null,"work_id":"d13709b9-bdb6-41b7-a902-55c045633bcb","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.515509Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:e437e4ff5ab94ec56b8a3538a2d94716b47bd62af52f8932023461a74ecf1f0a","observation_id":"c39450b0-39dd-4675-9c84-7143203b3b7e","resolution":{"observed_at":"2026-08-07T20:26:20.871323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19173","last_updated":"2024-02-29T13:53:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-29T13:53:35Z","title":"StarCoder 2 and The Stack v2: The Next Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.19173","snapshot_observed_at":"2026-08-07T20:26:17.520887Z","title":"StarCoder 2 and The Stack v2: The Next Generation , February 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.520887Z"},"links":{"cited_paper":"/paper/2402.19173","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:24a5981ffa2a8583fda3362fecbe197353dc8b0502284977e31b9142198ef1f2","observation_id":"a6e0421b-62d2-4adc-a729-1b0b67d272bf","resolution":{"observed_at":"2026-08-07T20:26:17.520887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.08568","last_updated":"2025-05-27T07:40:36Z","snapshot_observed_at":"2026-08-04T15:08:40.203853Z","submitted_at":"2023-06-14T15:18:48Z","title":"WizardCoder: Empowering Code Large Language Models with Evol-Instruct","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.08568","snapshot_observed_at":"2026-08-07T20:26:17.526286Z","title":"WizardCoder : Empowering Code Large Language Models with Evol - Instruct , June 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.526286Z"},"links":{"cited_paper":"/paper/2306.08568","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:1e55172bbe5c1b70a62ba3f74c2312d5e27f6a49b711f03a06b2a55b27d31112","observation_id":"30879b67-1b59-4481-aec8-ccebd1b7dacd","resolution":{"observed_at":"2026-08-07T20:26:17.526286Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.852450Z","title":"Draw step by step: Reconstructing cad construction sequences from point clouds via multimodal diffusion","venue":null,"work_id":"895aa2a3-2fc3-42f3-8007-f5e19ffd0aea","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.531281Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:58aa1cdcc49e83ec5bcf1ddbf49bdaa7288a0dc095b38262237c9114f9f47b49","observation_id":"be70a050-ca98-48ba-b60b-75159e2a7115","resolution":{"observed_at":"2026-08-07T20:26:20.857171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.14377","last_updated":"2023-07-25T17:30:38Z","snapshot_observed_at":"2026-07-06T15:58:55.330444Z","submitted_at":"2023-07-25T17:30:38Z","title":"How Can Large Language Models Help Humans in Design and Manufacturing?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.14377","snapshot_observed_at":"2026-08-07T20:26:17.535758Z","title":"How can large language models help humans in design and manufacturing? arXiv preprint arXiv:2307.14377, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.535758Z"},"links":{"cited_paper":"/paper/2307.14377","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:a59350d1d24fbb625c691c4f99866cc0f24191ee267d3001802c2e8db95f0dc5","observation_id":"fb94313c-6973-4f8a-83f1-596c3aa68c55","resolution":{"observed_at":"2026-08-07T20:26:17.535758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:19.091226Z","title":"Toward programming languages for reasoning: Humans, symbolic systems, and ai agents","venue":null,"work_id":"76840a33-f439-4734-b7e8-fcb202faeece","year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.540884Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:4066cf2ef0ed0c29baa18bf28f5c667b0be0269eb1f876c0e7d1f66c20642b5c","observation_id":"5eedc0ac-28e2-4e6c-a50c-abd690ec4332","resolution":{"observed_at":"2026-08-07T20:26:19.095948Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.838509Z","title":"Dag amendment for inverse control of parametric shapes","venue":null,"work_id":"592220cb-7fe4-4918-8e81-adfd38386a75","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.545316Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:e65ea11282e3079115c682ac2befbee87fe291097f4a4d614266f27e983c21fa","observation_id":"a6fa358c-4a56-45d8-b968-1d63d9f4cee5","resolution":{"observed_at":"2026-08-07T20:26:20.843015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.824824Z","title":"Synthesizing structured cad models with equality saturation and inverse transformations","venue":null,"work_id":"0e7e55c2-78f6-4201-915b-c6f94ccde336","year":2020},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.549697Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:b654a4807426857401bdcb637b57c490f5d2ae308cbba407d7db8234fe02ffe9","observation_id":"be2e6e24-50a8-485a-ad03-9c1ef03bff8d","resolution":{"observed_at":"2026-08-07T20:26:20.829333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.811132Z","title":null,"venue":null,"work_id":"a7f2aa94-6b4a-4410-b6c0-6c1e61824037","year":2020},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.554304Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:037215984fa8efd02b4b915c9e5bb7f284b87e5bb428f2a431b74fafe6a76a97","observation_id":"1365bbbf-1476-4e12-b09f-cc12679650d3","resolution":{"observed_at":"2026-08-07T20:26:20.815618Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.797376Z","title":"OpenCascade , February 2021","venue":null,"work_id":"c32dba04-c797-498b-883d-d94666147466","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.558839Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:dfcc2c77e23e4b2bfa5503c0a70b7e90c54c382b83703e46566b9e931497525f","observation_id":"b95adc2d-dd48-40bd-8ab4-9f32a96359aa","resolution":{"observed_at":"2026-08-07T20:26:20.801895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.783528Z","title":"Featurescript","venue":null,"work_id":"7eeb7993-e333-4ded-a845-25c4ef4a4105","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.563415Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:56fcb034579012a7bbe5bb041a4e0a4aac56cb19a422cc52b0a0f0dd0c6768da","observation_id":"86cba119-db0f-4b85-a29b-7379a5b50a77","resolution":{"observed_at":"2026-08-07T20:26:20.788052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.768896Z","title":null,"venue":null,"work_id":"c365fe91-a8d8-4a7f-af0e-9db829cae6a6","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.567676Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:6b8e709daf55310cafa47168fcef1cf95320ad8078579a4c617c4f1b4830d895","observation_id":"7282d4ba-affb-46dd-a7d2-683ac2656210","resolution":{"observed_at":"2026-08-07T20:26:20.773572Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.753755Z","title":"Sketchgen: Generating constrained cad sketches","venue":null,"work_id":"03276d7e-6154-4a75-a7fe-1e3515ea286a","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.572209Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:2d7d6030a1253d44280b32e51af6e7a3a57e864f8b01cc57cb291a7d629c34bd","observation_id":"c1554d12-9196-4f30-98df-4ac29494fb59","resolution":{"observed_at":"2026-08-07T20:26:20.758901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.11715","last_updated":"2025-03-20T00:03:04Z","snapshot_observed_at":"2026-07-06T14:34:00.492479Z","submitted_at":"2022-12-19T20:38:22Z","title":"GeoCode: Interpretable Shape Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.11715","snapshot_observed_at":"2026-08-07T20:26:17.576820Z","title":"Geocode: Interpretable shape programs","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.576820Z"},"links":{"cited_paper":"/paper/2212.11715","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:2e274be881e8af005766d1d9188ce90653a3d5522ad5ccc122b214818cdd5a4c","observation_id":"90165a13-8799-48ec-895b-548b4dd90197","resolution":{"observed_at":"2026-08-07T20:26:17.576820Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.15632","last_updated":"2022-09-30T17:58:11Z","snapshot_observed_at":"2026-08-05T04:12:40.250198Z","submitted_at":"2022-09-30T17:58:11Z","title":"ExtrudeNet: Unsupervised Inverse Sketch-and-Extrude for Shape Parsing","version":1},"cited_work":{"arxiv_id":"2209.15632","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.15632","snapshot_observed_at":"2026-08-07T20:26:18.914116Z","title":"ExtrudeNet: Unsupervised Inverse Sketch-and-Extrude for Shape Parsing","venue":"cs.CV","work_id":"de85a20d-405e-4f4b-b8a7-46667227945f","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.581436Z"},"links":{"cited_paper":"/paper/2209.15632","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:eeaa295993a0cf8b49323f067495468d61fb7579e4f06a2b6651e9f7e01188cd","observation_id":"f978f1f5-edf4-4746-ab9a-0a9d0e30193f","resolution":{"observed_at":"2026-08-07T20:26:18.918579Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.14124","last_updated":"2022-04-28T12:34:26Z","snapshot_observed_at":"2026-07-06T11:52:26.138129Z","submitted_at":"2021-09-29T01:02:30Z","title":"Vitruvion: A Generative Model of Parametric CAD Sketches","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.14124","snapshot_observed_at":"2026-08-07T20:26:17.586041Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.586041Z"},"links":{"cited_paper":"/paper/2109.14124","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:fc7e28ba69a54b001453725bb9e0b224b00a1afd5b128cb3cfb776eb2142ef5d","observation_id":"12476821-2863-45d9-8205-864429d4705b","resolution":{"observed_at":"2026-08-07T20:26:17.586041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.11014","last_updated":"2023-12-18T19:44:09Z","snapshot_observed_at":"2026-08-03T16:36:19.695680Z","submitted_at":"2023-05-18T14:48:20Z","title":"Generalized Planning in PDDL Domains with Pretrained Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.11014","snapshot_observed_at":"2026-08-07T20:26:17.590693Z","title":"Tenenbaum, Leslie Pack Kaelbling, and Michael Katz","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.590693Z"},"links":{"cited_paper":"/paper/2305.11014","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:74e58fff31c711f9c150463fa1972d43f9d9e1adb30e48b3a382245bc4c15c7c","observation_id":"0cd98487-a248-4cad-8995-5d7f2867c6b7","resolution":{"observed_at":"2026-08-07T20:26:17.590693Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.739061Z","title":"SolveSpace , November 2022","venue":null,"work_id":"17c187da-20c0-41ac-a9ed-de24994d5605","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.595259Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:a7b75a7872b4a5c3b165fc9ba6e640ba85e3f6870b9670f09ce58e24d0797514","observation_id":"59aeab03-76e6-4fad-9269-5d5986784927","resolution":{"observed_at":"2026-08-07T20:26:20.743659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:18.880153Z","title":null,"venue":null,"work_id":"45dc17c8-34a0-4054-82d1-1458f5419573","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.599174Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:b9b645738d77c6f490f20ccfca5abed47a19a772f4bb708e9a6bac5d7e4aa642","observation_id":"119469c3-dafd-45fb-8da5-aecd4337a8c0","resolution":{"observed_at":"2026-08-07T20:26:18.884654Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:18.685426Z","title":null,"venue":null,"work_id":"e024493d-0065-4cba-8d51-54d25ec3ef8f","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.603208Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:3d7e3c167d25d5635c282e5967d3ff9dc61bc8487e70ee22b635bc40b3c0d948","observation_id":"c4b4b601-f931-4ef9-a655-e4e8a2d0bee3","resolution":{"observed_at":"2026-08-07T20:26:18.689460Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:18.508844Z","title":"Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G","venue":null,"work_id":"b1977b98-e9fa-4982-8eb2-b244277913b9","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.607052Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:19110db0c29a06cec082a47ea7eb9905dddab85a8b4e3b7a7d12b4842edf398c","observation_id":"b67553a7-c0b8-4152-8974-28f34adfaac6","resolution":{"observed_at":"2026-08-07T20:26:18.513832Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.724595Z","title":"Deepcad: A deep generative network for computer-aided design models","venue":null,"work_id":"b4bd0cdb-2341-4c37-916e-0af41de7b3ef","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.611111Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:aa19e701b87ebc3ff21f3d0d211557bce6c68e381302ae78936e4c21f677a904","observation_id":"ba99107c-8257-4734-a475-ca09e90fc452","resolution":{"observed_at":"2026-08-07T20:26:20.728842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:18.293955Z","title":"DeepCAD : A Deep Generative Network for Computer - Aided Design Models","venue":null,"work_id":"afb7083f-2ad8-4a26-b501-81739bbb40f4","year":2021},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.614898Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:1c93bef6a2c95d02c4dd58870cfce22aa17c7da21cc0b9147fb909958f953cb4","observation_id":"6fe79ae9-7e02-4bb2-b0c3-58d2e95c6f50","resolution":{"observed_at":"2026-08-07T20:26:18.298836Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.12244","last_updated":"2025-05-27T06:49:09Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-04-24T16:31:06Z","title":"WizardLM: Empowering large pre-trained language models to follow complex instructions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.12244","snapshot_observed_at":"2026-08-07T20:26:17.618973Z","title":"WizardLM : Empowering Large Language Models to Follow Complex Instructions , June 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.618973Z"},"links":{"cited_paper":"/paper/2304.12244","citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:5cc991e5e41a8b1f41e4b3e4e268dc4dd8ae171d2ad634394129596a488285bc","observation_id":"6f2de00a-c499-4ee0-b2fb-b160873562f3","resolution":{"observed_at":"2026-08-07T20:26:17.618973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.711189Z","title":null,"venue":null,"work_id":"4494620e-49da-4821-8d4b-4f9fc8bb17dc","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.623180Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:fb54072cc5a5af53f7199f34f7997bf57cd6da087e205678f86d52047bae3a13","observation_id":"7c8f4481-297d-4de3-88b8-3b5f80838ca2","resolution":{"observed_at":"2026-08-07T20:26:20.715103Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.697514Z","title":"Brepgen: A b-rep generative diffusion model with structured latent geometry","venue":null,"work_id":"818e0d48-b7a4-48d9-9395-ac2331685904","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.627190Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:55957d621d39e26fc940a8be7bc32f260909de03c938ac4dd16bc32b85e8f23b","observation_id":"5b39ed33-0fa6-49b6-9f05-563291669743","resolution":{"observed_at":"2026-08-07T20:26:20.702096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.683514Z","title":"Capri-net: Learning compact cad shapes with adaptive primitive assembly","venue":null,"work_id":"d1d7a00e-0675-42ea-8f59-52b0184ba452","year":2022},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.631366Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:9871a45e84b0978ffe228d658ad57294a3a16261572c34f7ed68be96cc7160f3","observation_id":"79448b6e-d5ff-4509-b252-a28710100d2e","resolution":{"observed_at":"2026-08-07T20:26:20.688249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:20.669131Z","title":"Unifying the perspectives of NLP and software engineering: A survey on language models for code","venue":null,"work_id":"90e7109a-5f9a-44ae-94e5-21a34172dcb2","year":2024},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.635663Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:f427b41003a12f087304764711ac577ae5d21cab30a0ec784db8733695ad781d","observation_id":"1399e6e4-55da-47f3-8739-d9a6e4973c99","resolution":{"observed_at":"2026-08-07T20:26:20.673777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:17.639948Z","title":"@esa (Ref","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.639948Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:dfb20e0ba4dc5df59e7841936ebc3362ef2a91cc79454f0e2f0ff8e1a2ef645a","observation_id":"e9972b1a-f267-4c5b-84c5-57b2e5a43a0e","resolution":{"observed_at":"2026-08-07T20:26:17.639948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:17.645085Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.645085Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:92c4ce5a23e61df511bf42a7656b019b35f2e8fc45f716f260453093e90d5a04","observation_id":"3b68a274-d949-48ae-a3e0-ddcb14677e18","resolution":{"observed_at":"2026-08-07T20:26:17.645085Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:26:17.649606Z","title":"LLMs may be okay at getting syntax correct but they are especially bad at spatial reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-07T20:26:17.649606Z"},"links":{"citing_paper":"/paper/2502.09819"},"observation_digest":"sha256:2b0ec827f6bb279d914d782af8d29bfbdffd7f592b76a7dc9edd5bb0eeac195e","observation_id":"9b783679-1d4b-443e-80e8-24f550411be5","resolution":{"observed_at":"2026-08-07T20:26:17.649606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.09819","last_updated":"2025-02-13T23:31:30Z","latest_version":1,"primary_category":"cs.CV","snapshot_observed_at":"2026-08-07T20:20:18.162448Z","submitted_at":"2025-02-13T23:31:30Z","title":"A Solver-Aided Hierarchical Language for LLM-Driven CAD Design"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":14,"verified_fuzzy":19},"total_outbound_references":53},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 1 inbound Pith citation observation for arXiv:2502.09819."}