{"as_of":"2026-08-19T18:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9bcc752e34a406f4b3a1b185eb0c3693982bde7f46791a16953ff67fdc58e120","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T22:36:52.062647Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2412.03310/citation-record","integrity":"/paper/2412.03310/integrity","json":"/paper/2412.03310/citation-record.json","paper":"/paper/2412.03310"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:36:54.626598Z","title":null,"venue":null,"work_id":"76504fb1-7804-4794-9cce-3e3dc51ce7ba","year":2001},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.274751Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:fb55ec7f2e27452f79b3e60ae8c52917c59eb08d1bacd2fe9a23e56e17567dbe","observation_id":"07e580a2-42f0-4932-9e07-cff2430c8748","resolution":{"observed_at":"2026-08-11T22:36:54.656968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.605872Z","title":null,"venue":null,"work_id":"d2e08fec-4ff4-4570-bbd2-6e68043f10c0","year":2022},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.297244Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:a83e94438fdfd0537cee7deb0beb1b548a4e9b3b3dfb118a7ac4edcbf29666c8","observation_id":"b824e75a-2332-4a5f-aba4-f53229c71f2f","resolution":{"observed_at":"2026-08-11T22:36:54.611981Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.583599Z","title":null,"venue":null,"work_id":"8aa70a08-261d-4c69-a57c-77a357f53b66","year":2011},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.324753Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:4a82d99a18195a53016265fcfdc858a95dced8569d27023f6501870ea66eaca2","observation_id":"149e1a74-2392-48c9-81f8-8a33ece9b1c7","resolution":{"observed_at":"2026-08-11T22:36:54.589569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.560924Z","title":null,"venue":null,"work_id":"c409709a-2481-4279-ae4e-0fdcdc793ba5","year":2017},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.335699Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:8c5cf6d725f0ce6b3dbe7eda1d4ccbfe78be950b7e6cea3baedd52d87e4c7337","observation_id":"ff79ed30-2d2a-4864-8b3a-135f59b2490c","resolution":{"observed_at":"2026-08-11T22:36:54.571479Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.538283Z","title":null,"venue":null,"work_id":"e5661a21-1f7c-4371-bf15-6ccccefecfaf","year":1973},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.340733Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:1be8f2d147fc5b7a29a100363b15cfb3c1361c80e358582e4b382d867472303c","observation_id":"3ad14485-bd9f-40c1-aec9-40145adb93ff","resolution":{"observed_at":"2026-08-11T22:36:54.542985Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.514597Z","title":null,"venue":null,"work_id":"f2fff30f-a805-4d63-860e-b909ee759015","year":1974},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.375753Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:590d1be27da6223cbe1b03b40a49b824792ee68b7d3aa8ed63da400fd1807abb","observation_id":"ef76fa10-c131-4cd2-ac7c-e053839fa8e8","resolution":{"observed_at":"2026-08-11T22:36:54.524283Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.472078Z","title":null,"venue":null,"work_id":"1a3902cc-f3cf-49e3-88de-8f6c2bb9202e","year":2017},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.384749Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:8f026612047b46d59a92344f362af5e60866bdac074c6c4c3f354d1803fc99b8","observation_id":"09da0be8-7649-4485-ad0a-067ccf41d4a6","resolution":{"observed_at":"2026-08-11T22:36:54.482189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.438943Z","title":null,"venue":null,"work_id":"c7427cfc-e07c-44de-b710-9d21721d37db","year":2024},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.416269Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:e6630d1c9c2248acee2e54c975c69e9219438e44d7912a2695e2e1449e609637","observation_id":"0c2e34e8-8503-470f-ae8c-f7de923db47f","resolution":{"observed_at":"2026-08-11T22:36:54.451848Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.419296Z","title":null,"venue":null,"work_id":"32511619-50a5-4601-94a5-fb89dcd2aaf3","year":2021},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.444750Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:dbf8ee5ad2980ed411185d0c47437643b80a7482310e8bb72946936d1739c858","observation_id":"ea81e8d9-797c-4b76-b651-75af04391ea9","resolution":{"observed_at":"2026-08-11T22:36:54.426258Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.390331Z","title":null,"venue":null,"work_id":"41971d1a-32b6-4cd4-b856-9a1d7357ddae","year":2022},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.474744Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:d39e09ee654cc7b64766e898a7fedeb20af8bbba3aa84d8cc8c7d29f36d500c6","observation_id":"65604aac-6961-45a9-8c93-d29d7b167878","resolution":{"observed_at":"2026-08-11T22:36:54.398069Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.354006Z","title":null,"venue":null,"work_id":"f89a898c-9190-4403-8333-9d97369c15fa","year":1994},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.511028Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:ea388435679dd405bc2796d7b544fa8617b4f2afc27cb74ae98bb323b045ab7f","observation_id":"3c7a486f-ac20-4a8d-9ce3-f700e1048a58","resolution":{"observed_at":"2026-08-11T22:36:54.368984Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.305513Z","title":null,"venue":null,"work_id":"47c23f97-9750-4ff9-9830-cd73134f87e0","year":2018},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.527747Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:adf900474371ed3b91b36a9534d803372e3694a87f97470f55271baf001e01f8","observation_id":"c4028004-2ae7-453b-bee2-e04938bbd73f","resolution":{"observed_at":"2026-08-11T22:36:54.326079Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.253382Z","title":null,"venue":null,"work_id":"c18d44fe-e9be-4a96-9b3f-080787fde730","year":2012},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.545862Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:3c8864c9ca066b60fa6d42755f28a353c46397292e20c0ae4a26b2871ced0697","observation_id":"de4975f4-0faa-4373-8e43-311c258fbb15","resolution":{"observed_at":"2026-08-11T22:36:54.265138Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.200946Z","title":"Jackson and J","venue":null,"work_id":"bae1ea91-b358-433f-94d6-1ad15d0b99ac","year":1996},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.570184Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:23fb52347b02d78744cc8ba55a3a49415200b30af9bc8f8aed381060c9b818fd","observation_id":"62265921-d1ce-4f17-8777-b6ba7b34ac99","resolution":{"observed_at":"2026-08-11T22:36:54.213854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.160137Z","title":null,"venue":null,"work_id":"8fee364f-170a-4769-8927-b857799d1def","year":1922},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.584749Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:50518b529077ede21532709903da9f34a161a2594204cf2df8a88dd74d3fffb6","observation_id":"059b450f-5a9d-4bc9-bd5f-b9bd9bcb124f","resolution":{"observed_at":"2026-08-11T22:36:54.171199Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-91271-4_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"93662ee1-10a5-4981-871b-1f9adae9e8c8","year":2018},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.597885Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:0d0617c656d6e792cd9cb8326e62b45d02d5ae325fa344d3ab21f1636a797d6e","observation_id":"58054bd3-234f-43f7-91f7-31084ec6f49c","resolution":{"observed_at":"2026-08-11T22:36:52.349407Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-41591-8_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"a1d75477-4021-4e84-9731-572eea06797f","year":2016},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.618184Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:8306d774e903ace7055c9881e999367764c6c4580bd57888751f93f21b1fbc9b","observation_id":"c7d0acac-39e0-4851-a39b-bd9b9057cd3a","resolution":{"observed_at":"2026-08-11T22:36:52.276402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.104620Z","title":null,"venue":null,"work_id":"2ece460f-e974-421b-a9e8-f9866089ac23","year":1987},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.638376Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:e86ae1dced34980cd3faad72b2b95d61bbfcb7d809703992128f12d384fa5b37","observation_id":"919472a0-9b44-46e0-bd6f-19aba577fb76","resolution":{"observed_at":"2026-08-11T22:36:54.124234Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-45236-2_46","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"a1aac51e-2acb-41f5-9737-2869952ad15b","year":2003},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.684757Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:7ccd360d2143a2191adb1a88047c8519146ace1ec118cf7eb3818f51817675c8","observation_id":"9eb7347f-63d0-4b68-a0c1-010a2aa03b77","resolution":{"observed_at":"2026-08-11T22:36:52.244743Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.073734Z","title":null,"venue":null,"work_id":"1859dfa9-765b-4f22-9f4c-46ce47a0810b","year":2020},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.715711Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:c79cf8cc28c2125b6c577f6440c16b6f6ea027fbb881ebd613982d11af2407fe","observation_id":"0fc8ea24-0981-43f7-a7c0-a7ad0d691ba5","resolution":{"observed_at":"2026-08-11T22:36:54.083778Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:54.010816Z","title":null,"venue":null,"work_id":"c1a2ca9f-aa15-4519-9e8d-a267836c29a3","year":2010},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.720095Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:03805f5bd905ddac9f8ebac7b6b88a6dc773e0bd3ecdab105228fb3b0f0cc89b","observation_id":"20524b57-6fd7-499f-be4d-0524c779a1cc","resolution":{"observed_at":"2026-08-11T22:36:54.037259Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.976049Z","title":null,"venue":null,"work_id":"343ab4cd-2a5c-4887-b783-3be70ca6778f","year":2023},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.724905Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:1631105aaf8883097119757d1e9f068ebc913905eb6f13f915d44cee63371c26","observation_id":"5a198343-538f-4920-b2f1-0aee8fa1a0e9","resolution":{"observed_at":"2026-08-11T22:36:53.987372Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.926690Z","title":null,"venue":null,"work_id":"4b0370c5-aa14-49d9-b45c-209892155e53","year":2024},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.744085Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:efed89dfae99bcdc6e9a95db96d0f6b5146a08051f2db76f477d454bc365728c","observation_id":"b14e00cb-709f-4a2c-bcbe-0cb6922f5fa5","resolution":{"observed_at":"2026-08-11T22:36:53.946731Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.882365Z","title":null,"venue":null,"work_id":"40b338a0-0440-4391-9270-c64322b015b2","year":2017},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.777397Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:9eb592ec76dc0a258789049ab8439be5ed5d8f0ddd2cf59f6d983cb1830c2ecf","observation_id":"d2caf0a1-1af8-47d9-8dd2-30928cf16488","resolution":{"observed_at":"2026-08-11T22:36:53.899781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:51.787493Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.787493Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:ea9359dc57f1f9d166c557a2b43ea8931911af4ed6602f84b582accd3ebe7b11","observation_id":"f3b2e6a3-9b36-4335-acd8-3bc3239695bf","resolution":{"observed_at":"2026-08-11T22:36:51.787493Z","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-11T22:36:53.848200Z","title":null,"venue":null,"work_id":"02311e93-0125-4012-bd3c-d5fca62d82f9","year":2016},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.794279Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:211125b740a31b4e6d29938393753f9c6b1e237d54f469b0dada65b8683263fa","observation_id":"0218322b-1545-4fca-94d9-efc7434489b1","resolution":{"observed_at":"2026-08-11T22:36:53.858292Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.814758Z","title":null,"venue":null,"work_id":"82385e43-669e-4a36-9c89-7cb5cd1c5c26","year":2001},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.803795Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:d1e005b3a626e82be0320f813738a4e2b3b21cc7fdd90591c00b98145b83e998","observation_id":"1cc52ea8-47b2-437c-83a5-c54b66fcb177","resolution":{"observed_at":"2026-08-11T22:36:53.825898Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.762592Z","title":null,"venue":null,"work_id":"d2eb2875-6e84-456b-a53f-6ecd94cbc19d","year":2003},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.814750Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:b853a039668fd8d4cccb9d123ff7fd3ce742a434c79e5429a7a24e3fcae1d519","observation_id":"0b7a5b1c-b012-40f3-a274-e04e6f89a564","resolution":{"observed_at":"2026-08-11T22:36:53.784834Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:51.828676Z","title":"Ayers, and Gabriel Ebner","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.828676Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:c33cec8efa361835d68ae6479f2cfda2b1cc32d6f6787da36783e00583bb6d7f","observation_id":"266eee99-bab3-4e2e-a91a-16fe27ade78d","resolution":{"observed_at":"2026-08-11T22:36:51.828676Z","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-11T22:36:53.644648Z","title":null,"venue":null,"work_id":"5effd637-e2d5-495d-a766-aeed4c609ed4","year":2024},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.835211Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:04fee53a13de5fbe07f584a66ee5bffaf55dc7e3d3ffae7c60e226e9f8748eae","observation_id":"812855e0-4c14-4e44-b458-e9cfb02e613c","resolution":{"observed_at":"2026-08-11T22:36:53.686902Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"cs/0207044","last_updated":"2002-07-17T14:59:33Z","snapshot_observed_at":"2026-07-07T03:04:41.529076Z","submitted_at":"2002-07-11T16:57:59Z","title":"Declarative program development in Prolog with GUPU","version":3},"cited_work":{"arxiv_id":"cs/0207044","doi":null,"metadata_source":"pith","pith_arxiv_id":"cs/0207044","snapshot_observed_at":"2026-08-11T22:36:52.542674Z","title":"Declarative program development in Prolog with GUPU","venue":"cs.SE","work_id":"a91f4af6-392a-4979-aab2-035b61539761","year":2002},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.844746Z"},"links":{"cited_paper":"/paper/cs/0207044","citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:3b118860450975f127c991f3145179b84687ea902d042c2cfb3a5bd911a314b2","observation_id":"839a3abd-40fd-4114-81d2-ce2c3d25cd30","resolution":{"observed_at":"2026-08-11T22:36:52.554959Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.586043Z","title":null,"venue":null,"work_id":"9fc6ca2c-7871-414e-aff2-62c6d7991585","year":1997},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.860769Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:8569b834ed046ccdf3044cc618a02559242db921f91a9aabe267855872f84a17","observation_id":"29e8a4cb-e779-4735-a6ce-6c322e7c663c","resolution":{"observed_at":"2026-08-11T22:36:53.598348Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.544781Z","title":null,"venue":null,"work_id":"a91f03ff-05f8-4540-a03c-c293b33a3a7d","year":2014},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.866599Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:4a723a5f3579fd5413a97b800b4bb07d86f508309e3e4f0133f5c2d7eadc444c","observation_id":"16a8b20a-68ff-4248-9477-caba72df5b6a","resolution":{"observed_at":"2026-08-11T22:36:53.558181Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.486215Z","title":null,"venue":null,"work_id":"44fd3ee4-324d-4d24-b86f-471438659cb5","year":2024},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.879486Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:ef108eb1574826099d723f73d2a493c5fff2722d82477a7606b299b8b0c50786","observation_id":"bf0f88a8-3850-4386-899f-c22c53a34eed","resolution":{"observed_at":"2026-08-11T22:36:53.491775Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.441983Z","title":null,"venue":null,"work_id":"b423838b-68d3-4a5f-aa12-94a63764be5a","year":1997},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.887196Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:504002cfa5bc5bb3fcfe3a7dee86b0f708106befcc466b0f74556694a4a7db4c","observation_id":"8401da4f-d782-4c54-9c4a-ac08d633a3f5","resolution":{"observed_at":"2026-08-11T22:36:53.460705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.379005Z","title":null,"venue":null,"work_id":"8be83ebe-f607-49dc-8743-c3d4e63b5a5f","year":null},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.899038Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:839b5b8cbc8fc51b40c992122964d1e8c38189cfd0ed66bfb98c4bcfed8a457a","observation_id":"c61ae274-0cd1-4ccb-95f3-251b1ec31bab","resolution":{"observed_at":"2026-08-11T22:36:53.405550Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.230677Z","title":"Sime, Thomas R","venue":null,"work_id":"ad918972-2457-4827-856b-aa68c61ce5cc","year":1977},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.929602Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:06821e537b51c135486305b4c853a9198a03308f5df63e15e2973302ac5df975","observation_id":"ee001baf-dda4-4904-97b2-92b614ce797d","resolution":{"observed_at":"2026-08-11T22:36:53.264977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.191699Z","title":null,"venue":null,"work_id":"a103cce4-aad6-490f-9b4e-6cb7f99e0fbf","year":2017},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.938328Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:d7c5cda52a6b961f8500e728e1e8586a9f33b432a09e93a691b87c33e0ab087f","observation_id":"734aeb3e-dbf3-4c8d-a503-1023c9af6fcb","resolution":{"observed_at":"2026-08-11T22:36:53.200787Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.122317Z","title":null,"venue":null,"work_id":"65969e5e-ceb5-480a-96c5-d4e2a7cfbd5e","year":2013},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.966361Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:fc2e12da051c7e97d9f486af9e7f1363d2c69c7552cf98db9747393ba356bffb","observation_id":"79e6db3d-8566-455d-a5b7-98710b908487","resolution":{"observed_at":"2026-08-11T22:36:53.145858Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.081713Z","title":null,"venue":null,"work_id":"9fd6856a-06a0-4ffe-8984-b629f0290ef0","year":2001},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.976062Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:86b74fc58db4947d90c5cfc4421cc6d10d8a22c24158f41d19ed956b581525ea","observation_id":"1aca6569-56a3-4478-a1a6-9b03c6dea76e","resolution":{"observed_at":"2026-08-11T22:36:53.104756Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.048943Z","title":null,"venue":null,"work_id":"380418f7-79bc-4546-8e4c-236eb8fc7b86","year":1935},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.979871Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:a06e32422492fd4dc7c8a36b779519605345d5303ece1fead0c907d0f6d784e2","observation_id":"aaaf3635-3ebc-4248-aa9b-6fc767b73224","resolution":{"observed_at":"2026-08-11T22:36:53.053216Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.025846Z","title":null,"venue":null,"work_id":"e88aa703-37e7-47b1-a57c-e58c6a2074c4","year":1991},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.987964Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:46b7690dde34f57bc16d3b623d167af4b8badbad0d72155408e713db60decbc7","observation_id":"2713e32f-cf7f-4cae-a6f1-6823ef4c905f","resolution":{"observed_at":"2026-08-11T22:36:53.030152Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.978075Z","title":null,"venue":null,"work_id":"ca0114cc-819f-488c-8f5b-0222da5b97fc","year":1983},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.002936Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:8b39fed57237941a04fa7689a2e701e20b110883cbef3c7dc2eb7d18c30f1706","observation_id":"865ace27-5420-4bed-b021-3d7fc0ca6012","resolution":{"observed_at":"2026-08-11T22:36:52.990890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.895818Z","title":null,"venue":null,"work_id":"5b648d34-4af7-424f-8676-99ec82aa6c3d","year":2018},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.011342Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:31962c8e3e666d5ec0294d1d5320ea89ac5d759b6815fb797361c406d6cb27de","observation_id":"31d210f9-162a-46f3-adb9-4a627b78e78f","resolution":{"observed_at":"2026-08-11T22:36:52.906008Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.815844Z","title":null,"venue":null,"work_id":"373b29f3-5605-4d27-a422-91cdc94b2314","year":2017},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.022207Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:2af574cf621bff58cccb0735b6edd757c00d70adb853ff6bf24e4a60e9c12e9d","observation_id":"4a32e455-a059-415e-9a91-39e33357d3c2","resolution":{"observed_at":"2026-08-11T22:36:52.823501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.772221Z","title":null,"venue":null,"work_id":"9c0efaaf-8272-4b37-8917-c8e76bc8536d","year":2001},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.029801Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:17cfe3883f8a025b36c6b06ddeb0403f6073741e44b946a01df38b57849b80ec","observation_id":"12571457-8ef4-4133-bc3c-800b0535b178","resolution":{"observed_at":"2026-08-11T22:36:52.780248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.037989Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.037989Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:15a3eeb4c4f0d0465a2090b9065de31cf9449f7d09bfbc0f36cc3b62b98089fe","observation_id":"c054cf7b-d3d2-41e1-98ec-6d6946a22631","resolution":{"observed_at":"2026-08-11T22:36:52.037989Z","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-11T22:36:52.749010Z","title":null,"venue":null,"work_id":"56b98883-7909-4c7b-b0f4-61a1e14ddef5","year":1969},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.045262Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:20177c81148464cfbe89d0300f15658a77636ac325a3d919b94a65354b7b19a1","observation_id":"5970fa80-f6c3-4a45-a3cc-0876e935962b","resolution":{"observed_at":"2026-08-11T22:36:52.754262Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.684750Z","title":null,"venue":null,"work_id":"7952706d-a83f-4c17-97f7-98e8196f06ac","year":2021},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.053301Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:3cadb5b5d10a79c35ba6e2d5c31ded07a6f26411777de760795ea5855c060264","observation_id":"87be615b-1673-45a3-aa9a-f4cf1357448b","resolution":{"observed_at":"2026-08-11T22:36:52.717241Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:52.581794Z","title":null,"venue":null,"work_id":"d98f5c27-d67c-4947-9d7a-13f996ffeb82","year":2020},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:52.062647Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:ff196354f89b4a6c2fc0383f62caeaf446f4456aebd2e525f92ea9fc354de31a","observation_id":"763f5f58-3952-427e-98b3-f7a16c00a704","resolution":{"observed_at":"2026-08-11T22:36:52.596178Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7680.30223","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:36:52.485942Z","title":null,"venue":null,"work_id":"22c44136-5e14-4f44-b84a-224ad345fa22","year":null},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":641,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.948461Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:722345d7f0a99803a67eaef8d068874cade11844e46835dc9a8890f920691393","observation_id":"b8a3c1d2-3316-4a23-91d5-668ab4114419","resolution":{"observed_at":"2026-08-11T22:36:52.502942Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T22:36:53.314608Z","title":"Genome research 13, 11 (2003), 2498–2504","venue":null,"work_id":"341201da-b5c0-4cbb-848c-48395fb9f7ef","year":2003},"citing_paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-11T22:36:51.913548Z"},"links":{"citing_paper":"/paper/2412.03310"},"observation_digest":"sha256:047c155b073c8435a547f166402451f240ac554f48a6e5e82a30328ecf6f5d28","observation_id":"795c07d4-256a-4b52-9220-1055a57f1887","resolution":{"observed_at":"2026-08-11T22:36:53.337126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.03310","last_updated":"2024-12-04T13:37:59Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-19T16:46:23.181046Z","submitted_at":"2024-12-04T13:37:59Z","title":"Grounded Language Design for Lightweight Diagramming for Formal Methods"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":44,"verified_exact":4,"verified_fuzzy":3},"total_outbound_references":52},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2412.03310."}