{"as_of":"2026-08-08T11:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3402217a7b3b0d6adc0fc13c89e0e522d65ffd13f899ab048af3f6ccbd23dd5d","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-08T06:32:00.761636+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:a8bae2ec4c6fde8f0df89b3d5b61de4fd2025c217af311792783992f4fe19b7e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:d6e3db1668f10a98fd79f3270d8d7cf049f50631034d6317c81ecdc59cfdf355","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:47ec718d0f2da3da20fc5c9642d13770d6323f42b514f5a8c44f185f3c7dad05","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:3a55d4f7ae5d982707fa22eec4d18b96d95cb0a4f25351c425a6ccd04719ab6e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:8dd332429b0b23c69f2d3c649bab8888e591cfc8eb8ee69d405f0c8746da6048","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:c70e9c37a383940e6ed55e6b5fe8c1362b6381b590acfb3207eba3402b040ead","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:1c3b71321cd49fa1d4f07090d77288e19fcda092af496318cd5d6db24c74cfd8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:9a9df182d8973ca668a5466f70ca468d32bbf8796adad42ab7dd087d16d33a9a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:61136bebe1d2f795c6fe3f8fe7d5d75981b5d54a192e7685bb7d8c7b26ade8c4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e9de1ce1d8eccaa4f568f972541af2fe788a7e487423e06b74bd2b9a62bded29","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:53c0b9cc6b836562de92242b5a374f878ab670525acfe17cc69fb4d4ae775171","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:819882eec6b0fbd46c91240311ee419c32faf3a8a891e850f17f6ddf853ffef2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:d1824f58626bd7eb63d2cd08044411ae095701ae8852bf5d185cede27b23bdd4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:1d9888996ee33c5cb10ad7013d559174fb908946f3e7863e91b2f102638e06da","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:16:16.039225Z","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:bf0d15e1b76fda7e6f161969bc906ed004aeb46737431059dae2d54d368de0c9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:9996187a6f9af7799eef9bbfb501a7af8f62a9a6964103595f64f131e9b9897a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:fe173fb4ac2daf21c6e8fcaa446eaec9d52824d494004bfd5579fc5366448274","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:eb506b0e5e99185f1db26dbdca292fdbd4aae1631224dff93fbb755201c66c16","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:1be42d00842e4cea16de0df14e1f809320bc5aa43eee6243bce3e4952118e130","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:2188b4fc63d157d72098deaf058ecb38991f3aa7b9366d8b1972c0daf9b9a4b4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:30d6f0f273e2e383e1297e3f16b63108faed186378351bfbbc50db61f3b9f1f4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:2341b6f8f731dc27d8aca2e9ab190df4d75e613437f9ecb15dcb31c6ad675ee9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:eddbea58aaf1f3060854702bcaf34c5f57e62114889d1b3b1d5186e96cc83393","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e660f6f8f3b662750705958daa41f1da4a347642f8e1786da0def4c6934b82a4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:6337a77938e5ffd98d410b599989873fbeb43ee0fb5f1b2991f3e17baf09f497","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:29e57f6413adbca6a235d59ab418feccb1449b5e6877daa7b2a19297ae106460","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:9412c96c1d17992f9efeb840065c308709d910562e248aaddd1b155ebdde6a8a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:3fcaca1e1b4cd47ba66c4d1865d8d6fc04d39feddf0eebc615d507d70a48dc09","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:e4ac14f4d7e6f061aefcf7a22339e9eae2d2dfbe1b6c9777d83c8b5f4b3be24d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:61e6bb949042bef68f8ab189c4d056342485c3c70dd2844fa8c3d30bd2b41775","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:b2cc621aa795776bec6e2f4ba5f9ac1cf0b9291259c32cb93cd90910e563f27c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:1ac6c2541894c196cfbdffb1a0dfcc77268007ec6d8fc4cea60b5a1cf37466d9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:6541738fbbba76b13bee70868772d4f3ba7eff69f850783ea57eaaa04f74b9bc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:b86a142488462036aded7ba015b591d491527bf1fab8c2a37198f5963e9049bc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:b181a5a5a0a67050650ffc3a5d809da42ced4f6f503822db649d592e4aa9dac8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:8a4dd96dfc787ec55ceb042df02380f5d3d21678268bc91aea01a3b6387eaee5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:9f00182c689ff238cd361b77b654f84edd93c81692644d7e502fc74fcdeb7210","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 1 inbound Pith citation observation for arXiv:2502.09819."}