EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming | Paper Citation Record

Observation 5f7b2f9c-0964-4f2f-b23b-f6ad1cea80da · outbound

This paper cites Artificial intelligence , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Artificial intelligence , volume=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.373812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92154716-d883-4bfb-84cf-9420c617d3cb · outbound

This paper cites ACM Comput.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming ACM Comput

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.451774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bebc734e-018e-43cf-b88b-374fa94765b8 · outbound

This paper cites 2024 IEEE symposium on security and privacy (SP) , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2024 IEEE symposium on security and privacy (SP) , pages=

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.554128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ead4e30-5c81-4430-a479-343fd0e630bf · outbound

This paper cites Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware , year=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.646853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd532515-2b48-486a-a946-9de90dc97752 · outbound

This paper cites Logic- LM : Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Logic- LM : Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.744896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35a56ec2-1b6f-4e87-9586-cb3fe7265013 · outbound

This paper cites Proceedings of the 33rd ACM international conference on information and knowledge management , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the 33rd ACM international conference on information and knowledge management , pages=

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.859907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37229900-17bf-43de-a893-f3475a767324 · outbound

This paper cites , author=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming , author=

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:10.953767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c97ae4e0-b4b3-4cf3-8a98-d05154a8dabf · outbound

This paper cites The temporal logic of programs , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming The temporal logic of programs , year=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.060379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 123017f5-7615-404a-85b6-49edebe50ddf · outbound

This paper cites Formal aspects of computing , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Formal aspects of computing , volume=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.120276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3981061e-2c0f-41b5-96af-e8127b91c53d · outbound

This paper cites 2005 , issn =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2005 , issn =

Reference 10

Resolution: verified exact; doi, observed 2026-08-04T21:36:42.035184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cb22610a-4499-4d9a-aa83-0efcd20cd54b · outbound

This paper cites arXiv preprint arXiv:2505.19361 , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming arXiv preprint arXiv:2505.19361 , year=

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-08-04T21:36:46.034752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2012821a-3414-4443-ada0-f07429c79075 · outbound

This paper cites ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , volume=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.321262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f74adf6-3b78-4dcc-88d1-51fba3e38c6c · outbound

This paper cites arXiv preprint arXiv:2506.17776 , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming arXiv preprint arXiv:2506.17776 , year=

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-08-04T21:36:45.906305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e12cbc13-ab7a-44fe-9c9e-077d079acc5c · outbound

This paper cites arXiv preprint arXiv:2507.10781 , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming arXiv preprint arXiv:2507.10781 , year=

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-08-04T21:36:45.787483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d324e77d-9882-426d-ac4c-dca77420c31c · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.526026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b2e496e-2a48-427e-a3ea-f90c278dbcc4 · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.594405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bb85854-32ee-4ec1-9bfe-cc477ab82c31 · outbound

This paper cites ACM Transactions on Programming Languages and Systems (TOPLAS) , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming ACM Transactions on Programming Languages and Systems (TOPLAS) , volume=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.659381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aea37a9b-c4cb-4531-a477-5f19f8203d7d · outbound

This paper cites 2012 , publisher=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2012 , publisher=

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.716132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fa06da9-b7a7-402f-a055-3412b41b96e0 · outbound

This paper cites IEEE transactions on knowledge and data engineering , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming IEEE transactions on knowledge and data engineering , volume=

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.847587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6373027-00bd-4056-866c-09acfc473ca6 · outbound

This paper cites 2021 60th IEEE Conference on Decision and Control (CDC) , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2021 60th IEEE Conference on Decision and Control (CDC) , pages=

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:11.907709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bd7e080-68e2-469b-91a0-6687a1204806 · outbound

This paper cites Turning 30: New Ideas in Inductive Logic Programming.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Turning 30: New Ideas in Inductive Logic Programming

Reference 21

Resolution: metadata mismatch; local_arxiv, observed 2026-08-04T21:36:45.661669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e9232b15-7711-4269-ab96-5e7adec83da1 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Advances in Neural Information Processing Systems , volume=

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.042052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42393133-4022-4725-9385-77781d1edd51 · outbound

This paper cites Proceedings of the AAAI conference on artificial intelligence , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the AAAI conference on artificial intelligence , volume=

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.098930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c032e0-33ad-4989-a32e-40282296a682 · outbound

This paper cites Journal of Machine Learning Research , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Journal of Machine Learning Research , volume=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.186793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85c9d0d7-b324-4276-93ee-bbf3e46e4976 · outbound

This paper cites Advances in neural information processing systems , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Advances in neural information processing systems , volume=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.280089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6936c56b-d51c-45c3-b39c-ca3d50f91118 · outbound

