{"as_of":"2026-08-10T05:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:15a865b6b5d66e910d5e267dd8666cc4ce9861b7ecd27395d5519da50d62c195","coverage":[{"denominator":299,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T21:36:19.987751Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2608.01763/citation-record","integrity":"/paper/2608.01763/integrity","json":"/paper/2608.01763/citation-record.json","paper":"/paper/2608.01763"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:10.373812Z","title":"Artificial intelligence , volume=","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.373812Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:c57dbd8c425681f5ecc143b8b49137b4eb3f29abed8a8d74b2864524aca1076a","observation_id":"5f7b2f9c-0964-4f2f-b23b-f6ad1cea80da","resolution":{"observed_at":"2026-08-04T21:36:10.373812Z","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-04T21:36:10.451774Z","title":"ACM Comput","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.451774Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:889eb274511acdb4482fc973924d6a2add9a4e88192723793249651168b94ce2","observation_id":"92154716-d883-4bfb-84cf-9420c617d3cb","resolution":{"observed_at":"2026-08-04T21:36:10.451774Z","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-04T21:36:10.554128Z","title":"2024 IEEE symposium on security and privacy (SP) , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.554128Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:514b97e8c05bfb52c79614e7757f3ac55ddd2c6d4b6c6870daf3cd1d73bbdcef","observation_id":"bebc734e-018e-43cf-b88b-374fa94765b8","resolution":{"observed_at":"2026-08-04T21:36:10.554128Z","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-04T21:36:10.646853Z","title":"Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.646853Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:81f6251f1176afa9b103a71695c19511dfeab4f3248ffd1965f86d999ebb551d","observation_id":"5ead4e30-5c81-4430-a479-343fd0e630bf","resolution":{"observed_at":"2026-08-04T21:36:10.646853Z","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-04T21:36:10.744896Z","title":"Logic- LM : Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.744896Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:52fac5be658963ab7a299d876885b4c1b69ff85f833524a2ca063dcfd70be248","observation_id":"bd532515-2b48-486a-a946-9de90dc97752","resolution":{"observed_at":"2026-08-04T21:36:10.744896Z","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-04T21:36:10.859907Z","title":"Proceedings of the 33rd ACM international conference on information and knowledge management , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.859907Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:65a7996365e048288a6202d177571180d70d364acee18dc30add1952f938d03f","observation_id":"35a56ec2-1b6f-4e87-9586-cb3fe7265013","resolution":{"observed_at":"2026-08-04T21:36:10.859907Z","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-04T21:36:10.953767Z","title":", author=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:10.953767Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:f8f3e55e77cb23b46716dd197c11f4303b94be9098148c19f37d0e6aa3db0778","observation_id":"37229900-17bf-43de-a893-f3475a767324","resolution":{"observed_at":"2026-08-04T21:36:10.953767Z","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-04T21:36:11.060379Z","title":"The temporal logic of programs , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.060379Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:63174a52be461ab04e1f99881cb3be79de4171fed87107123565a38635f96ccc","observation_id":"c97ae4e0-b4b3-4cf3-8a98-d05154a8dabf","resolution":{"observed_at":"2026-08-04T21:36:11.060379Z","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-04T21:36:11.120276Z","title":"Formal aspects of computing , volume=","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.120276Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:1f38603a9a46364516eeb156af5c43ff6eb714e8697a764ed6b043f5410ae148","observation_id":"123017f5-7615-404a-85b6-49edebe50ddf","resolution":{"observed_at":"2026-08-04T21:36:11.120276Z","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.1016/j.tcs.2005.03.048","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2005 , issn =","venue":"Theoretical Computer Science","work_id":"c1be91e0-38d5-4aac-a255-9b3099491c75","year":2005},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.186780Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:f66f02aed728b1d7a6c52f5cf8d5921b62a6f12da3d7649d5cd750f36ee006f8","observation_id":"3981061e-2c0f-41b5-96af-e8127b91c53d","resolution":{"observed_at":"2026-08-04T21:36:42.035184Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.19361","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.996689Z","title":"arXiv preprint arXiv:2505.19361 , year=","venue":null,"work_id":"5154335e-425c-4ac7-ade4-536c92f02e50","year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.250343Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:cdc1de88c6bcbc77a7a8263b289f1fb55fd0e83a257157dda0538180fc48d54b","observation_id":"cb22610a-4499-4d9a-aa83-0efcd20cd54b","resolution":{"observed_at":"2026-08-04T21:36:46.034752Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:11.321262Z","title":"ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.321262Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:862abd449d91aebcba86c3caf2f0eccc355fd474ef954da6eea7a22bbd4af269","observation_id":"2012821a-3414-4443-ada0-f07429c79075","resolution":{"observed_at":"2026-08-04T21:36:11.321262Z","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":"2506.17776","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.849758Z","title":"arXiv preprint arXiv:2506.17776 , year=","venue":null,"work_id":"6e3233e6-9a77-425d-ab5c-dc9fee07634b","year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.419620Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:c176a1fafe6bbde1a0a8f9b9c133bb6cf703aebad0b4317e37ec278dacdd36d1","observation_id":"1f74adf6-3b78-4dcc-88d1-51fba3e38c6c","resolution":{"observed_at":"2026-08-04T21:36:45.906305Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.10781","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.728059Z","title":"arXiv preprint arXiv:2507.10781 , year=","venue":null,"work_id":"e1fbf06c-1642-450e-8670-8f47d22b06ea","year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.469272Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:2d892d5f93cb199ebebdcabe086701751fed77e67b60f6d89ecbf55dd8eb27ab","observation_id":"e12cbc13-ab7a-44fe-9c9e-077d079acc5c","resolution":{"observed_at":"2026-08-04T21:36:45.787483Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:11.526026Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.526026Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:4d9a45771292e02443a62cef51b972bc893c198ddc04815c61ff4560aa0f88ae","observation_id":"d324e77d-9882-426d-ac4c-dca77420c31c","resolution":{"observed_at":"2026-08-04T21:36:11.526026Z","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-04T21:36:11.594405Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.594405Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:98ec00406a407ae15cb711512b2840f28f24ff5f255dd32099ff916f5bfc5c3f","observation_id":"3b2e496e-2a48-427e-a3ea-f90c278dbcc4","resolution":{"observed_at":"2026-08-04T21:36:11.594405Z","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-04T21:36:11.659381Z","title":"ACM Transactions on Programming Languages and Systems (TOPLAS) , volume=","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.659381Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8b33a56ca8fdcea4680fd2191865a77696e9aec42dd56532d6fb53c1296d69d6","observation_id":"1bb85854-32ee-4ec1-9bfe-cc477ab82c31","resolution":{"observed_at":"2026-08-04T21:36:11.659381Z","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-04T21:36:11.716132Z","title":"2012 , publisher=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.716132Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:faee769c5ba73799e9a1c453aa4133aee542e8e39e419462238bb21fccb37a8b","observation_id":"aea37a9b-c4cb-4531-a477-5f19f8203d7d","resolution":{"observed_at":"2026-08-04T21:36:11.716132Z","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-04T21:36:11.847587Z","title":"IEEE transactions on knowledge and data engineering , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.847587Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:3d980935fc48a7a4fc7da3e0f79c8c062e6cdbfc1a2753e7aa959d402398aea3","observation_id":"3fa06da9-b7a7-402f-a055-3412b41b96e0","resolution":{"observed_at":"2026-08-04T21:36:11.847587Z","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-04T21:36:11.907709Z","title":"2021 60th IEEE Conference on Decision and Control (CDC) , pages=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.907709Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:d611ba21ded5f0d558ae4d982437a5cd94d2f38c383763015d1b070dc8989d1e","observation_id":"e6373027-00bd-4056-866c-09acfc473ca6","resolution":{"observed_at":"2026-08-04T21:36:11.907709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.11002","last_updated":"2020-04-22T09:06:19Z","snapshot_observed_at":"2026-08-08T01:18:49.522113Z","submitted_at":"2020-02-25T16:23:11Z","title":"Turning 30: New Ideas in Inductive Logic Programming","version":4},"cited_work":{"arxiv_id":"2002.11002","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.11002","snapshot_observed_at":"2026-08-04T21:36:45.607664Z","title":"Turning 30: New Ideas in Inductive Logic Programming","venue":"cs.AI","work_id":"401740a0-1f11-4174-9681-e6b70aefef4e","year":2020},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:11.982483Z"},"links":{"cited_paper":"/paper/2002.11002","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:caf731382aebe143ec499186ba9c25b85fd41fb3510668e3f04aae1c6dfdbcea","observation_id":"4bd7e080-68e2-469b-91a0-6687a1204806","resolution":{"observed_at":"2026-08-04T21:36:45.661669Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:12.042052Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.042052Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:ad7dfd8de92c659f12090c32f4775ac00cb5e341baab25439dd34380881e8e13","observation_id":"e9232b15-7711-4269-ab96-5e7adec83da1","resolution":{"observed_at":"2026-08-04T21:36:12.042052Z","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-04T21:36:12.098930Z","title":"Proceedings of the AAAI conference on artificial intelligence , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.098930Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:cfedd6a4d871dfe86fe4e70c755dfbdd1ab66b8ba1bbb729537ea28b6244ac4c","observation_id":"42393133-4022-4725-9385-77781d1edd51","resolution":{"observed_at":"2026-08-04T21:36:12.098930Z","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-04T21:36:12.186793Z","title":"Journal of Machine Learning Research , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.186793Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:94b6d0aea5d86e03cc85239cd2e973f2db7765eec3aa833dece30b27b599deba","observation_id":"80c032e0-33ad-4989-a32e-40282296a682","resolution":{"observed_at":"2026-08-04T21:36:12.186793Z","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-04T21:36:12.280089Z","title":"Advances in neural information processing systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.280089Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:850237b803a17207c4fe314b1c9ba7cc6ee607cc94cfec8621b43745bcc554e3","observation_id":"85c9d0d7-b324-4276-93ee-bbf3e46e4976","resolution":{"observed_at":"2026-08-04T21:36:12.280089Z","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-04T21:36:12.351518Z","title":"Systems & Control Letters , volume=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.351518Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:77f36b4b18bf0669cc334c3d0fd649c3664fb405164a28cb765ab7d2fc46f8d6","observation_id":"6936c56b-d51c-45c3-b39c-ca3d50f91118","resolution":{"observed_at":"2026-08-04T21:36:12.351518Z","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-04T21:36:12.425103Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.425103Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:6e38be30b6dca2eb6770e9fffa1d69dd7266fc923b42265bb9718fa93b33f967","observation_id":"8f93c91d-afff-4322-b79e-025841d7e481","resolution":{"observed_at":"2026-08-04T21:36:12.425103Z","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-04T21:36:12.534328Z","title":"On Context and the Open World Assumption , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.534328Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8b18f19118b63a25503242b32d9d6de42d8f5fd50616e03e1e7ce097fd959d1f","observation_id":"fb67c1f5-0344-4d8a-bc03-2bcf54b9fb13","resolution":{"observed_at":"2026-08-04T21:36:12.534328Z","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-04T21:36:12.635205Z","title":"AMIA annual symposium proceedings , volume=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.635205Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:dba140c3c5bf5e0ad0a74b7969628202f4bc2162504713a6c9f845d0596aa3b8","observation_id":"6f064967-8354-414c-8b6b-859faa245bbd","resolution":{"observed_at":"2026-08-04T21:36:12.635205Z","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-04T21:36:12.703876Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.703876Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:29b707c1ae57a4ff4f1406c3f31008bd79f2c0d8b07e604ca2b5acd5ca67e690","observation_id":"3561e7df-3490-4165-9b01-b2995c28e1d6","resolution":{"observed_at":"2026-08-04T21:36:12.703876Z","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-04T21:36:12.801536Z","title":"Temporal Equilibrium Logic: A First Approach","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.801536Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:19976b18be36acea1df5747df18ecd3661368c2f7ee9414978d6a7d3d0f3c2f7","observation_id":"03f38c6f-2680-41b0-bc9b-038633cbfe54","resolution":{"observed_at":"2026-08-04T21:36:12.801536Z","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-04T21:36:12.899710Z","title":"On the Complexity of Temporal Equilibrium Logic , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.899710Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:ca4984ff1af58f68e64bbdb02184f5bce06ac0686b479d9f6edb0bdd09cca4b6","observation_id":"ca0ece0a-6ad6-4649-9497-1a1ca6ff1cae","resolution":{"observed_at":"2026-08-04T21:36:12.899710Z","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-04T21:36:12.968546Z","title":"Ai Magazine , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:12.968546Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:9ec5ddabd2e407269cde469f0c6e4a2f4c9c018eed27f0873a049f02e96d3286","observation_id":"8b977165-283d-4b52-a382-cefead2bf4a9","resolution":{"observed_at":"2026-08-04T21:36:12.968546Z","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":"5043.35046","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.497576Z","title":", title =","venue":null,"work_id":"6e256b7c-e337-4894-8aa4-71c81582e39f","year":1988},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.046237Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:102cfe92753171a900e09abb70ef4ec6de4e6d2b051708bdfe5267647f89272d","observation_id":"70e567b6-8421-495d-b928-d4f9746f721b","resolution":{"observed_at":"2026-08-04T21:36:45.543683Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:13.154745Z","title":"Communications of the ACM , volume=","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.154745Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:136727222c87f5fec281a33f9e2608cef5ff8549ade216cfa6274581b1c9bfb0","observation_id":"91d07e89-215a-471a-aad6-5bc64831ae55","resolution":{"observed_at":"2026-08-04T21:36:13.154745Z","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-04T21:36:13.265477Z","title":"Annals of Mathematics and Artificial Intelligence , month = jun, pages =","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.265477Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:ee60012be49c4d775a7e4dfa351784b788a38a8c055da852b37a15f288c4167a","observation_id":"45e2bcc8-2b7c-4d5e-a03f-f5c7d6907cd2","resolution":{"observed_at":"2026-08-04T21:36:13.265477Z","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-04T21:36:13.327598Z","title":"and Kasneci, Gjergji and Weikum, Gerhard , title =","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.327598Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:ebc0932171bac402f378ac64c74b317e5f92561d38bbd794353cfc5a1d66a102","observation_id":"06937d13-98c6-481f-8546-c58c907be29d","resolution":{"observed_at":"2026-08-04T21:36:13.327598Z","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-04T21:36:13.389760Z","title":"International Conference on Knowledge Engineering and Ontology Development , volume=","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.389760Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:438449c53628718d0cd98e603d9580fb1e0cf9f55d04cfa0d34fd898b92f01a4","observation_id":"bd351f93-b14a-418b-844b-dd309e051bc0","resolution":{"observed_at":"2026-08-04T21:36:13.389760Z","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":"3174.20431","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.359283Z","title":"Answer set programming at a glance , year =","venue":null,"work_id":"d4f24a4e-122e-4a5e-90da-ed4643a1f682","year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.451419Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:7f6b5cca05b26c021427bb4b3e57265a3187b9674c3806beb27e1e95cacd12bb","observation_id":"78c5e812-8957-462e-80ee-e8fee0ebe671","resolution":{"observed_at":"2026-08-04T21:36:45.425596Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:13.587619Z","title":"The logic programming paradigm: A 25-year perspective , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.587619Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:4245f74bce792f0c05833e488626849c9ffa6e127432f2b16b0dcd1bb5489cdb","observation_id":"3ee0178c-9d49-43c3-a544-9f07b1ce2b3c","resolution":{"observed_at":"2026-08-04T21:36:13.587619Z","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-04T21:36:13.664832Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.664832Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:e084ab3d8a3313124c3bef809a307afd77616c0779c2ccaee5b33b9744bfc9a9","observation_id":"d281132c-09b0-4cd5-abcc-c3ba3e715cfa","resolution":{"observed_at":"2026-08-04T21:36:13.664832Z","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-04T21:36:13.754294Z","title":"Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.754294Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:5c26831b8384444577185e4a0dbe67dc7c664b9fa3601b17e69043b955709de3","observation_id":"f48ac418-ef20-495d-8b36-feb0cddb5a77","resolution":{"observed_at":"2026-08-04T21:36:13.754294Z","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-04T21:36:13.837254Z","title":"Translating Embeddings for Modeling Multi-relational Data , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.837254Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8ede2f268b89d9ed41ff873ba258ed79edde6c3f52755375af7e19b5788c00bf","observation_id":"f3b7f84b-7cf7-4ee8-8483-0b457edbfff3","resolution":{"observed_at":"2026-08-04T21:36:13.837254Z","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.18653/v1/w19-0505","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE : Design of a System with Support for Existential Quantification Using Skolemization","venue":null,"work_id":"421037e4-6db3-44ce-8d21-bd7997c7e2d5","year":2019},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.911684Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:39f35681e96f10afb35c768969bdb1f69177e9db4585ce88a54c4331cd9af9cf","observation_id":"ef12ab9e-f37f-484a-8557-0870e312d757","resolution":{"observed_at":"2026-08-04T21:36:41.778945Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:13.999580Z","title":"Computing Meaning: Volume 1 , pages=","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:13.999580Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:15b0df277927b409803d13108d60451445763d3692f7ba227e6e5bb41f36fef1","observation_id":"9a293add-d8e9-44b4-8506-666c1c3376fc","resolution":{"observed_at":"2026-08-04T21:36:13.999580Z","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-04T21:36:14.083038Z","title":"SIAM Review , volume=","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.083038Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:89ae6b9cb6ac8df858064d4e5043cb2717f688a8c855be9e78269f5ad4a3624e","observation_id":"cb5c2fe4-abb2-464d-8f01-cb9894e02290","resolution":{"observed_at":"2026-08-04T21:36:14.083038Z","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-04T21:36:14.165309Z","title":"New York , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.165309Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:563d8e09206db6553ec9a159a682c63adcd43804ed1a5972b49e9537aff92bbf","observation_id":"20b97644-8bcb-4dd4-a077-dd3e215a010b","resolution":{"observed_at":"2026-08-04T21:36:14.165309Z","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-04T21:36:14.246555Z","title":"2012 , isbn =","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.246555Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:59548b2f02c682caff79bafbb87f77f8f0fb1a7b09d050f44dfc59c78d529305","observation_id":"e77f2216-3a16-43e8-8e45-f95bfcb37d78","resolution":{"observed_at":"2026-08-04T21:36:14.246555Z","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-04T21:36:14.356965Z","title":"Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.356965Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:d768447a73853aac54615ced241b2e55440fea5d103053be7ac2e974805630af","observation_id":"30c8bd68-e66f-47f5-b379-c4dde7c55068","resolution":{"observed_at":"2026-08-04T21:36:14.356965Z","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":"9531.21595","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.197040Z","title":"and Subrahmanian, V","venue":null,"work_id":"326909b1-d655-417f-b115-b936c6911c0c","year":2012},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.440125Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:6288adb7e080c615a756bc0c627df2cd536c0bc25be48ae6cf43d82351e204ec","observation_id":"d0b6a641-5c4d-4b85-bf84-3bed3330a854","resolution":{"observed_at":"2026-08-04T21:36:45.271781Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7714.18777","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:36:45.066725Z","title":"and Subrahmanian, Venkatramana V","venue":null,"work_id":"bb31062c-d739-4133-ba19-756eaae01b13","year":2011},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.522832Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:f651215d7b2887780041bd957897db1b5b13e9d0e7143388b28e470c2af877c0","observation_id":"2e37023f-5d8d-4427-b74f-a0aef1b9fc9a","resolution":{"observed_at":"2026-08-04T21:36:45.098718Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.07750","last_updated":"2018-02-12T17:10:11Z","snapshot_observed_at":"2026-07-06T05:43:40.624942Z","submitted_at":"2017-05-22T13:57:53Z","title":"Quo Vadis, Action Recognition? A New Model and the Kinetics Dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.07750","snapshot_observed_at":"2026-08-04T21:36:14.606157Z","title":"Quo Vadis, Action Recognition?","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.606157Z"},"links":{"cited_paper":"/paper/1705.07750","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:23a6d6c5875c3aeec187ab79e08776115aa7031ae5eab5781459dda9945f3b52","observation_id":"76e5d817-68a6-4292-9a53-af67042e30b9","resolution":{"observed_at":"2026-08-04T21:36:14.606157Z","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-04T21:36:14.714161Z","title":"ImageNet Classification with Deep Convolutional Neural Networks , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.714161Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:632b70d17f5e82d51b6361d10b180b6805439bccab7b159718c09ab53b2e3165","observation_id":"8624a5a1-50a2-4e51-95a4-d49da1fe3a7e","resolution":{"observed_at":"2026-08-04T21:36:14.714161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.01680","last_updated":"2020-03-31T03:51:52Z","snapshot_observed_at":"2026-08-05T10:58:15.286928Z","submitted_at":"2020-02-05T08:21:00Z","title":"MAGNN: Metapath Aggregated Graph Neural Network for Heterogeneous Graph Embedding","version":2},"cited_work":{"arxiv_id":"2002.01680","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.01680","snapshot_observed_at":"2026-08-04T21:36:44.947193Z","title":"MAGNN: Metapath Aggregated Graph Neural Network for Heterogeneous Graph Embedding","venue":"cs.SI","work_id":"650bf285-a8c1-4e88-9d67-c52846b82f13","year":2020},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.767284Z"},"links":{"cited_paper":"/paper/2002.01680","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:6936857a53fc290568b5f283dd9e64708a43021c3269d5373320fa9434192efa","observation_id":"6fa5213d-3b05-41ce-a29f-d8ad08e7e9b7","resolution":{"observed_at":"2026-08-04T21:36:44.992582Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T21:36:14.881842Z","title":"2022 , eprint=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.881842Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:3a60b33c3ba0f82c106eb4fb94a0ec63b9d684f335a570f76427c948ab2d596b","observation_id":"1eb970cc-36d5-4e1d-ab57-de7e22907456","resolution":{"observed_at":"2026-08-04T21:36:14.881842Z","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-04T21:36:14.971516Z","title":"A Novel Framework for Constructing Multimodal Knowledge Graph from MuSe-CaR Video Reviews , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:14.971516Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:b7d8f70e89edc41a108e334f994ec2c07d94aa6cc2ba00cf18b499efbdaf0225","observation_id":"c45e3ac9-21ac-4bb8-84e3-ac16da456576","resolution":{"observed_at":"2026-08-04T21:36:14.971516Z","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-04T21:36:15.047239Z","title":"XR4DRAMA Knowledge Graph: A Knowledge Graph for Disaster Management , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.047239Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:dd6b110249b8ec332c4a73b93d7540aafab2ac57c4b80cfaa18ebc3119771dfc","observation_id":"55418863-f9c6-4c4f-8f23-a849377bedfa","resolution":{"observed_at":"2026-08-04T21:36:15.047239Z","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-04T21:36:15.130413Z","title":"Ontology Modeling for Probabilistic Knowledge Graphs , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.130413Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:634ca1d19e6a1594b7bbf06dcd331eac230057ebef908729c3cd24bbf0f9b5fa","observation_id":"19eb58c5-dbc0-44e5-8a32-45110ed002ae","resolution":{"observed_at":"2026-08-04T21:36:15.130413Z","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-04T21:36:15.213923Z","title":"DocSemMap: Leveraging Textual Data Documentations for Mapping Structured Data Sets into Knowledge Graphs , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.213923Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:81969d111c4144a2714688d707f42261ede27e3da1b3440201448235e794fd3e","observation_id":"2dc47893-f4fe-4261-a38b-3391fe84698d","resolution":{"observed_at":"2026-08-04T21:36:15.213923Z","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-04T21:36:15.296275Z","title":"Subrahmanian , title =","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.296275Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:a45dabb6b1fec1528dcf9240f2d1ba2a1bb34dfd6a8da958f55ac6bfe6c8589f","observation_id":"5afb13c2-eaf8-4d2d-9882-e67dd9fe7621","resolution":{"observed_at":"2026-08-04T21:36:15.296275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.01439","last_updated":"2023-10-25T16:40:27Z","snapshot_observed_at":"2026-07-06T15:37:04.527476Z","submitted_at":"2023-06-02T10:59:44Z","title":"Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction","version":2},"cited_work":{"arxiv_id":"2306.01439","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.01439","snapshot_observed_at":"2026-08-04T21:36:44.815481Z","title":"Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction","venue":"cs.LG","work_id":"a5e623f0-80a9-4d38-b682-4604c8d026f8","year":2023},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.380316Z"},"links":{"cited_paper":"/paper/2306.01439","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:d620e61ea09630d692ae981aca7c9a0d9c82537e994f5a53e2ed8c3e09ace169","observation_id":"633a687e-fecd-4605-a51c-e3eb4f0c8d09","resolution":{"observed_at":"2026-08-04T21:36:44.893999Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.04782","last_updated":"2017-08-16T06:20:52Z","snapshot_observed_at":"2026-07-06T05:55:27.598127Z","submitted_at":"2017-08-16T06:20:52Z","title":"StarCraft II: A New Challenge for Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.04782","snapshot_observed_at":"2026-08-04T21:36:15.462731Z","title":"arXiv preprint arXiv:1708.04782 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.462731Z"},"links":{"cited_paper":"/paper/1708.04782","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:bee07769584df99c5f73dd25666d8e11445383702f684b865203996dc95f8c75","observation_id":"bb921b60-8587-4df8-a10a-236f5ba8dce5","resolution":{"observed_at":"2026-08-04T21:36:15.462731Z","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-04T21:36:15.572141Z","title":"Proceedings of the international conference on scientific computing (CSC) , pages=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.572141Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:ec1cf920e07af6266546626ef6d0f9604eeafedc3f48da9336d3df3e7b8f02c2","observation_id":"8b3bf383-f2f4-43c2-a314-d2b891c9f04c","resolution":{"observed_at":"2026-08-04T21:36:15.572141Z","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-04T21:36:15.656902Z","title":"Proceedings of the AAAI conference on artificial intelligence , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.656902Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:a5d820e133099d359a17de122ad57e012379ff1da22e00a84791ffd3025f2c8c","observation_id":"25ca791b-47bf-481e-aa08-aebb68338dbe","resolution":{"observed_at":"2026-08-04T21:36:15.656902Z","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-04T21:36:15.717566Z","title":"Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.717566Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:96c6465e068ea0ae2ab094062d6cad965d5c3710ceb858da15cb2e82b70bc635","observation_id":"dd8515d0-a5cc-4fe3-9e71-b3c4514979d4","resolution":{"observed_at":"2026-08-04T21:36:15.717566Z","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-04T21:36:15.796795Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.796795Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:3439c8c8e5952d9a4e71cca2e4cc380835cb2eddc250908096f8003ccd81e194","observation_id":"e76b4410-693c-4553-921b-272bf4ed43b2","resolution":{"observed_at":"2026-08-04T21:36:15.796795Z","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-04T21:36:15.879416Z","title":"AAAI Spring Symposium: MAKE , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.879416Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:a668f4dfbc3a8c1b05150012a06d1bdd13360a21e508c2499968b6be5ad16d18","observation_id":"a1370881-ae65-46b7-8112-bfb7f8f61edc","resolution":{"observed_at":"2026-08-04T21:36:15.879416Z","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-04T21:36:15.982854Z","title":"hostile decision dynamics in MDO , author=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:15.982854Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:44d3202c0a4ff12212bb96e0f579b066fb832ee7e6ddbd65c4187f8d22271463","observation_id":"8aae0046-e0c7-4939-9c51-e0f426e6d68d","resolution":{"observed_at":"2026-08-04T21:36:15.982854Z","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-04T21:36:16.029560Z","title":"nature , volume=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.029560Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8e8be50b8f0e0db7753d31b2ebde82bc03609b9c6762713cfd12ef6887d8c13d","observation_id":"86c93cbf-1488-45eb-afd5-aed76d6a20d6","resolution":{"observed_at":"2026-08-04T21:36:16.029560Z","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-04T21:36:16.095855Z","title":"Alegre , title =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.095855Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:4377a36c920e365c74bc616891aa84d956ee5eef524a706baaba9d1201f4ea05","observation_id":"b624dec1-2d40-4e1b-b37c-24844d9054bd","resolution":{"observed_at":"2026-08-04T21:36:16.095855Z","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-04T21:36:16.099220Z","title":"2019 , Eprint =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.099220Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:e426caa6e5ed1dd8c81862147ca369f92702bf2a7feec803f2dd8412643a6316","observation_id":"9b6d76ae-0c39-4b89-a195-a655a6bb3190","resolution":{"observed_at":"2026-08-04T21:36:16.099220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.01708","last_updated":"2019-10-03T20:15:55Z","snapshot_observed_at":"2026-08-07T14:18:01.067346Z","submitted_at":"2019-10-03T20:15:55Z","title":"Benchmarking Batch Deep Reinforcement Learning Algorithms","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.01708","snapshot_observed_at":"2026-08-04T21:36:16.177038Z","title":"arXiv preprint arXiv:1910.01708 , volume=","venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.177038Z"},"links":{"cited_paper":"/paper/1910.01708","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:30c72e8e1cb51fa0ee92c9dd77ad461cd45f223e766dd357b07560534921c8a2","observation_id":"1a0de04b-cf77-4da2-b511-dfac7aaf53c7","resolution":{"observed_at":"2026-08-04T21:36:16.177038Z","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-04T21:36:16.308133Z","title":"Workshop on Language and Robotics at CoRL 2022 , year=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.308133Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:cedbd9d55f257a9e58de1f8da50e44b0baf29ab99606fef5fa4d135670b880fc","observation_id":"8d77aa8f-624a-4d4d-8d98-d0acb2eb6641","resolution":{"observed_at":"2026-08-04T21:36:16.308133Z","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-04T21:36:16.466694Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.466694Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:928937e6d76a6028892f09e977ec6fc5eb9c21732de50168a2075c2486ac0e09","observation_id":"4ead37c5-a987-4f62-b357-35c87b6135a6","resolution":{"observed_at":"2026-08-04T21:36:16.466694Z","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-04T21:36:16.567103Z","title":"Physica D: Nonlinear Phenomena , author =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.567103Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:0efc26dd24e41e12f2eb64d2b929547c5b550ed33f0ef40b7b8ece07a06ff0c0","observation_id":"1743d8ef-9793-4482-829b-11d07ec17f60","resolution":{"observed_at":"2026-08-04T21:36:16.567103Z","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-04T21:36:16.763018Z","title":"Conference on Empirical Methods in Natural Language Processing , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.763018Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:f8134762f8f7d87a45f5a1acc6684db4695a2010514d2e3755212fc9c511c49b","observation_id":"6a8deb33-55e9-4d8a-87cc-89e3b876a771","resolution":{"observed_at":"2026-08-04T21:36:16.763018Z","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-04T21:36:16.930679Z","title":"2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , pages=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:16.930679Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:41fb3419d12bcfc18e522cef03e1e108724581b50af1dc95ddef1b4ab4da4e32","observation_id":"0e0222be-fb89-4f04-9438-8fc48c42734f","resolution":{"observed_at":"2026-08-04T21:36:16.930679Z","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-04T21:36:17.103748Z","title":", author=","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.103748Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8f0807cf052771357b42be66a6ebe6334e0f783569308472a0bf9aefe78009c4","observation_id":"e2bd9fa6-3a82-41c1-908d-58537d5fe5b0","resolution":{"observed_at":"2026-08-04T21:36:17.103748Z","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-04T21:36:17.274392Z","title":"Machine learning , volume=","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.274392Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:80523131ec3f01a89486bc2b1935691b5597945e50f2512528e92a42d0adefed","observation_id":"266ad655-e126-47fa-891e-9e6a6bbd252d","resolution":{"observed_at":"2026-08-04T21:36:17.274392Z","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-04T21:36:17.456225Z","title":"Journal of Operations Management , volume=","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.456225Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:81a3e0ddb56dea93358537be629670fbfbe72d0d5687b3370eed5a469147b433","observation_id":"b84cdabc-e033-4df3-9874-c66070f14707","resolution":{"observed_at":"2026-08-04T21:36:17.456225Z","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-04T21:36:17.631344Z","title":"Enterprise Design, Operations, and Computing: 26th International Conference , pages=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.631344Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:7b137874f23e0b158d1d79ef9bdad25037542dcc6231124fdeeb552959a165ef","observation_id":"74519781-1716-40a7-b8e5-d319b55ba43e","resolution":{"observed_at":"2026-08-04T21:36:17.631344Z","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-04T21:36:17.789399Z","title":"Advances in Neural Information Processing Systems , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.789399Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:9828fd5b169dfdf10ef93189d07e1bf68277be5581428d1126edb0134c62dc6f","observation_id":"c9644abf-9ea0-408b-be6d-540001d9540a","resolution":{"observed_at":"2026-08-04T21:36:17.789399Z","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-04T21:36:17.944120Z","title":"Journal of Supply Chain Management , volume=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:17.944120Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:3da503ab86b0ca0615c184b81b48ae8a4725ccdd5220b28d9ab5204aa7b37716","observation_id":"1adffef4-5507-41f0-acce-a5abadfdcdaa","resolution":{"observed_at":"2026-08-04T21:36:17.944120Z","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-04T21:36:18.133762Z","title":"2008 , institution=","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.133762Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:98b0090a9ddb26b338de4d2069ae49e4efc688227988fca0c92ca598b1f8d846","observation_id":"20585e41-3805-4e78-abec-f3698e603290","resolution":{"observed_at":"2026-08-04T21:36:18.133762Z","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-04T21:36:18.280997Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.280997Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:7f43a3e205386239869e99f845346090e36b6d004a035e034762e8687170172f","observation_id":"9c253e46-3ce6-4376-8bb5-42869aebdabb","resolution":{"observed_at":"2026-08-04T21:36:18.280997Z","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-04T21:36:18.433475Z","title":"Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.433475Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:41d7ea35dd8a3e5516aa802b9ed50639055f9d50c2d4cfb9ee8f9468f6c46c2f","observation_id":"18b5097f-91b7-40c1-846b-93b469f7cdc8","resolution":{"observed_at":"2026-08-04T21:36:18.433475Z","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-04T21:36:18.641570Z","title":"International scientific conference and international workshop present day trends of innovations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.641570Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:1df457ebe25f6863afc66df1c6d7a671d32727e322fd12827cfec11249834cef","observation_id":"8a1a8cb4-9f38-4214-9e6a-b369bef682dc","resolution":{"observed_at":"2026-08-04T21:36:18.641570Z","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-04T21:36:18.787749Z","title":"Journal of Mathematical Analysis and Applications , volume=","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.787749Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:8c55de989ba99f8da18676858228a1c2663e3184189352357cd6b9ae1751ef60","observation_id":"a89a31ff-dfd8-43b7-b81d-e10970697519","resolution":{"observed_at":"2026-08-04T21:36:18.787749Z","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-04T21:36:18.912976Z","title":"1990 , publisher=","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:18.912976Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:dba9670f1468596dd11a493549830bfc5319eaf3efdffbf1784c82d29fe267b5","observation_id":"df4cd043-b7d1-4e97-9fa4-cf772364391f","resolution":{"observed_at":"2026-08-04T21:36:18.912976Z","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-04T21:36:19.006931Z","title":"Fuzzy Sets and Systems , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.006931Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:2e5312e68338d2a29bb26c6a015efc1004fd90df605729bf19fb8b3425e899c5","observation_id":"6b6f4365-be39-462a-9405-48eb94ede8d0","resolution":{"observed_at":"2026-08-04T21:36:19.006931Z","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-04T21:36:19.107529Z","title":"2017 , publisher=","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.107529Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:c9d6286ef73724a2ecb51c618465d59adc7dd1a77d05f369efd2d3253aba3e40","observation_id":"e78e71ac-d9ae-4803-956f-95f55f7ef656","resolution":{"observed_at":"2026-08-04T21:36:19.107529Z","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-04T21:36:19.186660Z","title":"1995 , publisher=","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.186660Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:aa37736f9b3a340afd8836163f79bfd3115d721da8694d092f5d36cd27ebee30","observation_id":"8c2745fb-0c0d-400b-8e5c-7d29b9a40773","resolution":{"observed_at":"2026-08-04T21:36:19.186660Z","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-04T21:36:19.296494Z","title":"Under Review , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.296494Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:763933fcfe82bb2f154f85000216f0156d371028be20b1e75ee06a87b79f257d","observation_id":"88ba5fd0-847c-4146-86ae-319baf31ab8d","resolution":{"observed_at":"2026-08-04T21:36:19.296494Z","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-04T21:36:19.397792Z","title":"Natural language processing and knowledge representation: Language for Knowledge and Knowledge for Language , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.397792Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:aaa6439731a7706ae5b2d3b001b6d3d56e22ff0cac571f0d050d2dc9331b5c41","observation_id":"c9e6dd46-2056-4fa0-81d9-dc8bcb70a522","resolution":{"observed_at":"2026-08-04T21:36:19.397792Z","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-04T21:36:19.516184Z","title":"Logic Programming , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.516184Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:2197ce5c072cfcf66d721a2c3cff23dab7bce1f56887ef12c5974790b5617907","observation_id":"b6c6c4b6-df31-4cc3-96ff-591b94eb6ad7","resolution":{"observed_at":"2026-08-04T21:36:19.516184Z","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-04T21:36:19.564521Z","title":"AAAI Conference on Artificial Intelligence , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.564521Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:7ac258519aae5896f725574b9b704e25d34dca475435d318d618c80db6dfbde7","observation_id":"617ea1f8-8c89-430b-9803-0a1bc53a924c","resolution":{"observed_at":"2026-08-04T21:36:19.564521Z","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-04T21:36:19.632765Z","title":"Machine learning , volume=","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.632765Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:c2e2fb0207248087f75e912f72ecef52ace6d5459d82db53421ab010fa96a26f","observation_id":"df17d792-2708-499e-aaf4-c1680ee5f0f1","resolution":{"observed_at":"2026-08-04T21:36:19.632765Z","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-04T21:36:19.746605Z","title":"The Journal of Logic Programming , volume=","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.746605Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:96b2961a5218fe93ce0ebc32271cd9841c4976b44f2118ac45e526ca31218140","observation_id":"71f41bbe-9f1b-43b9-af8c-4f0fc527ac43","resolution":{"observed_at":"2026-08-04T21:36:19.746605Z","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-04T21:36:19.897083Z","title":"Fuzzy sets and systems , volume=","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.897083Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:951883232493d7883ea782dd3bc1653a423afee09ee070d34c4dbeddcc6bf228","observation_id":"3498ab2e-7920-4bda-a8ef-2f5e7b88f007","resolution":{"observed_at":"2026-08-04T21:36:19.897083Z","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-04T21:36:19.987751Z","title":"Differentiable Inductive Logic Programming in High-Dimensional Space , doi =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:19.987751Z"},"links":{"citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:0f949887b59f76b6660871b85e6d1228f2e1d1c20a15812c164e0570f6419270","observation_id":"165155e2-7109-443e-b075-531bb2ccea56","resolution":{"observed_at":"2026-08-04T21:36:19.987751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":88,"verified_exact":7,"verified_fuzzy":0},"total_outbound_references":299},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 100 of 299 outbound references and 0 inbound Pith citation observations for arXiv:2608.01763."}