{"as_of":"2026-08-17T20:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:79577ed45c8a22c9f2449e26d73402152c3355ee01409b8cddf6c61d46bf58ac","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T12:40:25.589303Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2504.12031/citation-record","integrity":"/paper/2504.12031/integrity","json":"/paper/2504.12031/citation-record.json","paper":"/paper/2504.12031"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65633-0_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:25.871788Z","title":"In: Gurfinkel, A., Ganesh, V","venue":null,"work_id":"09e6b879-3afa-4e5a-b5c4-6b1ca6d63b28","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.176850Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:1846200ccf1602ec55408f264553c930699dce71a516b133e7670861486f781c","observation_id":"38c2c80a-ee6f-4d02-bebf-1c3b6c715d44","resolution":{"observed_at":"2026-08-16T12:40:25.877881Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.792749Z","title":"Available athttps://github","venue":null,"work_id":"d723bd48-c906-4789-b35b-570cd27d7c5a","year":2017},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.184957Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:340bbb0f5155366e5c6a7a8d74e930c3b942c33f51c184eb64a045dddbecff7c","observation_id":"9dacf8cb-2a5a-4188-a89a-8e154706529a","resolution":{"observed_at":"2026-08-16T12:40:26.798232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.192206Z","title":"In: Bertot, Y., Kutsia, T., Norrish, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.192206Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:bbb32cfa989fc7aeee67fa758c2d9588dd297557fe6ddeff838f9b12b9bf7097","observation_id":"b7b098ca-71aa-417c-a3a5-4daf18262180","resolution":{"observed_at":"2026-08-16T12:40:25.192206Z","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-16T12:40:26.776132Z","title":"In: 30th International Conference on Types for Proofs and Programs TYPES 2024–Abstracts","venue":null,"work_id":"3afe859b-3148-4695-9428-4663fcc84708","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.198971Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:94cffe5dee352cf62ba84e83e94f8781c058a717dc7bf8c5d87cd5cd13751692","observation_id":"9e14ce86-1510-458c-8109-87fbd8c320e1","resolution":{"observed_at":"2026-08-16T12:40:26.781601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.206063Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.206063Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:be9119b84e44e1b15bd3bcd8bbc4695f2f0351b85f54fb5fbc51481e9e7b7576","observation_id":"bf6b2df2-5bd8-4910-8593-c20b047a5848","resolution":{"observed_at":"2026-08-16T12:40:25.206063Z","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":"10.4230/lipics.itp.2024.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:25.829842Z","title":"In: Bertot, Y., Kutsia, T., Norrish, M","venue":null,"work_id":"42be5186-b1ec-4c7d-8a87-8398dc1a460f","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.212793Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:6c48dc3f8c8bc8873b5d3ceb67110738ebd50d7fb96e7cd440b9b65974c07475","observation_id":"e59716d5-5707-4932-a930-1bba03b00362","resolution":{"observed_at":"2026-08-16T12:40:25.836835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.761003Z","title":"ARIA grant (2024)","venue":null,"work_id":"3e248fde-ddd1-42fa-a6e6-1b077111a784","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.219438Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:032243e18fdb2f44e7f1be07421cfc9960054eb8e5f54a05609f8e42840e0c93","observation_id":"5e9a71f9-5f84-4322-97a4-c4f04a8bd306","resolution":{"observed_at":"2026-08-16T12:40:26.765706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.743566Z","title":"Annals of Pure and Ap- plied Logic 147(1), 23–47 (2007)","venue":null,"work_id":"36312c41-10fa-49b0-bdfc-088f47799ea1","year":2007},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.225145Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:35946a5f1c46df10fe8b82e4eaf9ecb7a67237ae34a7bdd919942b2cbe91eb78","observation_id":"670aa5ea-3883-4826-84ac-8529e97611b9","resolution":{"observed_at":"2026-08-16T12:40:26.748547Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.726853Z","title":"Electronic Notes in Theoretical Informatics and Computer Sci- ence 3 (2023)","venue":null,"work_id":"dda61247-9ac9-43de-bf99-77171341196c","year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.231599Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:730327345039e626c80131725646c30043b91e95bc636bff93be9a858dd1c911","observation_id":"0be90604-6b04-4a8b-8602-83b6c671c7e7","resolution":{"observed_at":"2026-08-16T12:40:26.732445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.709562Z","title":"In: Proc","venue":null,"work_id":"06380f1b-ad16-484a-b3d4-5589cbbbaee0","year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.238127Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:ad90686857ecfdfdbd3e9c568f48ca97d9111a4e4ea9e1b4514dd1353a529a6a","observation_id":"63b8fc35-4d9a-419b-ad0d-092b464663bd","resolution":{"observed_at":"2026-08-16T12:40:26.714442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.692813Z","title":"All about Proofs, Proofs for All55(1), 23–44 (2015)","venue":null,"work_id":"bd93b984-98a1-466c-92f3-b28ec6484d26","year":2015},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.244889Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:8d82cfa5ee74d093f5a9fc71904a59228e950c01cb8663a4ec6826daf2b30385","observation_id":"6b5e22a0-d31d-4e4a-a163-d1dc4c07557a","resolution":{"observed_at":"2026-08-16T12:40:26.697916Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.676162Z","title":null,"venue":null,"work_id":"cd213273-e1e2-4082-af52-159a3d148d19","year":2006},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.251069Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:ede8d4a0e6369178884e675103aa21aabe4914594d758d3a6fab0399f6a9a4ad","observation_id":"8b72d764-da88-4458-ba5e-8f6843f677cc","resolution":{"observed_at":"2026-08-16T12:40:26.681709Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.257725Z","title":"arXiv preprint arXiv:2406.04936 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.257725Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:994139b8a92399d2d0a6954835993be1e74a14bb7eca6a8d5577134f33e52e6b","observation_id":"351318e3-8bdf-4516-add9-e85b0b74362e","resolution":{"observed_at":"2026-08-16T12:40:25.257725Z","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-16T12:40:26.658980Z","title":null,"venue":null,"work_id":"937f6222-ea22-4928-b8a9-20af850ad1c0","year":2019},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.264425Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:4ac2e7e452484e436cbbf041a2b890a15d9304e6da64c369dfa15f29eb882d47","observation_id":"b3061542-2560-4ec4-815c-95f3466a7c82","resolution":{"observed_at":"2026-08-16T12:40:26.663809Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.640797Z","title":"In: Computer Aided Verification (CAV 2022)","venue":null,"work_id":"352e8a5b-6a68-4919-ae65-210312ba8ca9","year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.270912Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:f65b336a80e7fe2697ad670fe01c85accc27a89155bf3b8607bf4dda1a02579f","observation_id":"4ad2fa57-9ffd-4147-9750-fe5148b9f595","resolution":{"observed_at":"2026-08-16T12:40:26.647005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.622966Z","title":"In: International conference on computer aided verification","venue":null,"work_id":"2e816587-6089-4b07-914c-0c1063f89cbb","year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.278171Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:9ba12155e7f7d3636fd5c8b58387f9ac65f73542810a5c660a146eb93153b7a0","observation_id":"3baeeaa0-afc2-4372-a776-a2ad8f3bf644","resolution":{"observed_at":"2026-08-16T12:40:26.628209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.284801Z","title":"Foundations and Trends® in Programming Languages 7(3), 158–243 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.284801Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:dfd7084d037775b18bd4c1fa86872c7dd0ccb4f06dd88a44e834c0e7360ea8fa","observation_id":"d1adf187-a94c-461e-a783-56519dc1ad55","resolution":{"observed_at":"2026-08-16T12:40:25.284801Z","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-16T12:40:26.604652Z","title":"In: European Symposium on Programming Languages, ESOP 2025 (2025)","venue":null,"work_id":"431b931e-390e-445a-bdb9-c1a7f727b1ff","year":2025},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.289988Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:7accc8103e6a579708453225db48bc20b5c5377a123cde8b8ebffeab3f531f95","observation_id":"79b3c15f-a345-430a-826a-42ef4988c709","resolution":{"observed_at":"2026-08-16T12:40:26.609990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.578086Z","title":"In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs","venue":null,"work_id":"d0bc64ea-0e00-4dfb-bb2b-d2595f54e5eb","year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.295110Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:2dff5b77680f3831a994f16d40313401c791763255fcf518c689e89cffabe7a2","observation_id":"eeec2db1-71f1-418f-8f82-f0088ceb4cee","resolution":{"observed_at":"2026-08-16T12:40:26.583750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.301287Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.301287Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:ab57d9b3d2045f65febebce91ab0cf1530ac8a6d2c68bc47bcd14aabdb78f8c0","observation_id":"c33a695b-df3b-402e-8133-491d8c28b7fd","resolution":{"observed_at":"2026-08-16T12:40:25.301287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06379","last_updated":"2025-06-06T00:25:20Z","snapshot_observed_at":"2026-08-17T18:42:47.087610Z","submitted_at":"2024-01-12T05:01:47Z","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06379","snapshot_observed_at":"2026-08-16T12:40:25.307731Z","title":"CoRRabs/2401.06379(2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.307731Z"},"links":{"cited_paper":"/paper/2401.06379","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:f08d9b9273b76781393fa554c342694ee0ca394c6ec95d09188aeb2869dedd6b","observation_id":"f25bd377-17d5-41eb-869f-7081ebc05691","resolution":{"observed_at":"2026-08-16T12:40:25.307731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06379","last_updated":"2025-06-06T00:25:20Z","snapshot_observed_at":"2026-08-17T18:42:47.087610Z","submitted_at":"2024-01-12T05:01:47Z","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06379","snapshot_observed_at":"2026-08-16T12:40:25.314860Z","title":"arXiv preprint arXiv:2401.06379 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.314860Z"},"links":{"cited_paper":"/paper/2401.06379","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:18749f27632304b1f0aef81de0ccd2251b0b07169f6a5acbfee92a32545825b6","observation_id":"b5f9359d-6f58-4344-a077-125e2d671cc8","resolution":{"observed_at":"2026-08-16T12:40:25.314860Z","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-16T12:40:25.322282Z","title":"In: Narodytska, N., Amir, G., Katz, G., Isac, O","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.322282Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:c0af3ddaef6b286bca78b3ccbf11a7c83844e20e9a17bcb0d5f361f52f010936","observation_id":"a835c20d-a5d6-4051-ab72-283416126a07","resolution":{"observed_at":"2026-08-16T12:40:25.322282Z","resolver_source":null,"status":"malformed_identifier"},"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-16T12:40:26.559275Z","title":null,"venue":null,"work_id":"e07b1f75-3da4-4ef3-b7e0-f02d43e62d49","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.328519Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:911f05b419e92d4db0d67534373ac06d4f1979c2bdecc1d54842774153650a06","observation_id":"29b88cef-1715-4b36-bcf8-d8ef1a307f73","resolution":{"observed_at":"2026-08-16T12:40:26.564763Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.10611","last_updated":"2025-06-24T15:45:04Z","snapshot_observed_at":"2026-08-16T13:51:56.648637Z","submitted_at":"2024-05-17T08:16:32Z","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.10611","snapshot_observed_at":"2026-08-16T12:40:25.334685Z","title":"In: Submitted to ITP’25","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.334685Z"},"links":{"cited_paper":"/paper/2405.10611","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:fcad7126334e9f194c44fe75f8950c322c7f6cbb3000111ebd1ab98481d343d7","observation_id":"057afb77-60d6-4754-b52c-05ace57ed74c","resolution":{"observed_at":"2026-08-16T12:40:25.334685Z","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-16T12:40:26.541313Z","title":"In: International Conference on Machine Learning","venue":null,"work_id":"6d26c833-9168-4e0d-b7e1-d5e1fc7b9741","year":2019},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.340915Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:789018961012aa5a89b90415627776a473b9a1d55b561dc01fb02406e20c4e9f","observation_id":"fa2d6998-8b6e-406a-a2ba-26ec88027f4b","resolution":{"observed_at":"2026-08-16T12:40:26.547696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.521738Z","title":"In: Chaudhuri, K., Salakhutdinov, R","venue":null,"work_id":"d14db941-1928-4827-9193-52b60c644029","year":2019},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.348033Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:b5f7c81821b98d5869e133f3b1482384d3605f7d5df872a507de4f443bd52ef0","observation_id":"11964250-a009-497b-9023-42071b564cf3","resolution":{"observed_at":"2026-08-16T12:40:26.527254Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.03847","last_updated":"2025-03-14T12:28:50Z","snapshot_observed_at":"2026-08-16T13:37:05.422546Z","submitted_at":"2024-07-04T11:28:40Z","title":"Comparing differentiable logics for learning with logical constraints","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.03847","snapshot_observed_at":"2026-08-16T12:40:25.354595Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.354595Z"},"links":{"cited_paper":"/paper/2407.03847","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:736466e2b035f85062b4db1e7792066e7067cfa03c87c6eaec68c5a02623a55d","observation_id":"d98d80f4-45a1-49e7-af4a-0897bc8623ec","resolution":{"observed_at":"2026-08-16T12:40:25.354595Z","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-16T12:40:26.504088Z","title":"In: CADE","venue":null,"work_id":"5d4d8cef-c0ef-45d9-a742-d41b4f74c0bc","year":2015},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.361637Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:5aef6da9e4ff7019c92b478ede91e8a0d94903b6e670217609fdd5b5d6a27e46","observation_id":"3e35b0b5-5fd6-4365-b39e-ba0f21136b36","resolution":{"observed_at":"2026-08-16T12:40:26.510394Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.485996Z","title":"Elsevier (2007) Proof-Carrying Neuro-Symbolic Code 11","venue":null,"work_id":"3f2c2d99-0aaf-4736-b4c4-2c377f944657","year":2007},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.368228Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:852a76ae586de2035c5e70879247a479b000ed2dafa3d7aee957937c4c0e1ce0","observation_id":"56c844a8-2148-4515-878d-c11c26df90a5","resolution":{"observed_at":"2026-08-16T12:40:26.492016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.469506Z","title":"In: Proc","venue":null,"work_id":"83dae577-11ea-4182-81d4-a377e01357c2","year":2018},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.374907Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:f6169c86a09cf0de6745ce9c39b1171074c2d211b1722aff84347074fad66563","observation_id":"9593a2fc-5190-4d5d-a2d7-cc23aa1371a2","resolution":{"observed_at":"2026-08-16T12:40:26.474289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.03044","last_updated":"2022-06-21T09:14:26Z","snapshot_observed_at":"2026-08-16T16:54:51.072642Z","submitted_at":"2022-06-07T06:36:27Z","title":"CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.03044","snapshot_observed_at":"2026-08-16T12:40:25.382227Z","title":"arXiv preprint arXiv:2206.03044 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.382227Z"},"links":{"cited_paper":"/paper/2206.03044","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:d09d56f221312a5534c44c2171182c2ce2a969efa574c85801bfe5b8d2a2e9d1","observation_id":"7bc3eb04-7435-4e50-af0a-cd0f031df329","resolution":{"observed_at":"2026-08-16T12:40:25.382227Z","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-16T12:40:25.388650Z","title":"In: Thirty-First International Joint Conference on Artificial Intelli- gence (IJCAI-22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.388650Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:10bd979171ecd41ffaeb8a4fa58edfea308d11a1001a89cf1f11ade4b4d6616f","observation_id":"4ea9373f-4c14-4970-a930-6400e356fb65","resolution":{"observed_at":"2026-08-16T12:40:25.388650Z","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-16T12:40:26.452191Z","title":"In: McMillan, K.L., Middeldorp, A., Voronkov, A","venue":null,"work_id":"3f475341-9bb3-456a-8b03-c1556f84e33e","year":2013},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.394825Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:d2000690ee099800c12fd43bae3b1dad553947c86038e82369bf78ba390ea9b1","observation_id":"4235b20b-3529-4d9c-acc2-8bc9296aaadf","resolution":{"observed_at":"2026-08-16T12:40:26.457099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3607844","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:25.721307Z","title":null,"venue":null,"work_id":"787470d9-3232-42a0-a250-f8bc3e54c251","year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.408237Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:01da915feb237499c8c43243f14876a52270fe1c28b4811e12ef1b057aa605bb","observation_id":"518c362e-5793-4918-9484-be6bffcb7b95","resolution":{"observed_at":"2026-08-16T12:40:25.726919Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.413918Z","title":"In: Proc","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.413918Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:bbd39bbc296b326069c5b2448c13056b599243750ec448add87f008ee0a2ff00","observation_id":"7b18c24a-6bca-431f-887e-fd0e985a9732","resolution":{"observed_at":"2026-08-16T12:40:25.413918Z","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-16T12:40:25.419313Z","title":"In: Proc","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.419313Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:6f13dcc765086cbe80bfbd0735eaedd81c081278444935da8a7091592a22573b","observation_id":"749bcb9f-3efb-4d24-a3a6-5ee7787a5fec","resolution":{"observed_at":"2026-08-16T12:40:25.419313Z","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-16T12:40:26.415141Z","title":"443–452 (07 2019)","venue":null,"work_id":"ee1035a7-f17e-4ce9-b418-3d3b5a1ddc5e","year":2019},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.425298Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:aff91a4c97f60e9e98cafc468e55d7d864e8814f37d91f84b51e12a5ad00571e","observation_id":"7ab267f4-1069-4390-a142-dee07c11fbbb","resolution":{"observed_at":"2026-08-16T12:40:26.420907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.397795Z","title":"Courier Corporation (2014)","venue":null,"work_id":"85d9675b-e877-42cc-988d-852260b183f5","year":2014},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.431342Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:2c40ba3da152af6d29e87418c42151360ad59e278e215346082c0469bed23e83","observation_id":"9b7001ee-42d5-4834-bd30-089ab78f2188","resolution":{"observed_at":"2026-08-16T12:40:26.403381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.438162Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.438162Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:4e75d93ae1ff6731c943a998a95c5fab61383c173f20302e32175c744b035553","observation_id":"5ab22149-125d-40e0-b171-2bb03b7b51de","resolution":{"observed_at":"2026-08-16T12:40:25.438162Z","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-16T12:40:25.444084Z","title":"NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.444084Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:eee8b53e7b85c479f7aefe34baf530f15176bf0494655649d568fb66b6fc3d70","observation_id":"37621728-9953-474b-afd5-a9f91ff6eeaa","resolution":{"observed_at":"2026-08-16T12:40:25.444084Z","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":"10.4204/eptcs.118.2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:25.691511Z","title":"In: Kaliszyk, C., Lüth, C","venue":null,"work_id":"711e6116-43bb-47ed-b536-1cd29069e9ad","year":2012},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.450757Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:d736d01ed1e0c0f54c887b19c369ada8f5053129822701b6223a62e6c44efce6","observation_id":"f05f0482-d98c-4a17-bef1-e1ff6465da15","resolution":{"observed_at":"2026-08-16T12:40:25.697952Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23903","last_updated":"2025-09-05T15:41:39Z","snapshot_observed_at":"2026-08-16T13:04:10.414038Z","submitted_at":"2024-10-31T13:05:46Z","title":"Neural Network Verification with PyRAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23903","snapshot_observed_at":"2026-08-16T12:40:25.457022Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.457022Z"},"links":{"cited_paper":"/paper/2410.23903","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:9bc51f6fb7f3741d4df3fc03f28f00ad14b6ecfe26c4388b64bf12e12bf28984","observation_id":"f41405de-e3e9-40dd-a5a0-deb74502ffe4","resolution":{"observed_at":"2026-08-16T12:40:25.457022Z","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-16T12:40:26.369228Z","title":"Communications of the ACM 52(7), 107–115 (2009) 12 E","venue":null,"work_id":"e795b6bb-89e0-47de-8441-96f651df54f6","year":2009},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.464034Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:e546b305085e2bc3ba3796a934ec75f826c87ec952793a5e25d22ab94f0d3178","observation_id":"16cb4876-d50b-4110-b07e-ccd3140c3246","resolution":{"observed_at":"2026-08-16T12:40:26.374758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14058","last_updated":"2024-08-14T18:45:17Z","snapshot_observed_at":"2026-08-16T13:50:26.348302Z","submitted_at":"2024-05-22T23:06:34Z","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14058","snapshot_observed_at":"2026-08-16T12:40:25.470724Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.470724Z"},"links":{"cited_paper":"/paper/2405.14058","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:0f7f7be6660aaf7ecf8090af19f756eb195ad0838ad24ccccc064248f0f0f1b2","observation_id":"d9174d3a-b917-4b5f-af30-27fa31e1070f","resolution":{"observed_at":"2026-08-16T12:40:25.470724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-17T07:51:42.396810Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.03274","snapshot_observed_at":"2026-08-16T12:40:25.478021Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.478021Z"},"links":{"cited_paper":"/paper/2502.03274","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:301713cadf27c29d7ae220e0939ea5a575c0dc6a0f849310ee552686acdaa5bb","observation_id":"06ea0cca-fb9b-4902-b1b1-fde87d6630a8","resolution":{"observed_at":"2026-08-16T12:40:25.478021Z","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-16T12:40:26.350852Z","title":null,"venue":null,"work_id":"9651d061-56e9-45fc-b51c-53dff1add6f4","year":2025},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.484063Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:8dd45a4413c6d9821120eff8963816f4ded872a1c2c30bdc30a373317852f7ad","observation_id":"ca0e7009-94a1-44c1-9ef5-9ed592f3a560","resolution":{"observed_at":"2026-08-16T12:40:26.356751Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.333366Z","title":null,"venue":null,"work_id":"b46983fd-e51a-48dd-9a73-211bdcfbc4a5","year":2008},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.489361Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:427290e4a9a623b8c02513f71aeb3c9b16b7e2eb5e4c7a28fa43e4fec5193900","observation_id":"d846a13b-8868-4fc0-a9de-9830c4008a09","resolution":{"observed_at":"2026-08-16T12:40:26.338871Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.316419Z","title":"Communications of the ACM54(9), 69–77 (2011)","venue":null,"work_id":"52d26e57-f62b-4a90-8ca7-e34bbc9ef511","year":2011},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.495614Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:017246e8dda4422b0923c70d3c2b282e8f0dc00d227409490b25d87bebf651f5","observation_id":"3859351b-32c3-42f1-ba8f-d783a904f2e3","resolution":{"observed_at":"2026-08-16T12:40:26.321718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.297225Z","title":"In: Proc","venue":null,"work_id":"0eb24149-f616-4a8c-b015-d6a10261437a","year":1997},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.502101Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:0cf93e6e20a23036e09c10b039d8ab99f5ddc09db3b18b35d28b149da730e520","observation_id":"105616b5-4f7c-493b-81e3-f82a9614bfa8","resolution":{"observed_at":"2026-08-16T12:40:26.302749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"cited_work":{"arxiv_id":"2412.17432","doi":"10.48550/arxiv.2412.17432","metadata_source":"pith","pith_arxiv_id":"2412.17432","snapshot_observed_at":"2026-08-17T00:16:13.690415Z","title":"Neural Continuous-Time Supermartingale Certificates","venue":"eess.SY","work_id":"4b204bad-8d33-427b-b102-bbbce72e80d8","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.508510Z"},"links":{"cited_paper":"/paper/2412.17432","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:74fe77137d32b39626b068d2d6cb145671c636bb17570f46f01d87887fcf43b2","observation_id":"9572a65f-b1ad-4ea3-b735-7e449244f621","resolution":{"observed_at":"2026-08-16T12:40:25.679261Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.277551Z","title":"In: Proc","venue":null,"work_id":"9321b0c2-09bf-4164-9cdb-1c287028e10b","year":2020},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.514884Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:3057bcba2fbec2817e929e344d2cdc2aa138d234b819b00c1dd41b5c4c5b7a8c","observation_id":"2257117f-015a-4256-bf00-a2571be31375","resolution":{"observed_at":"2026-08-16T12:40:26.283678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:25.520735Z","title":"Springer, Cham (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.520735Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:b348c2373b1c5882f837ea57290adc744436e3f6810ded71fc4b66169d8ab473","observation_id":"134597d8-4877-41ad-98f5-e04bf9791c36","resolution":{"observed_at":"2026-08-16T12:40:25.520735Z","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-16T12:40:25.533699Z","title":"In: Piskac, R., Voronkov, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.533699Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:b771bad46b9004d22692107e6038846d9b7147d79160cd7e8e01d95c3dc25cb6","observation_id":"36449838-8421-462c-b5dd-c133183b0471","resolution":{"observed_at":"2026-08-16T12:40:25.533699Z","resolver_source":null,"status":"malformed_identifier"},"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-16T12:40:25.539969Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.539969Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:470b2384a4d997a2fcfdc10512051afe841fce84eb73f414380565eaf0bc2b2e","observation_id":"26de0dc4-4072-4ad6-964f-623b77322df7","resolution":{"observed_at":"2026-08-16T12:40:25.539969Z","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-16T12:40:26.247213Z","title":null,"venue":null,"work_id":"b996bed3-7661-424d-a0f5-e131228b6c0c","year":2007},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.546215Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:23e43eb8b14b86d23509cee426f9a6468c439723f6f887344a7ef27517c2b46b","observation_id":"1b78f000-dbb6-4dde-8bc4-0e76137a18e2","resolution":{"observed_at":"2026-08-16T12:40:26.253221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.225969Z","title":"In: NeurIPS 2024 (2024), http://papers.nips.cc/paper_files/paper/2024/hash/ 031b5fd7d847f69ed33378a9a1117b4b-Abstract-Conference.html","venue":null,"work_id":"bc73eb03-49dd-4889-ae9e-164f458f0dbc","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.552416Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:c98ba4a0c91dce47d57a583bdadbcbaef40d4ec0d2929a2bc25ab18a4a47c906","observation_id":"0ae876d4-9304-4429-baaa-223a00baa409","resolution":{"observed_at":"2026-08-16T12:40:26.233233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.203066Z","title":"Journal of the Operational Research Society (1996)","venue":null,"work_id":"04c0f953-8da5-486c-a113-cb8dd30377a1","year":1996},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.558200Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:a0e5df883e56e0971946369db855db195ada37accacf4cb029ce6230346a199b","observation_id":"55d96ded-da8c-4c63-a3d3-413805351b57","resolution":{"observed_at":"2026-08-16T12:40:26.209250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.182422Z","title":"Advances in Neural Information Processing Sys- tems 34, 29909–29921 (2021) Proof-Carrying Neuro-Symbolic Code 13","venue":null,"work_id":"1ff2147c-453a-421a-a652-d0a821a9e0eb","year":2021},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.564578Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:4dd1f7527783d7b970c1755c8c9033c3b16ef73c2a7f1792891b3f200cb1f603","observation_id":"7fb0ee43-5315-4cd1-91fc-f403bcd40ce6","resolution":{"observed_at":"2026-08-16T12:40:26.189219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.161998Z","title":"In: Proc","venue":null,"work_id":"722ca725-7dec-488e-88cb-fa33e9dde5dc","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.570480Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:48d60102638d2b827d81d4518388f803f95f7a77a24c275d93e0c9d7ecf8ef3e","observation_id":"6eb465b1-99a7-40a7-bfde-c89240fbb673","resolution":{"observed_at":"2026-08-16T12:40:26.168701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T12:40:26.143800Z","title":"In: Computer Aided Verification (CAV) (2024)","venue":null,"work_id":"64e7aaad-0584-4f74-ac61-bbad5156105b","year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.577080Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:02dba9fa0bcac1f91abef65a9c64c06a8052505540d46da6080a27257a46926c","observation_id":"afd26d0a-b67f-45dd-9d46-328901782806","resolution":{"observed_at":"2026-08-16T12:40:26.149309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-14T15:03:35.102170Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-16T12:40:25.583336Z","title":"CoRR abs/2412.16075 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.583336Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:ea076771390df642d00c5aee30efced9a9fbfd41e3b94388c01b1833e768cca8","observation_id":"21d19c7f-db24-4632-a69b-48dbe6913991","resolution":{"observed_at":"2026-08-16T12:40:25.583336Z","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-16T12:40:26.126208Z","title":"In: International Conference on Learning Representations (2021), https://api.semanticscholar.org/CorpusID:235613486","venue":null,"work_id":"c4ddaeb0-dfa3-4ab7-8106-fde7be6c036b","year":2021},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.589303Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:c8cbcaac309dbd29ba586865ad6a0a91cce12dbfe8380236ae670f9667f76619","observation_id":"0c50f1a8-efd9-4591-9cd0-ac8f201f5371","resolution":{"observed_at":"2026-08-16T12:40:26.132635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-45221-5_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"43b1a5c3-4ceb-4763-8e7c-0c2e7194c2b9","year":2013},"citing_paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code","version":1},"reference_index":406,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:25.401301Z"},"links":{"citing_paper":"/paper/2504.12031"},"observation_digest":"sha256:90e1033b299f20cdd36b05c26e46b3abd7fbc0463b20c869b7a954656efd3f80","observation_id":"9fccdfaa-1be4-4979-9827-e49e6169f575","resolution":{"observed_at":"2026-08-16T12:40:25.746839Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.12031","last_updated":"2025-04-16T12:42:18Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-17T08:15:53.987617Z","submitted_at":"2025-04-16T12:42:18Z","title":"Proof-Carrying Neuro-Symbolic Code"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":4,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":27,"verified_exact":5,"verified_fuzzy":27},"total_outbound_references":64},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2504.12031."}