This paper cites Systems & Control Letters , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Systems & Control Letters , volume=

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.351518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f93c91d-afff-4322-b79e-025841d7e481 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Advances in Neural Information Processing Systems , volume=

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.425103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb67c1f5-0344-4d8a-bc03-2bcf54b9fb13 · outbound

This paper cites On Context and the Open World Assumption , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming On Context and the Open World Assumption , year=

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.534328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f064967-8354-414c-8b6b-859faa245bbd · outbound

This paper cites AMIA annual symposium proceedings , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming AMIA annual symposium proceedings , volume=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.635205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3561e7df-3490-4165-9b01-b2995c28e1d6 · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.703876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03f38c6f-2680-41b0-bc9b-038633cbfe54 · outbound

This paper cites Temporal Equilibrium Logic: A First Approach.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Temporal Equilibrium Logic: A First Approach

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.801536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca0ece0a-6ad6-4649-9497-1a1ca6ff1cae · outbound

This paper cites On the Complexity of Temporal Equilibrium Logic , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming On the Complexity of Temporal Equilibrium Logic , year=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.899710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b977165-283d-4b52-a382-cefead2bf4a9 · outbound

This paper cites Ai Magazine , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Ai Magazine , volume=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:12.968546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70e567b6-8421-495d-b928-d4f9746f721b · outbound

This paper cites , title =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming , title =

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-08-04T21:36:45.543683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 91d07e89-215a-471a-aad6-5bc64831ae55 · outbound

This paper cites Communications of the ACM , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Communications of the ACM , volume=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.154745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45e2bcc8-2b7c-4d5e-a03f-f5c7d6907cd2 · outbound

This paper cites Annals of Mathematics and Artificial Intelligence , month = jun, pages =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Annals of Mathematics and Artificial Intelligence , month = jun, pages =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.265477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06937d13-98c6-481f-8546-c58c907be29d · outbound

This paper cites and Kasneci, Gjergji and Weikum, Gerhard , title =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming and Kasneci, Gjergji and Weikum, Gerhard , title =

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.327598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd351f93-b14a-418b-844b-dd309e051bc0 · outbound

This paper cites International Conference on Knowledge Engineering and Ontology Development , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming International Conference on Knowledge Engineering and Ontology Development , volume=

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.389760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78c5e812-8957-462e-80ee-e8fee0ebe671 · outbound

This paper cites Answer set programming at a glance , year =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Answer set programming at a glance , year =

Reference 39

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T21:36:45.425596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3ee0178c-9d49-43c3-a544-9f07b1ce2b3c · outbound

This paper cites The logic programming paradigm: A 25-year perspective , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming The logic programming paradigm: A 25-year perspective , pages=

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.587619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d281132c-09b0-4cd5-abcc-c3ba3e715cfa · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.664832Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f48ac418-ef20-495d-8b36-feb0cddb5a77 · outbound

This paper cites Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm , volume =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm , volume =

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.754294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3b7f84b-7cf7-4ee8-8483-0b457edbfff3 · outbound

This paper cites Translating Embeddings for Modeling Multi-relational Data , url =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Translating Embeddings for Modeling Multi-relational Data , url =

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.837254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef12ab9e-f37f-484a-8557-0870e312d757 · outbound

This paper cites Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE : Design of a System with Support for Existential Quantification Using Skolemization.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE : Design of a System with Support for Existential Quantification Using Skolemization

Reference 44

Resolution: verified exact; doi, observed 2026-08-04T21:36:41.778945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9a293add-d8e9-44b4-8506-666c1c3376fc · outbound

This paper cites Computing Meaning: Volume 1 , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Computing Meaning: Volume 1 , pages=

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:13.999580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb5c2fe4-abb2-464d-8f01-cb9894e02290 · outbound

This paper cites SIAM Review , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming SIAM Review , volume=

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.083038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20b97644-8bcb-4dd4-a077-dd3e215a010b · outbound

This paper cites New York , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming New York , pages=

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.165309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e77f2216-3a16-43e8-8e45-f95bfcb37d78 · outbound

This paper cites 2012 , isbn =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2012 , isbn =

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.246555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30c8bd68-e66f-47f5-b379-c4dde7c55068 · outbound

This paper cites Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , pages=

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.356965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0b6a641-5c4d-4b85-bf84-3bed3330a854 · outbound

This paper cites and Subrahmanian, V.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming and Subrahmanian, V

Reference 50

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T21:36:45.271781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2e37023f-5d8d-4427-b74f-a0aef1b9fc9a · outbound

This paper cites and Subrahmanian, Venkatramana V.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming and Subrahmanian, Venkatramana V

Reference 51

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T21:36:45.098718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 76e5d817-68a6-4292-9a53-af67042e30b9 · outbound

This paper cites Quo Vadis, Action Recognition? A New Model and the Kinetics Dataset.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Quo Vadis, Action Recognition? A New Model and the Kinetics Dataset

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.606157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8624a5a1-50a2-4e51-95a4-d49da1fe3a7e · outbound

This paper cites ImageNet Classification with Deep Convolutional Neural Networks , url =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming ImageNet Classification with Deep Convolutional Neural Networks , url =

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.714161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fa5213d-3b05-41ce-a29f-d8ad08e7e9b7 · outbound

This paper cites MAGNN: Metapath Aggregated Graph Neural Network for Heterogeneous Graph Embedding.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming MAGNN: Metapath Aggregated Graph Neural Network for Heterogeneous Graph Embedding

Reference 54

Resolution: verified exact; local_arxiv, observed 2026-08-04T21:36:44.992582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1eb970cc-36d5-4e1d-ab57-de7e22907456 · outbound

This paper cites 2022 , eprint=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2022 , eprint=

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.881842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c45e3ac9-21ac-4bb8-84e3-ac16da456576 · outbound

This paper cites A Novel Framework for Constructing Multimodal Knowledge Graph from MuSe-CaR Video Reviews , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming A Novel Framework for Constructing Multimodal Knowledge Graph from MuSe-CaR Video Reviews , year=

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:14.971516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55418863-f9c6-4c4f-8f23-a849377bedfa · outbound

This paper cites XR4DRAMA Knowledge Graph: A Knowledge Graph for Disaster Management , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming XR4DRAMA Knowledge Graph: A Knowledge Graph for Disaster Management , year=

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.047239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19eb58c5-dbc0-44e5-8a32-45110ed002ae · outbound

This paper cites Ontology Modeling for Probabilistic Knowledge Graphs , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Ontology Modeling for Probabilistic Knowledge Graphs , year=

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.130413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dc47893-f4fe-4261-a38b-3391fe84698d · outbound

This paper cites DocSemMap: Leveraging Textual Data Documentations for Mapping Structured Data Sets into Knowledge Graphs , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming DocSemMap: Leveraging Textual Data Documentations for Mapping Structured Data Sets into Knowledge Graphs , year=

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.213923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5afb13c2-eaf8-4d2d-9882-e67dd9fe7621 · outbound

This paper cites Subrahmanian , title =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Subrahmanian , title =

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.296275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 633a687e-fecd-4605-a51c-e3eb4f0c8d09 · outbound

This paper cites Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

Reference 61

Resolution: metadata mismatch; local_arxiv, observed 2026-08-04T21:36:44.893999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bb921b60-8587-4df8-a10a-236f5ba8dce5 · outbound

This paper cites StarCraft II: A New Challenge for Reinforcement Learning.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming StarCraft II: A New Challenge for Reinforcement Learning

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.462731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3bf383-f2f4-43c2-a314-d2b891c9f04c · outbound

This paper cites Proceedings of the international conference on scientific computing (CSC) , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the international conference on scientific computing (CSC) , pages=

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.572141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ca791b-47bf-481e-aa08-aebb68338dbe · outbound

This paper cites Proceedings of the AAAI conference on artificial intelligence , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the AAAI conference on artificial intelligence , volume=

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.656902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd8515d0-a5cc-4fe3-9e71-b3c4514979d4 · outbound

This paper cites Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems , pages=

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.717566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e76b4410-693c-4553-921b-272bf4ed43b2 · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the AAAI Conference on Artificial Intelligence , volume=

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.796795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1370881-ae65-46b7-8112-bfb7f8f61edc · outbound

This paper cites AAAI Spring Symposium: MAKE , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming AAAI Spring Symposium: MAKE , year=

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.879416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aae0046-e0c7-4939-9c51-e0f426e6d68d · outbound

This paper cites hostile decision dynamics in MDO , author=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming hostile decision dynamics in MDO , author=

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:15.982854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86c93cbf-1488-45eb-afd5-aed76d6a20d6 · outbound

This paper cites nature , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming nature , volume=

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.029560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b624dec1-2d40-4e1b-b37c-24844d9054bd · outbound

This paper cites Alegre , title =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Alegre , title =

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.095855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b6d76ae-0c39-4b89-a195-a655a6bb3190 · outbound

This paper cites 2019 , Eprint =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2019 , Eprint =

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.099220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a0de04b-cf77-4da2-b511-dfac7aaf53c7 · outbound

This paper cites Benchmarking Batch Deep Reinforcement Learning Algorithms.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Benchmarking Batch Deep Reinforcement Learning Algorithms

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.177038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d77aa8f-624a-4d4d-8d98-d0acb2eb6641 · outbound

This paper cites Workshop on Language and Robotics at CoRL 2022 , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Workshop on Language and Robotics at CoRL 2022 , year=

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.308133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ead37c5-a987-4f62-b357-35c87b6135a6 · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.466694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1743d8ef-9793-4482-829b-11d07ec17f60 · outbound

