{"as_of":"2026-08-06T02:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:76e762dc1c8fd930814d6a5a21bd5583d2d9135f33774d18933a820b5bddc30d","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-23T07:04:09.614807Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T23:02:03.437794Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.14399","snapshot_observed_at":"2026-08-05T23:02:03.437794Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.06017","last_updated":"2025-08-08T05:04:47Z","snapshot_observed_at":"2026-08-05T23:01:57.931764Z","submitted_at":"2025-08-08T05:04:47Z","title":"Position: Intelligent Coding Systems Should Write Programs with Justifications","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T23:02:03.437794Z"},"links":{"cited_paper":"/paper/2412.14399","citing_paper":"/paper/2508.06017"},"observation_digest":"sha256:d82afef9387f1a396db1035b6643a3dcb73c5c3e0f815baa03c2d7889865e993","observation_id":"779100e0-6f5e-4d01-ae36-4b8033ddd7fb","resolution":{"observed_at":"2026-08-05T23:02:03.437794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.14399","snapshot_observed_at":"2026-08-05T16:20:46.954053Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18721","last_updated":"2025-09-03T14:34:30Z","snapshot_observed_at":"2026-08-05T17:26:43.606485Z","submitted_at":"2025-08-26T06:38:38Z","title":"LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging","version":5},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:46.954053Z"},"links":{"cited_paper":"/paper/2412.14399","citing_paper":"/paper/2508.18721"},"observation_digest":"sha256:0e8762edf34f712d66170d997247a86f4a216728f256e220ea60e150d16b0a31","observation_id":"1274fc21-3a86-4697-b633-6e46af792a35","resolution":{"observed_at":"2026-08-05T16:20:46.954053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"cited_work":{"arxiv_id":"2412.14399","doi":"10.48550/arxiv.2412.14399","metadata_source":"pith","pith_arxiv_id":"2412.14399","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","venue":"cs.PL","work_id":"9fe1eb7c-8ca4-4205-8984-aeeb87d5e61b","year":2024},"citing_paper":{"arxiv_id":"2605.12694","last_updated":"2026-05-12T19:46:24Z","snapshot_observed_at":"2026-07-06T23:24:23.402304Z","submitted_at":"2026-05-12T19:46:24Z","title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-14T20:11:23.364556Z"},"links":{"cited_paper":"/paper/2412.14399","citing_paper":"/paper/2605.12694"},"observation_digest":"sha256:10f342187da59708680020642c950ae1d8b2ebc14cc1a6be81264b98e6b3958a","observation_id":"29d1f12c-ff72-4311-b073-ad4758287861","resolution":{"observed_at":"2026-05-14T20:12:54.457453Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.14399/citation-record","integrity":"/paper/2412.14399/integrity","json":"/paper/2412.14399/citation-record.json","paper":"/paper/2412.14399"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0950-5849(98)00093-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information and Software Technology","work_id":"29db0de0-684a-4f57-82ef-1a3cf32e9d58","year":1998},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:5624699c73d89bb10fe4fa5b49a7edca6d4dc835b61ec3ddbb74a9b2b0a4fca6","observation_id":"c8af7d8d-ffee-42d0-8b52-5257c5791704","resolution":{"observed_at":"2026-05-23T07:05:28.722368Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9939.352344","doi":"10.1145/3519939.3523442","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Exocompilation for productive programming of hardware accelerators","venue":null,"work_id":"847c6402-ecc5-4548-8f93-5c7296ebb4c2","year":2022},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:bde4c038fba6a41d7bd32064b4174c4a4a1f482855c20daa7648b6dc6bb972ab","observation_id":"d1cf5816-8f49-41a4-9a4e-7595b18049d1","resolution":{"observed_at":"2026-05-23T07:05:28.689901Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0881.148091","doi":"10.1145/1480881.1480915","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"O’Hearn, and Hongseok Yang","venue":null,"work_id":"5c0b8b6d-54f7-4aea-8f7f-8dc692658fec","year":2009},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:ed341d6ee59a749262dfe81f1284da027ead1179d887366b8979365f57700f6e","observation_id":"bcf999c2-e9e4-40d6-b425-ee2481b54055","resolution":{"observed_at":"2026-05-23T07:05:28.827419Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4291.259429","doi":"10.1145/2594291.2594296","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"McDaniel","venue":null,"work_id":"c9b39932-7930-4f3b-9b34-241ccb1e8512","year":2014},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:9940be7f318de21774e2f0f28a9cd853a13d94611eab6c25e9bd02a4c7b91b09","observation_id":"c26feb1f-4f25-4e98-9321-25ae1bd1d6ca","resolution":{"observed_at":"2026-05-23T07:05:28.831324Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2013.660662","doi":"10.1109/icse.2013.6606620","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Semfix: program repair via semantic analysis","venue":"2013 35th International Conference on Software Engineering (ICSE)","work_id":"275703dc-0e9d-49ae-a16e-290c374e96e8","year":2013},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:5181b72fdd0855a5b3db1f1f5e7f1dd032ecf983f6774e4e588ccfa98d89c215","observation_id":"00d3b4ca-3c3b-44c7-b5bc-f1bc68f634ac","resolution":{"observed_at":"2026-05-23T07:05:28.849127Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3643737","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Provenfix: Temporal property-guided program repair","venue":"Proceedings of the ACM on software engineering.","work_id":"55212341-7f22-402a-921f-c058351e53cd","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:db842b0854bacd6160184572a28ca44af12a6585fd5e1cb21b851861ecdd3d34","observation_id":"84f82850-a990-42d3-b033-e6bc30ac5a3c","resolution":{"observed_at":"2026-05-23T07:05:28.800094Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2208.289223","doi":"10.1145/2892208.2892235","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Available: http://doi.acm.org/10.1145/2892208.2892235","venue":null,"work_id":"8cf501a0-4462-4843-a6b7-e3f1af600fd4","year":2016},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:dc4851295e975b5247ceb4913daac3e248df022767c8a3ba56e07823d8325c67","observation_id":"3c700ee6-4eae-44a3-9df4-6f0daf922093","resolution":{"observed_at":"2026-05-23T07:05:28.780470Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2366.319241","doi":"10.1145/3192366.3192411","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Pinpoint: fast and precise sparse value flow analysis for million lines of code","venue":null,"work_id":"777d5c00-61bb-471d-b77c-0a31ee09fd53","year":2018},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:b5d0e6c256ec356fd56103a43bff3fde1cf8cf264ecdf6bd293023d5874613e7","observation_id":"df0c5bad-fa44-4378-b058-e49191a342f6","resolution":{"observed_at":"2026-05-23T07:05:28.659642Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2013.660661","doi":"10.1109/icse.2013.6606612","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Murphy-Hill, and Robert W","venue":"2013 35th International Conference on Software Engineering (ICSE)","work_id":"c6bea065-0f8c-4ebb-a988-fe3e00c7f511","year":2013},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:37c89b8115b4e0db5e0272f04306236e8a92ec32cafc6d4758b2e68df022f79b","observation_id":"82fc8afe-5347-4fc7-9ef2-a36b8fe221d4","resolution":{"observed_at":"2026-05-23T07:05:28.678524Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0276.297034","doi":"10.1145/2970276.2970347","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"What developers want and need from program analysis: an empirical study","venue":null,"work_id":"a34bb0b3-2409-4f76-9b25-e3ea9b7b7963","year":2016},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:14b8447c29bac23260bbc6212b127be09220a9a8cf9369bab55216bdff1c4c97","observation_id":"04d394e3-36ce-4c3a-88bc-2a64abf0f225","resolution":{"observed_at":"2026-05-23T07:05:28.765068Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0666.365136","doi":"10.1145/3620666.3651361","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SIRO: empowering version compatibility in intermediate representations via program synthesis","venue":null,"work_id":"711f4d41-afa2-442e-9039-2c4ed7d9b990","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:09fa1a0428d7281ac4daef8a41aa9b09d0f1aa372b692f4c1206c08c17574e31","observation_id":"c14705a5-333f-416c-a6b6-53ae279632c7","resolution":{"observed_at":"2026-05-23T07:05:28.709845Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-main.151","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Repocoder: Repository-level code completion through iterative retrieval and generation","venue":null,"work_id":"91af41bc-747c-4961-bcd6-6e95a294026b","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:f8c2adf90d06a75f6a9dffa19f9aefda8701829caa2e19878d59b7a6fe7e491d","observation_id":"f662eb03-64e6-4755-9edf-a7bd8aa8f032","resolution":{"observed_at":"2026-05-23T07:05:28.804051Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:45.105789+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:45.105789+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1643.361627","doi":"10.1145/3611643.3616271","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Copiloting the copilots: Fusing large language models with completion engines for automated program repair","venue":null,"work_id":"0a80a3cf-9912-4b81-926a-869a7a52787b","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:611274dcb9f5c9c7d14ff2cb3d94d82ebc911b77a70cb5df3cd758afd1fbb6a4","observation_id":"d7a3642a-e692-4822-9f76-046bce894f23","resolution":{"observed_at":"2026-05-23T07:05:28.785415Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T06:20:43.746113+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T06:20:43.746113+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T20:52:54.897295Z","title":"Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R","venue":null,"work_id":"08035a17-4637-4f27-97c7-774f5d2ae1a6","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:fde41101a9a0391e2179cec157679848d44cf7e5fa68c6462fc8904c5e5c534c","observation_id":"c92f960e-7367-4d26-b810-157165d8f0ec","resolution":{"observed_at":"2026-05-23T08:47:46.180536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.04748","last_updated":"2024-12-09T20:47:17Z","snapshot_observed_at":"2026-08-04T17:29:56.960260Z","submitted_at":"2023-08-09T07:36:21Z","title":"Fuzz4All: Universal Fuzzing with Large Language Models","version":3},"cited_work":{"arxiv_id":"2308.04748","doi":"10.48550/arxiv.2308.04748","metadata_source":"arxiv_reference","pith_arxiv_id":"2308.04748","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Universal fuzzing via large language models","venue":"arXiv (Cornell University)","work_id":"67ca2030-da76-4d70-8dec-2cf33d569a1d","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2308.04748","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:ec521affab9b894eece0846d01ac02d3c5cb27c270afa3d3e9d4603544bc8de8","observation_id":"4ad7d938-19d6-4f03-93b4-7c8238f7143e","resolution":{"observed_at":"2026-05-23T07:05:28.672259Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.00812","last_updated":"2024-01-08T16:22:42Z","snapshot_observed_at":"2026-07-06T17:10:32.750276Z","submitted_at":"2024-01-01T16:51:20Z","title":"If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents","version":2},"cited_work":{"arxiv_id":"2401.00812","doi":"10.48550/arxiv.2401.00812","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.00812","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fung, Sha Li, Zixuan Huang, Xu Cao, Xingyao Wang, Yiquan Wang, Heng Ji, and Chengxiang Zhai","venue":"arXiv (Cornell University)","work_id":"d58e6440-21be-41f8-830e-cf2a4e5d4e3c","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2401.00812","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:70119642c104be73989651a97861210c8ee6d09e6a325eeade6a9456f94ffc6a","observation_id":"3233e634-be64-4cce-8568-e10b113601dc","resolution":{"observed_at":"2026-05-23T07:05:28.838597Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.01219","last_updated":"2025-09-14T09:34:46Z","snapshot_observed_at":"2026-07-06T16:13:46.112815Z","submitted_at":"2023-09-03T16:56:48Z","title":"Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models","version":3},"cited_work":{"arxiv_id":"2309.01219","doi":"10.48550/arxiv.2309.01219","metadata_source":"pith","pith_arxiv_id":"2309.01219","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models","venue":"cs.CL","work_id":"1f8027cc-877a-494d-b9e5-a01d32d3d76f","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2309.01219","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:67da5676b54d8d1c79235595b610ab2de3dac88712bad22e843f25825e6172c9","observation_id":"39dfac85-7e9a-4c2f-9250-c942726772f2","resolution":{"observed_at":"2026-05-23T07:05:28.753203Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-18T08:21:11.191936+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T08:21:11.191936+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Classes of recursively enumerable sets and their decision problems","venue":null,"work_id":"155ceceb-c85c-451b-814e-8576b4c172b7","year":1953},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:49677690e2a759d3cfcf5123754f97083e9e0f55f46e595ddfc5543fef11ea7f","observation_id":"5e62bac4-ea57-45ae-9d24-d3819d923943","resolution":{"observed_at":"2026-05-23T08:47:46.176640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/mc.2012.345","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Computer","work_id":"83e08372-9d9e-40da-8c62-e2a09cdec44f","year":2012},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:1661869d84b7e7bf78229ec0e6b41ab26203a50912742113e1831c83498c50a9","observation_id":"023ab38b-c577-4756-bdd6-06235a629a60","resolution":{"observed_at":"2026-05-23T07:05:28.788330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3649814","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"98dd678f-914a-4033-9f0d-dda3fb57518d","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:dcc0380990665022bd4ace8a55b47ed9cacb6aacce978d25d02837b0c100d403","observation_id":"ae784ac1-1e88-4d76-a780-c09857efa89c","resolution":{"observed_at":"2026-05-23T07:05:28.683473Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10664-021-10013-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Taintbench: Automatic real-world malware benchmarking of android taint analyses","venue":"Empirical Software Engineering","work_id":"51f11240-7ea4-4d7b-9476-d998366fe602","year":2022},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:4febd2e8c721b146e18b83ab8a2057684c43550576697acb475e340deaf1684c","observation_id":"522817da-a38b-4f11-a455-2e961669e751","resolution":{"observed_at":"2026-05-23T07:05:28.646202Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0734.125074","doi":"10.1145/1250734.1250746","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fink, and Rastislav Bodík","venue":null,"work_id":"f73a75e7-a781-4e76-8d0c-ab7001611365","year":2007},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:82eea854db6b66aab31f91a1247d03bbd6e5d1bbf74226f67bc26defb6d52863","observation_id":"8eaf965f-9c38-41d9-8956-0ed5af15411d","resolution":{"observed_at":"2026-05-23T07:05:28.758883Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0665.364038","doi":"10.1145/3620665.3640382","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Plankton: Reconciling binary code and debug information","venue":null,"work_id":"ee4e3bd2-6961-4a39-aa18-adcca2b6a434","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:50d50296e93c01649e6b287ac6fe147c387e37d90d7f5ceda90e1375868b6b76","observation_id":"40bc15a1-7892-42a3-ba27-1d4ffc67f592","resolution":{"observed_at":"2026-05-23T07:05:28.748629Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"A wrapper script to build whole-program LLVM bitcode files","venue":null,"work_id":"ee45f1ef-45f2-4671-bc2b-198270529478","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:ac0ba5e0830c71dc0c8696d8a29a3cfc0a0d1fa81524872be846da019b9c8515","observation_id":"c2057fab-79ed-4cc5-8762-08a3453f79ca","resolution":{"observed_at":"2026-05-23T07:05:31.040229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"QL: object-oriented queries on relational data","venue":null,"work_id":"04141a37-1a58-46ce-9c09-13695ff7a611","year":2016},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:bf4b9eca3d06997a2442c1ee9b8e244bf8406b1be139a083095ccd3ae3f1daca","observation_id":"ea3d5a07-3eec-4c72-a733-f189be56b97b","resolution":{"observed_at":"2026-05-23T07:05:28.819876Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7f94415d-1d8b-4f70-8cbf-a8b62d1f43c2","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:cb2c84f3686c9e24315458680517bd614ad6e7ef2d6a28adeebe677cde4dc5d4","observation_id":"869bb051-16df-4d68-9a51-3637da13da86","resolution":{"observed_at":"2026-05-23T08:47:46.169037Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-08-01T17:53:54.628459Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":"arXiv (Cornell University)","work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:5e08c4b80dc07a72ced767ff7091bf6b1affd3ab94b473c8c64b04aa249a2962","observation_id":"e43c4916-1d2f-4978-90d5-cc10564f1edb","resolution":{"observed_at":"2026-05-23T07:05:28.843658Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03312","last_updated":"2024-09-08T17:23:16Z","snapshot_observed_at":"2026-08-05T10:01:55.556623Z","submitted_at":"2023-08-07T05:40:58Z","title":"Exploiting Code Symmetries for Learning Program Semantics","version":9},"cited_work":{"arxiv_id":"2308.03312","doi":"10.48550/arxiv.2308.03312","metadata_source":"arxiv_reference","pith_arxiv_id":"2308.03312","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Symmetry-preserving program representations for learning code semantics","venue":"arXiv (Cornell University)","work_id":"62202626-46e6-4834-b70e-1e12eb280cbd","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2308.03312","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:61e2c62f00052ebbd10620d4c37def908a50daa42880b155412e046c4b066c37","observation_id":"df0cb9a1-b1c5-4ef1-81a0-766319b38ef2","resolution":{"observed_at":"2026-05-23T07:05:28.770144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5412.338599","doi":"10.1145/3385412.3385990","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ethainter: a smart contract security analyzer for composite vulnerabilities","venue":null,"work_id":"3a57248a-8b88-441d-80c6-9ccc768a713a","year":2020},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:bdeab0a00a42dfe4ddeb1b969b859cf71bb664efc196ec00481c897468f40462","observation_id":"9f281d50-95db-4b40-92b0-a6e1ffcc58e4","resolution":{"observed_at":"2026-05-23T07:05:28.715139Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Chi, Quoc V","venue":null,"work_id":"09dd64c1-2908-4cf3-8a7a-a2c19527de5d","year":2022},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:3a82a3b2039c6abd921cb8c196ba9445ee0959553540baa79c3fd553fae44651","observation_id":"c39aabab-46f1-46b3-aac4-ed554d34dd15","resolution":{"observed_at":"2026-05-23T08:47:46.165497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Towards mitigating LLM hallucination via self reflection","venue":null,"work_id":"f69194e2-81f6-473e-bfda-e6ccb5d9b2a2","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:83d335ece84e6ae91f7c3e46245fbbfe433cdd99e6c3a831980a6a9504710410","observation_id":"ccf6bab9-79ff-46c9-b5b0-086d624b7faa","resolution":{"observed_at":"2026-05-23T07:05:30.665561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Tree-sitter-a new parsing system for programming tools","venue":null,"work_id":"3aca8b5d-e2a0-4bdf-b719-9b7bc087b015","year":2018},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:c48b996c6b5a66578c8aec0affcb22041a850c9176db576cbd9c0fff825491a2","observation_id":"5c738d61-bc69-4821-ab21-e70390e7577c","resolution":{"observed_at":"2026-05-23T07:05:30.669569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"PointerBench - A Points-to and Alias Analysis Benchmark Suite","venue":null,"work_id":"d1b2e065-03e7-43a9-84a9-9c1cb681ced1","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:8bc3651a5ccc184759bba3622c4f72b6411e5912f5e4ece850e7a2809456597c","observation_id":"c49cf1a4-872a-43df-86dc-66b779b1855d","resolution":{"observed_at":"2026-05-23T07:05:30.641817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.12655","last_updated":"2021-08-29T19:43:43Z","snapshot_observed_at":"2026-07-06T11:13:00.529731Z","submitted_at":"2021-05-25T00:13:29Z","title":"CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks","version":2},"cited_work":{"arxiv_id":"2105.12655","doi":"10.48550/arxiv.2105.12655","metadata_source":"pith","pith_arxiv_id":"2105.12655","snapshot_observed_at":"2026-07-10T19:57:34.119876Z","title":"Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, and et al","venue":"cs.SE","work_id":"de7ef41d-380b-45d3-8ea7-d7c8f9a288d7","year":2021},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2105.12655","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:2d9e51154ac5fe0e24de86a3e9240e5f026b6e53ab355fe2b57ad72ed977b84e","observation_id":"61cfb803-cdb0-4a59-be66-dd83041c8d26","resolution":{"observed_at":"2026-05-23T07:05:29.301816Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-17108-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A program slicer for java (tool paper)","venue":"Lecture notes in computer science","work_id":"b9fca2a8-a1bd-4d28-a6f9-160cdcfb6022","year":2022},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:0043cd9c56726ec22dade9050b84f816179d7e3190e348b5cfc4fdbb6c6461a3","observation_id":"4f9ac0fc-eef5-4e7f-ba2d-48ec01b3c1a8","resolution":{"observed_at":"2026-05-23T07:05:28.719074Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"The analysis policies of different clients","venue":null,"work_id":"b8526cd5-e13d-4b85-9d27-095a607fd585","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:aebd0d09feaa7c8ba4e299856887e6ad91f47202f2bfcc06bbb4ef1697df8d06","observation_id":"00ae5992-9940-4939-b5f4-03e64ad96660","resolution":{"observed_at":"2026-05-23T07:05:31.047312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8515.308852","doi":"10.1145/3088515.3088522","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Porting doop to soufflé: a tale of inter-engine portability for datalog-based analyses","venue":null,"work_id":"590c0f46-3c43-44d2-b03d-405b9d2d5a73","year":2017},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:684f51763ff578f3ae099bc404c26282dbee19ae43facb888fe60bfb6ab655de","observation_id":"a3d2d60f-4d6f-4a22-9826-bf5f80ade508","resolution":{"observed_at":"2026-05-23T07:05:28.742391Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"What you always wanted to know about datalog (and never dared to ask)","venue":null,"work_id":"516920eb-57b3-4d6b-9143-9da6fb962f75","year":1989},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:b57d915c347b41c78a62c44815db7ba11495525562b80940430121e75e3c94c4","observation_id":"82382100-5e51-44d4-bc77-2fb1ef9ef46d","resolution":{"observed_at":"2026-05-23T07:05:31.050852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Port, Kotagiri Ramamohanarao, and Krishnamurthy Meenakshi","venue":null,"work_id":"f3f24184-7f0e-473a-861e-2175b952d9ba","year":1991},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:9aa147e4acf2959377abfbaa7240e3f534c2be8b0328fba5d434240e96c407b6","observation_id":"9abc128e-8371-4458-bca9-edf93ee33e9e","resolution":{"observed_at":"2026-05-23T07:05:31.053929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"11c08644-528a-4404-af10-bfbd556d0582","year":2008},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:d9dddc3993e6875f11f044efdeb6dbbe01b358249646b5923b930929095dcd55","observation_id":"c0df966b-5eea-46cc-8d14-46868fe2e651","resolution":{"observed_at":"2026-05-23T07:05:31.057233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1167.366126","doi":"10.1145/3661167.3661261","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Semgrep*: Improving the limited performance of static application security testing (SAST) tools","venue":null,"work_id":"ebf509d2-0f63-44f4-a51a-ac51ec42f0af","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:99b82101648a62bed77aebb8caecffbf4824c70585a22147cce39d37564c3d5e","observation_id":"4e8431c6-f46c-4802-b1db-f449da6e6678","resolution":{"observed_at":"2026-05-23T07:05:28.733329Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Clang-Tidy","venue":null,"work_id":"23d417ec-5af2-4d62-acba-cfc8e457fdfa","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:f9603208c9a2de437f96bf00bf02977296252e79e140f67a6395951e7d310b58","observation_id":"059427d3-a191-43b2-8b79-09b7bc633d1c","resolution":{"observed_at":"2026-05-23T07:05:31.043827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11785477","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"44dcacf9-86be-45fa-8158-869342b0438c","year":2006},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:03e1232164fb48718080fbda9f0e162c02892e80c6a8b51e466dcd75a9224ed3","observation_id":"522bc2be-cd97-4295-92bc-4d282db34e33","resolution":{"observed_at":"2026-05-23T07:05:28.822602Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8264.346860","doi":"10.1145/3468264.3468600","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DIFFBASE: a differential factbase for effective software evolution management","venue":null,"work_id":"9a9592be-b607-44f8-a005-27cb8cc79efe","year":2021},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:245469a2efbfacde5bb90ddc83a761173c43b51e3730a1f996714173080c2fb3","observation_id":"51a463c6-6e60-45e3-b68d-03c2e7b7372e","resolution":{"observed_at":"2026-05-23T07:05:28.703331Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2014.44","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Modeling and discovering vulnerabilities with code property graphs","venue":null,"work_id":"aabb416a-3446-46d6-b23f-fb62cb820d41","year":2014},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:d49572b56d02955de03b03bd63ecbc8a2a3d22c29dbf20c644eece549a2dc5f1","observation_id":"5defc42b-b4ef-4741-bf54-edf0e2a6d0c0","resolution":{"observed_at":"2026-05-23T07:05:28.811094Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-20T09:52:12.235624+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T09:52:12.235624+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-24206-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Using datalog for fast and easy program analysis","venue":null,"work_id":"f6972bde-8eb0-46b7-8141-1a27430aec23","year":2010},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:83522e55c882d94de1e95575d1443c0efa0848c383d8c04ec7d3868f72787c4e","observation_id":"cfca2f39-cd54-4985-888d-8328f606eb55","resolution":{"observed_at":"2026-05-23T07:05:28.774577Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0089.164010","doi":"10.1145/1640089.1640108","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Strictly declarative specification of sophisticated points-to analyses","venue":null,"work_id":"23bb42f1-f286-43c2-8bc7-5e4e68162352","year":2009},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:db3d6ea63aa80b26acea51649fcff6fbdd3f5d519ad69542674130297ad8de17","observation_id":"2124a58e-f384-481c-a8bb-c9b10d28f43d","resolution":{"observed_at":"2026-05-23T07:05:28.793362Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-41540-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Soufflé: On synthesis of program analyzers","venue":"Lecture notes in computer science","work_id":"4b19edc7-995e-41a5-97b0-0acec07255a7","year":2016},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:eb01af5d0674f60baab4e849640a96fd7336c1527a971eeb9e69806db5d29149","observation_id":"448c5043-a81f-4ab4-a383-2e5d122dbc8a","resolution":{"observed_at":"2026-05-23T07:05:28.651227Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-20T05:53:54.2293+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T05:53:54.2293+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Nyx: Detecting exploitable front-running vulnerabilities in smart contracts","venue":null,"work_id":"85e1f356-e31f-44c1-86ca-26a40b29b67f","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:3f48664f3994624b9cb382e5f82a8e8a7205ccecfe4b8a22d7ce72e9b2ccd350","observation_id":"8b7eabeb-a4d7-4288-934c-fe81c85054b4","resolution":{"observed_at":"2026-05-23T07:05:31.060852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Practical se- curity analysis of zero-knowledge proof circuits","venue":null,"work_id":"39331d75-bb51-42d5-bac2-cf4303eef1fa","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:503d77ec8694e13e8c67dbeda2c7f441adf1fb03edfa105584b90dfb619c2b2b","observation_id":"f2d83e63-a742-4ca4-8397-264a47731fd1","resolution":{"observed_at":"2026-05-23T08:47:46.172979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0001.2021","doi":"10.1109/sp40001.2021","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ARBITRAR: user-guided API misuse detection","venue":null,"work_id":"970e1fc0-4dcb-4491-a54d-d28fc97089f2","year":2021},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:7221102529c2c678ff46cabb8d861fbba5e0ba31adda23495de5ac3ba36ea8d5","observation_id":"674a5b27-202c-4228-b518-c95494d2b763","resolution":{"observed_at":"2026-05-23T07:05:28.854168Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7503.362334","doi":"10.1145/3597503.3623341","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Dataflow analysis-inspired deep learning for efficient vulnerability detection","venue":null,"work_id":"50791d64-17f8-4df6-ae45-662b6a9cf83a","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:aa19cee27cb330148e5b529bc4aa3207d769efdef827ec36b649f0145f5b9ef1","observation_id":"f0e84f83-38c0-488b-a93b-5a4e0585679f","resolution":{"observed_at":"2026-05-23T07:05:28.816466Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5064.2022","doi":"10.1109/ijcnn55064.2022","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Liang, Y.-C","venue":null,"work_id":"78495e4b-a848-4bb6-8bb4-3a59e4e275f9","year":2022},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:c39c2fb86725adde209d2a52cd4733e31c5de4bf741e2f2ca6f362466ecd9a1e","observation_id":"38a73cf6-3bfc-4d50-b523-361c5d8250c4","resolution":{"observed_at":"2026-05-23T07:05:28.727796Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Hoppity: Learning graph transformations to detect and fix bugs in programs","venue":null,"work_id":"4e543ae6-9a10-4def-a45b-edf264964869","year":2020},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:1ce77863154ed82b3d630d671e1587ca3559b4d17b6eed8b45581acce04da149","observation_id":"49afceb9-4a91-4724-8f2d-c303f9be3847","resolution":{"observed_at":"2026-05-23T07:05:31.036774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3649829","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating the effectiveness of deep learning models for foundational program analysis tasks","venue":"Proceedings of the ACM on Programming Languages","work_id":"bf52d60f-42eb-4dff-ac3a-2f4e2d530f51","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:9e2b91e60ae1be01bfb7ef2435d53ed7fd70ed664bb94c99c28b50eb3006b86c","observation_id":"cd988c13-fd3a-4a63-bab2-71a9e350f9de","resolution":{"observed_at":"2026-05-23T07:05:28.807538Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8619.2023","doi":"10.1109/icse48619.2023","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20","venue":null,"work_id":"5955f330-cfab-45b0-9ff5-4dd04bca728a","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:f35851d3cd6505d206071584dc48f3cbae2e35e55649c68513d9e4d2833050ee","observation_id":"0f2c0c2f-d20d-4e62-8920-3487793c46b9","resolution":{"observed_at":"2026-05-23T07:05:28.696672Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T01:51:00.227285+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T01:51:00.227285+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3649828","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enhancing static analysis for practical bug detection: An llm-integrated approach","venue":"Proceedings of the ACM on Programming Languages","work_id":"24ce4b0c-a7f0-419a-a7d1-66aad06c51a3","year":2024},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:54ed55ee68c88ed5a6be7eeb6953019111a94fc45c669226a32bd574d02a9fb5","observation_id":"e3ae3fd9-f9ef-4af0-8087-eb25c2dd03cb","resolution":{"observed_at":"2026-05-23T07:05:28.796677Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-16T20:21:33.386446+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-16T20:21:33.386446+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-02T10:21:50.041464Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":2,"metadata_mismatch":15,"parse_uncertain":0,"unresolved":2,"verified_exact":24,"verified_fuzzy":14},"total_outbound_references":57},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 3 inbound Pith citation observations for arXiv:2412.14399."}