{"as_of":"2026-08-19T06:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:018d62c7db5ad9b06bd1a8a0b01218a4e9dd1344e7b7f7c5f485bf4b38d532c1","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-18T06:34:40.430872+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-17T22:52:00.194066Z","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:c61a1820993bef6052eb9d0eb7e0a2b279f4797522874ebd4a874732c3fb6578","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:5c001936b70d83b916c160121a8af6de8ccbaca632976e29a56a7c98459dec2b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:82d599e625c5b02d7473de95d92af1d16450a8779fd1200047296999ae4508ce","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-17T22:52:00.194066Z","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:c1726a249117e7c33a534979c4de9c3ca20229fc507b552a4fade9a4ada86b3a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:e7f564818034844e235b5b3e35c52fca60932ec1cda41d4163d1d722f3cf1282","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-17T22:52:00.194066Z","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:4b48d0f212b1a0da917407c9b8dad1fa959412a240537f5ef8293981d1bdc222","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:fb8d17feb2c58c0aea225360a211196a2027a951341a079b2c892fd12923c2e7","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:e72b9ef0a2d444edeeaa6a233100ec3482b89cc20c28a7fe3f1d39623897e48f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:ee2203e57d70aeb31420e60e0554a140647524430c9a4c804aa863f2ce40284c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:d49a64b2e32e5773bb69c9a8afb782e3f51defecba7a5a1287d8fcccd5a58174","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:bc3267b98e59661ccc4e91bed966b1a03b551e8d875e6ed018dfd783dcbb4917","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:9f0c98cf0e30f8121d8e6a00f041d728599a922024f3b461cf09fb93661f20c8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:af48d4ecb4ba15bad654cc58463aab05501c688bfaa0a4eff4e2c93a6e15526b","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-17T22:52:00.194066Z","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:946134bf28dd42a793f100ce20651d5931d415be19c67f64ac5384989c6d166e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:e3135b660f5f476684350a2bb65d1adcbe7c55bd242444f0b20f17afd5ef0e64","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:73ebca0e51a5be24486254851fd63e6309cc430e95fc4cac3ba49804f83bfbb9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:ba862d27b2a4e7b9143726e35aa3cf48561d10a32a60a958bc74143d62c0a227","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-17T22:52:00.194066Z","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:a987ce788a749405d4c6d6f2e18c63c316525ce7918ab2eef676bf376e835663","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:f2ca6215ec8a441fcbc36cf6737f5eb13600a59aca7aca73185a641cfda6bae8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:8de2a0c9d26536edf3464b93f32016639426e2d2be58a4b5ddabaa73488e48d8","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-19T01:03:10.118227Z","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-17T22:52:00.194066Z","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:573a617689f792b253be65fb3d1dc3da292c35130f4bae701599f8fa04c1be40","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-19T01:03:10.118227Z","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-17T22:52:00.194066Z","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:7fb473fd355848930c87a618271b4e3a9107a8e8e1d1b1e442dfee4f0acb996e","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-17T22:52:00.194066Z","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:760c4dddb0329c29b8ef6710f9cb71005dcf16bd1e6b8ab60301f0452f629d0c","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-17T22:52:00.194066Z","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:253a752a283bd3475af3a34a885e39b0c8c3dbc8b7e32f52d405e0553befe61d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:d8766c5ea166bb232ad61b5842ce2f52f52fde46f9672c7fe75ceb2d97d3afb3","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-17T22:52:00.194066Z","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:025fe811c70c1493afdb35ac6d49d1c9ce5a2aa6f3312a7eda31a8c1104f6cca","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:43a8c1d56b7f703d9deed925c1b36f6428a3614f668a6eb1b8b8ca284711d865","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:11425a4101b8c085e92333f0fb38e0bbcf0faa51bede4d06cc63085442ec1550","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-17T22:52:00.194066Z","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:049de84fef750c61ca7eb17db85c44ba01ff457069e71249aa7d1ed86e28aba5","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:f68325bf6d4b3c511b4d62c4459bb2fe90065cc8573ebffdaa865d70c0420b2e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:8bb3a7d726a778240c4f80f9e3e4b39f40f1c8deadde2599761ef8c7aab16001","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-18T05:43:25.365766Z","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-17T22:52:00.194066Z","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:53416ccfeb50c03d0d0be657737c3b609c7d679be162858c7612c757b029b404","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-17T22:52:00.194066Z","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:4d13eea0c52fca29b8cfb77ec521567b1c41b164242698531da93d1d24b1853c","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-17T22:52:00.194066Z","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:507158f67345733e6af71128e07464d72a7d30f13e0e98f9262f35f4dba68e64","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:62b3cf313bcc19c9e9be75fbb35ecd2dc77a3f505775685764a0c784ea9f5cb6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:7bb7a3ddfae8fcbe48d84170fd2506123fbceabf66d1bf81e6f9b1cdef8d2dcd","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-17T22:52:00.194066Z","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:a14f3d7c1e73a360dd337a9d017503290142b38482cdbbb8a039890801df043a","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-17T22:52:00.194066Z","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:a3165ec6c3a2a13419fc19e286c465a9acfedfa069f93e354f11c9662c08d05d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:19f265471cd512e4ed0672543723e4857dc605117a9fb1c3c88550a555388198","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:a55a2b73946f62575d45ce2d0f352b0335652dc738da26f6f5377f4220418d4f","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-17T22:52:00.194066Z","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:7863573dd3438a4718444bd2a1267e7a166f4cb8314991c8fc8f0b14910cba50","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-17T22:52:00.194066Z","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:5ee4a936df18c2041e102e87f09d08c7aa7cde38927ff214fc8c1237fbfd3fe6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:784ffe36ae83fbd79c91b858deb923fc34ca36ac8aae909792bc35b1b7664eed","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-17T22:52:00.194066Z","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:975ad3d3541f00eb71b03593d5220578f35bddbd704a7431059585e600c19771","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:d4d1a25562b750d10a91f35e48a0e9917661d578c04a6b424f3c2b5f6f30f049","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-17T22:52:00.194066Z","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:59037391bba88a61ac2a936f56a98d1660983160103eab493839f6314948463a","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-17T22:52:00.194066Z","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:19f527eb4a8068280a30ece0e4364585a96e708337d056e10845a43c10b8803a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:0a2220d0124749f005bcc614d6cc2099ef13c2deea3401d4a95f4a619ebdb58a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:66f2da3625fc9398c87a786a7dfe79eb80f6645956bfb801c0f2edb1bdf56cd1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:435e52d7b7d07dcf9098e5ff3c8c9684a4a368565587fa8ed9f6e1162bbd13e1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:6a1d0648f955aff3fedc0dde4cc04301707df70ff1eb87bb3f67d7b0af8bb8b3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:df7a659ba4053d223ce8b300fa8dea220203144233b70f10e34758d73a3c666f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:76406c28ec3dabcd07080e1016f9db8f5262afc8fd224557c07987c2ff1ea61d","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-17T22:52:00.194066Z","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:19f5b2b7fba705fafb2955b5259f5bd30c327e0008e5b30fb16e3486da38e7c2","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-17T22:52:00.194066Z","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:ab53f3c2cbca38f4a3e52d1a3672de36bf979bcfe5213889c61ffc40462ed62d","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-17T22:52:00.194066Z","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:2665863e00d6c88aa645bac9e5b2acfda1f569bc5d81c8478e24cf23edcd2431","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:e301d85ba16ce5c6972dd93bd35aa1bb2ee584f3657f100fd9224b5bcfccf9ab","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:6e1699f03c02431b1c08f4252c0f1ee78e172fc39d76d42038ddc602f7a42c78","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:ff9d1a20eefb9bc8a70dc6660b33ded64a28b964aa2cee60dcc09972d9175135","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:e33d2e794ed24b4db3351b36f51b70354bd708b64ec559c0c55afdbc47053410","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:a73d74bddb97a2a7cd2f1ec25b88bbb7644bd5ea18a2cca027c5a376b5edb52d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:61c587755443f09d268fbdbac061bbe6a0b8c57750ee317601b8bb5393b1e22c","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-17T22:52:00.194066Z","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:042ec5943534d69b82bfb28c89e36f81dc5f3e47c3b2d5c0dcdb1b6a2560ab67","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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:71ee839d3ad87150d87005a09de0259990b1f497dcfcfcb610bc449c41374082","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:52:00.194066Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2504.12031."}