This paper cites Physica D: Nonlinear Phenomena , author =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Physica D: Nonlinear Phenomena , author =

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.567103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a8deb33-55e9-4d8a-87cc-89e3b876a771 · outbound

This paper cites Conference on Empirical Methods in Natural Language Processing , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Conference on Empirical Methods in Natural Language Processing , pages=

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.763018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e0222be-fb89-4f04-9438-8fc48c42734f · outbound

This paper cites 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , pages=

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:16.930679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2bd9fa6-3a82-41c1-908d-58537d5fe5b0 · outbound

This paper cites , author=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming , author=

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.103748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 266ad655-e126-47fa-891e-9e6a6bbd252d · outbound

This paper cites Machine learning , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Machine learning , volume=

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.274392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b84cdabc-e033-4df3-9874-c66070f14707 · outbound

This paper cites Journal of Operations Management , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Journal of Operations Management , volume=

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.456225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74519781-1716-40a7-b8e5-d319b55ba43e · outbound

This paper cites Enterprise Design, Operations, and Computing: 26th International Conference , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Enterprise Design, Operations, and Computing: 26th International Conference , pages=

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.631344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9644abf-9ea0-408b-be6d-540001d9540a · outbound

This paper cites Advances in Neural Information Processing Systems , publisher =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Advances in Neural Information Processing Systems , publisher =

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.789399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1adffef4-5507-41f0-acce-a5abadfdcdaa · outbound

This paper cites Journal of Supply Chain Management , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Journal of Supply Chain Management , volume=

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:17.944120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20585e41-3805-4e78-abec-f3698e603290 · outbound

This paper cites 2008 , institution=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2008 , institution=

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.133762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c253e46-3ce6-4376-8bb5-42869aebdabb · outbound

This paper cites an unresolved cited work.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.280997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18b5097f-91b7-40c1-846b-93b469f7cdc8 · outbound

This paper cites Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC , pages=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC , pages=

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.433475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a1a8cb4-9f38-4214-9e6a-b369bef682dc · outbound

This paper cites International scientific conference and international workshop present day trends of innovations , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming International scientific conference and international workshop present day trends of innovations , year=

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.641570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a89a31ff-dfd8-43b7-b81d-e10970697519 · outbound

This paper cites Journal of Mathematical Analysis and Applications , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Journal of Mathematical Analysis and Applications , volume=

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.787749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df4cd043-b7d1-4e97-9fa4-cf772364391f · outbound

This paper cites 1990 , publisher=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 1990 , publisher=

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:18.912976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b6f4365-be39-462a-9405-48eb94ede8d0 · outbound

This paper cites Fuzzy Sets and Systems , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Fuzzy Sets and Systems , year=

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.006931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e78e71ac-d9ae-4803-956f-95f55f7ef656 · outbound

This paper cites 2017 , publisher=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 2017 , publisher=

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.107529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c2745fb-0c0d-400b-8e5c-7d29b9a40773 · outbound

This paper cites 1995 , publisher=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming 1995 , publisher=

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.186660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88ba5fd0-847c-4146-86ae-319baf31ab8d · outbound

This paper cites Under Review , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Under Review , volume=

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.296494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9e6dd46-2056-4fa0-81d9-dc8bcb70a522 · outbound

This paper cites Natural language processing and knowledge representation: Language for Knowledge and Knowledge for Language , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Natural language processing and knowledge representation: Language for Knowledge and Knowledge for Language , year=

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.397792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6c6c4b6-df31-4cc3-96ff-591b94eb6ad7 · outbound

This paper cites Logic Programming , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Logic Programming , volume=

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.516184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 617ea1f8-8c89-430b-9803-0a1bc53a924c · outbound

This paper cites AAAI Conference on Artificial Intelligence , year=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming AAAI Conference on Artificial Intelligence , year=

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.564521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df17d792-2708-499e-aaf4-c1680ee5f0f1 · outbound

This paper cites Machine learning , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Machine learning , volume=

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.632765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71f41bbe-9f1b-43b9-af8c-4f0fc527ac43 · outbound

This paper cites The Journal of Logic Programming , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming The Journal of Logic Programming , volume=

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.746605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3498ab2e-7920-4bda-a8ef-2f5e7b88f007 · outbound

This paper cites Fuzzy sets and systems , volume=.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Fuzzy sets and systems , volume=

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.897083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 165155e2-7109-443e-b075-531bb2ccea56 · outbound

This paper cites Differentiable Inductive Logic Programming in High-Dimensional Space , doi =.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Differentiable Inductive Logic Programming in High-Dimensional Space , doi =

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-04T21:36:19.987751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers