Distilling Answer Set Programming Theories from Large Language Models | Paper Citation Record

Observation b9413df2-ff3d-481d-998c-d9ae4255855d · outbound

This paper cites The Stable Model Semantics for Logic Programming , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models The Stable Model Semantics for Logic Programming , booktitle =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.737473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a1f15ee-38c4-4030-b5b5-cbc25bf6abfa · outbound

This paper cites Theory Pract.

Distilling Answer Set Programming Theories from Large Language Models Theory Pract

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.742473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb3bfb25-1798-4dac-82cb-b70dee812be0 · outbound

This paper cites Lawrence Zitnick and Devi Parikh , title =.

Distilling Answer Set Programming Theories from Large Language Models Lawrence Zitnick and Devi Parikh , title =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.745888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f085244e-629a-4eac-b7e3-a824585bf421 · outbound

This paper cites Making the.

Distilling Answer Set Programming Theories from Large Language Models Making the

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.749301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce046b1b-3256-473d-8b34-538f25b5b0e6 · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.752790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e5e7346-e357-437b-b32b-8b974e095086 · outbound

This paper cites Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations , journal =.

Distilling Answer Set Programming Theories from Large Language Models Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations , journal =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.756030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a81e886-d175-47ff-a15c-89320a25cb4b · outbound

This paper cites Hudson and Christopher D.

Distilling Answer Set Programming Theories from Large Language Models Hudson and Christopher D

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.759144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b8eadb9-76b6-4deb-82fd-602e0d909d01 · outbound

This paper cites Tenenbaum , title =.

Distilling Answer Set Programming Theories from Large Language Models Tenenbaum , title =

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.762486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63c984cb-de53-4191-8df0-3dca61ba4b34 · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.765586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efcb6c3c-e973-4542-8c2f-24709d40d823 · outbound

This paper cites Inferring and Executing Programs for Visual Reasoning , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models Inferring and Executing Programs for Visual Reasoning , booktitle =

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.769034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ef89d37-2d9c-4e71-8189-559ca08e637f · outbound

This paper cites Hudson and Christopher D.

Distilling Answer Set Programming Theories from Large Language Models Hudson and Christopher D

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.772332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 280f5e6a-d9fa-446b-9ba0-680310064ae3 · outbound

This paper cites Neural-Symbolic.

Distilling Answer Set Programming Theories from Large Language Models Neural-Symbolic

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.775279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c216d71b-b539-423a-9fe8-c58e1cd899af · outbound

This paper cites Tenenbaum and Jiajun Wu , title =.

Distilling Answer Set Programming Theories from Large Language Models Tenenbaum and Jiajun Wu , title =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.778181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85e7b69a-bbdb-4649-a315-8f123d75b1d9 · outbound

This paper cites DeepProbLog: Neural Probabilistic Logic Programming , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models DeepProbLog: Neural Probabilistic Logic Programming , booktitle =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.781142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68e75fea-b913-4783-a5a7-33f6481c6894 · outbound

This paper cites d'Avila Garcez , editor =.

Distilling Answer Set Programming Theories from Large Language Models d'Avila Garcez , editor =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.784388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e824d48-06ef-471e-9412-f6eefc160741 · outbound

This paper cites Neurosymbolic.

Distilling Answer Set Programming Theories from Large Language Models Neurosymbolic

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.787272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bbd0bb5-3795-4402-b29e-c861f7aeba67 · outbound

This paper cites Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text , booktitle =

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.790175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2472e784-e351-479f-a1c3-a74d3819d1d2 · outbound

This paper cites Leveraging Large Language Models to Generate Answer Set Programs , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models Leveraging Large Language Models to Generate Answer Set Programs , booktitle =

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.793170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa7d65f7-0427-4e0c-8b19-575777254f13 · outbound

This paper cites Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR) , pages =.

Distilling Answer Set Programming Theories from Large Language Models Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR) , pages =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.796039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 461c53e8-6c1e-4a6d-aa09-f8c121c0c58e · outbound

This paper cites Trinh and Yuhuai Wu and Quoc V.

Distilling Answer Set Programming Theories from Large Language Models Trinh and Yuhuai Wu and Quoc V

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.799245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfcfac2c-1c29-421d-add7-d3ec4631646f · outbound

This paper cites Theory and Practice of Logic Programming , year =.

Distilling Answer Set Programming Theories from Large Language Models Theory and Practice of Logic Programming , year =

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.802635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7065355c-d973-4bc6-aa6f-2f35e75c2136 · outbound

This paper cites Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence,.

Distilling Answer Set Programming Theories from Large Language Models Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.805724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcd1a3e6-de13-478c-8f27-f380328fa686 · outbound

This paper cites Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (.

Distilling Answer Set Programming Theories from Large Language Models Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.808754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1217599-9c35-4caf-b9dc-0c7855068e04 · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.811640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5179c65f-dff5-442a-9165-c07e123175e9 · outbound

This paper cites Jimenez and John Yang and Alexander Wettig and Shunyu Yao and Kexin Pei and Ofir Press and Karthik R.

Distilling Answer Set Programming Theories from Large Language Models Jimenez and John Yang and Alexander Wettig and Shunyu Yao and Kexin Pei and Ofir Press and Karthik R

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.818553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bc32e7f-6b82-4b4f-8d93-5308190d0524 · outbound

This paper cites Jimenez and Alexander Wettig and Kilian Lieret and Shunyu Yao and Karthik Narasimhan and Ofir Press , editor =.

Distilling Answer Set Programming Theories from Large Language Models Jimenez and Alexander Wettig and Kilian Lieret and Shunyu Yao and Karthik Narasimhan and Ofir Press , editor =

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.821532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e435e96-6f92-4ccf-98b7-cdf0384f72dc · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Distilling Answer Set Programming Theories from Large Language Models AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.824956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65a1515b-f5de-4bf2-abfb-eb0ea619ec18 · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.828263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 686cc2f1-6372-4cb8-913e-6664cf89a776 · outbound

This paper cites Chi and Quoc V.

Distilling Answer Set Programming Theories from Large Language Models Chi and Quoc V

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.831121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7878477-849e-4e26-90bd-8ed6d6efab7c · outbound

This paper cites Large Language Models are Zero-Shot Reasoners , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models Large Language Models are Zero-Shot Reasoners , booktitle =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.833976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 271812d3-17dd-4bd2-95e0-07f34108729f · outbound

This paper cites Le and Ed H.

Distilling Answer Set Programming Theories from Large Language Models Le and Ed H

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.836919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22a1c0a4-236d-49be-bd05-daf2e254a1e0 · outbound

This paper cites Tree of Thoughts: Deliberate Problem Solving with Large Language Models , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models Tree of Thoughts: Deliberate Problem Solving with Large Language Models , booktitle =

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.839704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ffca07d-eb81-419a-88eb-775bc0cf7822 · outbound

This paper cites International Conference on Machine Learning,.

Distilling Answer Set Programming Theories from Large Language Models International Conference on Machine Learning,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.842787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a3b1ad1-3ee2-43a0-9ccf-ce400dfccde7 · outbound

This paper cites Cohen , title =.

Distilling Answer Set Programming Theories from Large Language Models Cohen , title =

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.845678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4211f62e-167e-4b41-8b23-bd8c8683194f · outbound

This paper cites A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving , booktitle =.

Distilling Answer Set Programming Theories from Large Language Models A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving , booktitle =

Reference 38

Resolution: verified exact; doi, observed 2026-07-31T18:16:21.467516Z

Source-reported events for the cited work

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

Observation 5e767ebc-5c39-4b63-a44f-e6bc15fec3b4 · outbound

This paper cites Theory and Practice of Logic Programming , year =.

Distilling Answer Set Programming Theories from Large Language Models Theory and Practice of Logic Programming , year =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.857395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 592d6698-82a2-4b6b-a88b-795d15c53ecb · outbound

This paper cites Neural module networks.

Distilling Answer Set Programming Theories from Large Language Models Neural module networks

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.860299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18d3af65-938b-4fe2-90be-9db47819af98 · outbound

This paper cites The Claude 4 model family: Sonnet, opus, and haiku.

Distilling Answer Set Programming Theories from Large Language Models The Claude 4 model family: Sonnet, opus, and haiku

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.863340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b3ae6ed-7097-4225-b539-c1a67d97c9ce · outbound

This paper cites Lawrence Zitnick, and Devi Parikh.

Distilling Answer Set Programming Theories from Large Language Models Lawrence Zitnick, and Devi Parikh

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.866408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5574ff9d-5942-48ff-9daf-3e95848f9c1f · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.869414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ebe1691-6ecb-49de-8b18-e91dc44a6c87 · outbound

This paper cites Fine-tuning llms for answer set programming.

Distilling Answer Set Programming Theories from Large Language Models Fine-tuning llms for answer set programming

Reference 44

Resolution: verified exact; doi, observed 2026-07-31T18:16:21.643400Z

Source-reported events for the cited work

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

Observation 4514eb5b-cb92-466a-800e-cf9c09a38e2d · outbound

This paper cites an unresolved cited work.

Distilling Answer Set Programming Theories from Large Language Models Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.875269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b6fa11b-4ca3-4a06-8bb1-7f4778339a76 · outbound

This paper cites DeepSeek-V4 technical report.

Distilling Answer Set Programming Theories from Large Language Models DeepSeek-V4 technical report

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.878327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a57f8da-fb47-45f2-927b-87f495ce2b23 · outbound

This paper cites d'Avila Garcez.

Distilling Answer Set Programming Theories from Large Language Models d'Avila Garcez

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.881089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 564c675f-da0a-43fd-b74d-2107bc0206e3 · outbound

This paper cites A neuro-symbolic ASP pipeline for visual question answering.

Distilling Answer Set Programming Theories from Large Language Models A neuro-symbolic ASP pipeline for visual question answering

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.884063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3f0c5b7-d1ae-45e2-9a26-e61f62304b26 · outbound

This paper cites A logic-based approach to contrastive explainability for neurosymbolic visual question answering.

Distilling Answer Set Programming Theories from Large Language Models A logic-based approach to contrastive explainability for neurosymbolic visual question answering

Reference 49

Resolution: verified exact; doi, observed 2026-07-31T18:16:21.191946Z

Source-reported events for the cited work

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

Observation 60f55313-fc1b-4a2d-919f-f9c00e5e472d · outbound

This paper cites A modular neurosymbolic approach for visual graph question answering.

Distilling Answer Set Programming Theories from Large Language Models A modular neurosymbolic approach for visual graph question answering

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.890907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e930e04-0aff-4f13-b1f1-af8802ab8b0c · outbound

This paper cites Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets.

Distilling Answer Set Programming Theories from Large Language Models Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.894010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdd73b70-0c42-4d6d-9dda-fe7379e43ad7 · outbound

This paper cites PAL: program-aided language models.

Distilling Answer Set Programming Theories from Large Language Models PAL: program-aided language models

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.897554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1867cbed-6aff-4fb7-8c66-15fe3427d76e · outbound

This paper cites Multi-shot ASP solving with clingo.

Distilling Answer Set Programming Theories from Large Language Models Multi-shot ASP solving with clingo

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.900888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e53a734-aa78-48c7-8376-821fc880cc05 · outbound

This paper cites The stable model semantics for logic programming.

Distilling Answer Set Programming Theories from Large Language Models The stable model semantics for logic programming

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.903846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 674d5784-0b77-400c-9988-d59c3fdd3d54 · outbound

This paper cites Making the V in VQA matter: Elevating the role of image understanding in visual question answering.

Distilling Answer Set Programming Theories from Large Language Models Making the V in VQA matter: Elevating the role of image understanding in visual question answering

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.907042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0243d50b-27d2-4425-86e9-cd190e8484bd · outbound

This paper cites Distilling the Knowledge in a Neural Network.

Distilling Answer Set Programming Theories from Large Language Models Distilling the Knowledge in a Neural Network

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.910025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e609cfc4-8a63-4ca8-a912-27ed0ae6bb14 · outbound

This paper cites Hudson and Christopher D.

Distilling Answer Set Programming Theories from Large Language Models Hudson and Christopher D

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.913077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 021d58be-1c4a-4d87-9020-46156612f6ec · outbound

This paper cites Hudson and Christopher D.

Distilling Answer Set Programming Theories from Large Language Models Hudson and Christopher D

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.916086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 587b5fc1-b4c3-4396-a9e2-03b1381f74e4 · outbound

This paper cites Leveraging large language models to generate answer set programs.

Distilling Answer Set Programming Theories from Large Language Models Leveraging large language models to generate answer set programs

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.918928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b67ad2c4-435b-4db3-9df5-b16fd55ed8e2 · outbound

This paper cites Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R.

Distilling Answer Set Programming Theories from Large Language Models Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.921944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f66dc88-7b88-47d1-a27c-180a8e80d9c6 · outbound

This paper cites Lawrence Zitnick, and Ross B.

Distilling Answer Set Programming Theories from Large Language Models Lawrence Zitnick, and Ross B

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.924874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0b9fc6b-9224-461f-b067-e1895d5497bf · outbound

This paper cites Lawrence Zitnick, and Ross B.

Distilling Answer Set Programming Theories from Large Language Models Lawrence Zitnick, and Ross B

Reference 62

Resolution: verified exact; doi, observed 2026-07-31T18:16:20.996993Z

Source-reported events for the cited work

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

Observation 81cc32d6-bef6-451b-adfb-bb622abf7603 · outbound

This paper cites Large language models are zero-shot reasoners.

Distilling Answer Set Programming Theories from Large Language Models Large language models are zero-shot reasoners

Reference 63

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.930699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77de2dec-2d13-47da-b93c-d8f0eae60937 · outbound

This paper cites Shamma, Michael S.

Distilling Answer Set Programming Theories from Large Language Models Shamma, Michael S

Reference 64

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.933767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e328296-ec6f-43a2-9550-e7c9bbf21da6 · outbound

This paper cites Deepproblog: Neural probabilistic logic programming.

Distilling Answer Set Programming Theories from Large Language Models Deepproblog: Neural probabilistic logic programming

Reference 65

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.936714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 180ebbec-1840-46d4-9ad0-9ecaa085f120 · outbound

This paper cites Tenenbaum, and Jiajun Wu.

Distilling Answer Set Programming Theories from Large Language Models Tenenbaum, and Jiajun Wu

Reference 66

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.940390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a21850-db13-49dd-8e96-a6f70075dca1 · outbound

This paper cites GPT-5 system card.

Distilling Answer Set Programming Theories from Large Language Models GPT-5 system card

Reference 67

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.943358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77a9b12c-eff1-4ed8-8ad9-25629c3b4ba6 · outbound

This paper cites Can llms solve ASP problems? insights from a benchmarking study.

Distilling Answer Set Programming Theories from Large Language Models Can llms solve ASP problems? insights from a benchmarking study

Reference 68

Resolution: verified exact; doi, observed 2026-07-31T18:16:21.883770Z

Source-reported events for the cited work

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

Observation 1e3252a2-a2c5-4d65-a7df-5afc6be37117 · outbound

This paper cites Question answering with LLMs and learning from answer sets.

Distilling Answer Set Programming Theories from Large Language Models Question answering with LLMs and learning from answer sets

Reference 69

Resolution: verified exact; doi, observed 2026-07-31T18:16:20.763812Z

Source-reported events for the cited work

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

Observation 728e535b-9a20-4b3b-8b60-3c276ab8e9e8 · outbound

This paper cites A solver-in-the-loop framework for improving llms on answer set programming for logic puzzle solving.

Distilling Answer Set Programming Theories from Large Language Models A solver-in-the-loop framework for improving llms on answer set programming for logic puzzle solving

Reference 70

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.952241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c6e2e89-fbca-4b7d-8323-baa2c8021699 · outbound

This paper cites Trinh, Yuhuai Wu, Quoc V.

Distilling Answer Set Programming Theories from Large Language Models Trinh, Yuhuai Wu, Quoc V

Reference 71

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.955205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50e6b725-25a6-4ae1-9526-341d9cf937b9 · outbound

This paper cites Voyager: An open-ended embodied agent with large language models.

Distilling Answer Set Programming Theories from Large Language Models Voyager: An open-ended embodied agent with large language models

Reference 72

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.958926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bfb9efd-7bfe-48cc-b3b6-f47678dd3365 · outbound

This paper cites Le, Ed H.

Distilling Answer Set Programming Theories from Large Language Models Le, Ed H

Reference 73

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.961892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c536147-ced6-493e-ba02-9c8cee43ab2d · outbound

This paper cites Chi, Quoc V.

Distilling Answer Set Programming Theories from Large Language Models Chi, Quoc V

Reference 74

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.965345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 500b9811-5503-4419-91fc-d8de620a5c3b · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Distilling Answer Set Programming Theories from Large Language Models AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 75

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.968620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e2514bf-a5e2-42d9-b7e5-edc129ddba6b · outbound

This paper cites Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press.

Distilling Answer Set Programming Theories from Large Language Models Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press

Reference 76

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.972107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72023f50-6aa6-4bcf-b3d7-c4a03e5ef508 · outbound

This paper cites Coupling large language models with logic programming for robust and general reasoning from text.

Distilling Answer Set Programming Theories from Large Language Models Coupling large language models with logic programming for robust and general reasoning from text

Reference 77

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.975373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afea1234-52dd-4126-99c8-60e7f53f5152 · outbound

This paper cites Learning to solve constraint satisfaction problems with large language models and answer set programming.

Distilling Answer Set Programming Theories from Large Language Models Learning to solve constraint satisfaction problems with large language models and answer set programming

Reference 78

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.979033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31bc2116-e327-424e-bfca-c238b7a07e74 · outbound

This paper cites Tree of thoughts: Deliberate problem solving with large language models.

Distilling Answer Set Programming Theories from Large Language Models Tree of thoughts: Deliberate problem solving with large language models

Reference 79

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.981929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88b76e1c-4898-49ec-b5f2-e46f3302a53d · outbound

This paper cites Neural-symbolic VQA: disentangling reasoning from vision and language understanding.

Distilling Answer Set Programming Theories from Large Language Models Neural-symbolic VQA: disentangling reasoning from vision and language understanding

Reference 80

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.984816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 657e1aad-ba13-4837-a309-8e367a2445e3 · outbound

This paper cites Tenenbaum.

Distilling Answer Set Programming Theories from Large Language Models Tenenbaum

Reference 81

Resolution: unresolved; no resolver link, observed 2026-07-31T18:15:10.987827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers