Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T21:46:30.138696Z
Paper Citation Record · LEDGER
Do LLMs Dream of Discrete Algorithms?
As of 19 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2506.23408.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
75 of 75 outbound references displayed
- verified exact1
- verified fuzzy52
- unresolved19
- parse uncertain2
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 560555cc-1de9-46d2-99df-0e44d94d859e · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:39.184042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c7a2c4e1-c161-4052-965f-4b55dda08162 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:39.049070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c98b23de-47f3-485d-a960-e8623c5aea84 · outbound
This paper cites 4 Current LLM architectures, while powerful in generating plausible text, often lack the explicit structure needed for rigorous logical reasoning and reliable problem decomposition.
Do LLMs Dream of Discrete Algorithms? 4 Current LLM architectures, while powerful in generating plausible text, often lack the explicit structure needed for rigorous logical reasoning and reliable problem decomposition
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:38.932597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 04c69ab7-e87c-44d5-8515-58fdefab96d6 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:38.771796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 630b451b-90a7-4450-95eb-aa323d704d00 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:38.620305Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e025331b-3dbd-4757-9784-32e1138f1d50 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:38.522369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3f69f9f2-610f-445b-85a2-2de1037ae70a · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:38.380020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation adf9d6c5-1b15-4727-b7c9-52d3bc8d5bc4 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:38.215234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4706e16e-5744-4275-8906-f8a4114e7d11 · outbound
This paper cites The reader can easily see that the first question requires just a simple yes/no answer.
Do LLMs Dream of Discrete Algorithms? The reader can easily see that the first question requires just a simple yes/no answer
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:38.104815Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fe075a39-396f-4a54-a1c8-b79e37c04a8d · outbound
This paper cites To answer the first question, we will refer the user to [20].
Do LLMs Dream of Discrete Algorithms? To answer the first question, we will refer the user to [20]
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:38.000756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a2ef1cce-0d34-4b5f-9af9-0fed9fcf61c4 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:37.840048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 559e4f2d-a1c9-4155-8017-c4c2885e5695 · outbound
This paper cites explanation.
Do LLMs Dream of Discrete Algorithms? explanation
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:37.701641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6f659d2d-c220-4bdf-b8d8-fee3453f69d3 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:37.543992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d0a741c1-33a8-4aad-a3c6-303bb53256dd · outbound
This paper cites As advantage, it connects directly to Python infrastruc- ture.
Do LLMs Dream of Discrete Algorithms? As advantage, it connects directly to Python infrastruc- ture
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:37.379589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d796cf59-8f4a-4c5f-9dcc-78a4394fa0d7 · outbound
This paper cites As advantage, this allows one to have better control over hallucination and security, and even use smaller or sim- pler models to generate the code.
Do LLMs Dream of Discrete Algorithms? As advantage, this allows one to have better control over hallucination and security, and even use smaller or sim- pler models to generate the code
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:37.276719Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 552f1365-3cf9-44b3-a828-aa357f531098 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:37.167794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4f68625e-a06e-4d7b-a480-d62c0dd3ed81 · outbound
This paper cites The ai scientist: Towards fully automated open-ended scien- tific discovery.
Do LLMs Dream of Discrete Algorithms? The ai scientist: Towards fully automated open-ended scien- tific discovery
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.994911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fd340205-4e63-4245-b1f9-6997c095eaa7 · outbound
This paper cites Ai agents are disrupting automation: Current approaches, market solutions and rec- ommendations, 2024.
Do LLMs Dream of Discrete Algorithms? Ai agents are disrupting automation: Current approaches, market solutions and rec- ommendations, 2024
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.902580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eb69044a-a5b0-408d-9df1-f32d4b47544c · outbound
This paper cites Piantadosi.
Do LLMs Dream of Discrete Algorithms? Piantadosi
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.764355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 80e4f785-fddd-45ed-8c21-ab4bad526341 · outbound
This paper cites Enhancing llm reasoning through prolog: A breakthrough in symbolic logic processing, March 2025.
Do LLMs Dream of Discrete Algorithms? Enhancing llm reasoning through prolog: A breakthrough in symbolic logic processing, March 2025
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.618046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4b264e90-8883-4e2a-b376-7c0bb9b417c7 · outbound
This paper cites Clocksin.
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.486119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e85a60a9-9f36-4ba7-8e50-016e364f0818 · outbound
This paper cites Crewai: Orchestrate autonomous ai agents as a crew.
Do LLMs Dream of Discrete Algorithms? Crewai: Orchestrate autonomous ai agents as a crew
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.382946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4dffa0e9-ec97-4242-8348-d8ed2b3f85bd · outbound
This paper cites Experimenting with planning and reasoning in ad 33 hoc teamwork environments with large language models.
Do LLMs Dream of Discrete Algorithms? Experimenting with planning and reasoning in ad 33 hoc teamwork environments with large language models
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.226091Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4f91e6ef-ae93-4d85-a323-b448818f5274 · outbound
This paper cites Se- cure by design alert: Eliminating os command injection vul- nerabilities.
Do LLMs Dream of Discrete Algorithms? Se- cure by design alert: Eliminating os command injection vul- nerabilities
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:36.069638Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a70d1199-4de4-4fcf-a841-2d169beb8c61 · outbound
This paper cites Data visualization reference guides, 2025.
Do LLMs Dream of Discrete Algorithms? Data visualization reference guides, 2025
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:34.183112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c055ab93-050f-4ca0-bf5f-b5490844d198 · outbound
This paper cites Z3: an efficient smt solver,.
Do LLMs Dream of Discrete Algorithms? Z3: an efficient smt solver,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.949231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation aeef31e0-a69d-43ec-a8b3-cf3fb5bb46c5 · outbound
This paper cites Pierrehumbert.
Do LLMs Dream of Discrete Algorithms? Pierrehumbert
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.750107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 75d583f8-2ed5-4b74-a6ce-741d845627f8 · outbound
This paper cites The Lean Language Ref- erence Manual.
Do LLMs Dream of Discrete Algorithms? The Lean Language Ref- erence Manual
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.704879Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1206aa1b-1ded-446c-a0ef-b0571c744442 · outbound
This paper cites Reasoning and planning with large language models in code development.
Do LLMs Dream of Discrete Algorithms? Reasoning and planning with large language models in code development
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.572824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5899d31b-fb5d-4746-a182-7155855e20a6 · outbound
This paper cites Smolagents: Agents that think in code.
Do LLMs Dream of Discrete Algorithms? Smolagents: Agents that think in code
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.456496Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dca39576-6eef-4393-ac30-3fe8b342d0eb · outbound
This paper cites A survey on rag meeting llms: Towards retrieval-augmented large language models, 2024.
Do LLMs Dream of Discrete Algorithms? A survey on rag meeting llms: Towards retrieval-augmented large language models, 2024
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.387211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7c598b43-5310-4724-bd55-50f126a2a1b9 · outbound
This paper cites D’Avila Garcez, Luis C.
Do LLMs Dream of Discrete Algorithms? D’Avila Garcez, Luis C
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.247403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9440762e-e690-4e95-a3db-e0c6ab07f222 · outbound
This paper cites The 4 degrees of anthropomorphism of generative ai.
Do LLMs Dream of Discrete Algorithms? The 4 degrees of anthropomorphism of generative ai
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.140656Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fbbeac0e-c919-489e-9798-be0c6a013234 · outbound
This paper cites On the potential of logic and reasoning in neurosymbolic systems using owl-based knowledge graphs.
Do LLMs Dream of Discrete Algorithms? On the potential of logic and reasoning in neurosymbolic systems using owl-based knowledge graphs
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:35.024679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 618605a2-2603-47fe-bd6d-15913f612cdc · outbound
This paper cites A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions.
Do LLMs Dream of Discrete Algorithms? A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:34.912563Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1832f3f9-8050-4583-8e4a-d5e666003ee7 · outbound
This paper cites A Survey on Knowledge Graphs: Representation, Acquisition and Applications.
Do LLMs Dream of Discrete Algorithms? A Survey on Knowledge Graphs: Representation, Acquisition and Applications
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:26.204865Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8df363df-33cd-4c29-a195-4736e5a62e85 · outbound
This paper cites Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces.
Do LLMs Dream of Discrete Algorithms? Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces
Reference 37
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T21:46:30.396486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a7d37818-ff3c-4ad0-9482-9f813f9c06b2 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:34.833794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e3525506-0048-4971-b927-036df4727e3b · outbound
This paper cites (how) do reasoning models reason? Annals of the New York Academy of Sciences, April 2025.
Do LLMs Dream of Discrete Algorithms? (how) do reasoning models reason? Annals of the New York Academy of Sciences, April 2025
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:34.684931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5eec2c92-bd3b-4eaa-b038-bc784115c084 · outbound
This paper cites Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!.
Do LLMs Dream of Discrete Algorithms? Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:26.709714Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba2e6efd-f66d-4e7c-8e66-220ba86cf021 · outbound
This paper cites Software is changing (again), 2025.
Do LLMs Dream of Discrete Algorithms? Software is changing (again), 2025
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:34.441589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ee6d8d61-89c1-4643-8ac1-47a130445281 · outbound
This paper cites On the self-verification limitations of large language models on reasoning and planning tasks, 2024.
Do LLMs Dream of Discrete Algorithms? On the self-verification limitations of large language models on reasoning and planning tasks, 2024
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.131778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dd18171c-0d77-4178-9e0c-cc5c2fd3e897 · outbound
This paper cites Retrieval-augmented generation for knowledge-intensive nlp tasks, 2021.
Do LLMs Dream of Discrete Algorithms? Retrieval-augmented generation for knowledge-intensive nlp tasks, 2021
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.981822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8b22fbde-569c-40f0-909c-529964bcb65b · outbound
This paper cites Thought-like-pro: Enhancing reasoning of large language models through self-driven prolog-based chain-of- thought, 2024.
Do LLMs Dream of Discrete Algorithms? Thought-like-pro: Enhancing reasoning of large language models through self-driven prolog-based chain-of- thought, 2024
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.926535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ba67102e-3e51-4c80-a178-db3a27cb545c · outbound
This paper cites Large language mod- eling.
Do LLMs Dream of Discrete Algorithms? Large language mod- eling
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.537831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dca4e8c0-a7d4-4b3b-8ac3-0af7e0c8e4fc · outbound
This paper cites Llm and prolog: the logical alternative to chain-of-thought reasoning, April 2025.
Do LLMs Dream of Discrete Algorithms? Llm and prolog: the logical alternative to chain-of-thought reasoning, April 2025
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.438296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 19c859fa-4190-472a-bf26-ef3fea7deafe · outbound
This paper cites Rossi, Handong Zhao, Ruiyi Zhang, Puneet Mathur, Nedim Lipka, Yu Wang, Trung Bui, Franck Dernoncourt, and Tianyi Zhou.
Do LLMs Dream of Discrete Algorithms? Rossi, Handong Zhao, Ruiyi Zhang, Puneet Mathur, Nedim Lipka, Yu Wang, Trung Bui, Franck Dernoncourt, and Tianyi Zhou
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.350634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1fa97271-ecbf-4b17-9b1e-8b2dbc78ad63 · outbound
This paper cites Visit swe- den, 2025.
Do LLMs Dream of Discrete Algorithms? Visit swe- den, 2025
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.243811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7bed0207-6e56-4422-8a43-26123039eb73 · outbound
This paper cites A Brief History of Computing.
Do LLMs Dream of Discrete Algorithms? A Brief History of Computing
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.127820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation acf47ba1-0cab-4e61-925d-e4f5b008eec3 · outbound
This paper cites Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023.
Do LLMs Dream of Discrete Algorithms? Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:27.864475Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0808b179-79dd-467d-a475-1e5638248493 · outbound
This paper cites Lee, and Eunho Yang.
Do LLMs Dream of Discrete Algorithms? Lee, and Eunho Yang
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:33.031753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 166622d7-afa6-4f24-9354-db44eed88f3a · outbound
This paper cites Prolog’s role in the llm era – part 1, August 2024.
Do LLMs Dream of Discrete Algorithms? Prolog’s role in the llm era – part 1, August 2024
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.924290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 389d0da3-9bae-4e0a-9228-5ffc1d76f1d3 · outbound
This paper cites Cot is not true reasoning, it is just a tight constraint to imitate: A theory perspective, 2025.
Do LLMs Dream of Discrete Algorithms? Cot is not true reasoning, it is just a tight constraint to imitate: A theory perspective, 2025
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.829420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7442f5c6-1a72-41a8-8586-44c1ca5a909c · outbound
This paper cites Ho, Carl Yang, and May Dongmei Wang.
Do LLMs Dream of Discrete Algorithms? Ho, Carl Yang, and May Dongmei Wang
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.726887Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 33371f99-c032-4c31-ba62-752a8992f526 · outbound
This paper cites The illusion of thinking: Understanding the strengths and limitations of reasoning models via the lens of problem complexity, 2025.
Do LLMs Dream of Discrete Algorithms? The illusion of thinking: Understanding the strengths and limitations of reasoning models via the lens of problem complexity, 2025
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.626445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a59b2d31-24f0-4026-a093-9c71f139a283 · outbound
This paper cites The ripple effect: How innovation disrupts, 2024.
Do LLMs Dream of Discrete Algorithms? The ripple effect: How innovation disrupts, 2024
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.472194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 16c490d3-a8e6-4350-9674-c8e38c9ad7b7 · outbound
This paper cites Step into the future of zdx with 3 exciting new fea- tures: Zdx copilot, data explorer, and hosted monitoring.
Do LLMs Dream of Discrete Algorithms? Step into the future of zdx with 3 exciting new fea- tures: Zdx copilot, data explorer, and hosted monitoring
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.375238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7a698c31-fe4b-4b00-a3be-44cd374cb09d · outbound
This paper cites Asana warns mcp ai feature exposed customer data to other orgs, 2025.
Do LLMs Dream of Discrete Algorithms? Asana warns mcp ai feature exposed customer data to other orgs, 2025
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.262483Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 288e6ac7-8568-4a68-a212-147bf51ff5b6 · outbound
This paper cites The Art of Prolog: Advanced Pro- gramming Techniques (Mit Press Series in Logic Programming).
Do LLMs Dream of Discrete Algorithms? The Art of Prolog: Advanced Pro- gramming Techniques (Mit Press Series in Logic Programming)
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:32.063062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b67915e3-ff3f-4a83-981a-dc6dec1767db · outbound
This paper cites Hol - interactive theorem prover, 2025.
Do LLMs Dream of Discrete Algorithms? Hol - interactive theorem prover, 2025
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.800694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1ad085c4-47ef-4c62-b513-fdcde8df35ed · outbound
This paper cites Robust, mature, free.
Do LLMs Dream of Discrete Algorithms? Robust, mature, free
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.639945Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8c63e514-04ca-4a6c-acaa-d39c6bddf3cd · outbound
This paper cites Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias.
Do LLMs Dream of Discrete Algorithms? Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias
Reference 64
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T21:46:30.288229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation bb854b47-8c65-4382-82a8-1fde1dd80aad · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:46:31.475504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 16a96b52-d7b6-4a7a-953f-56563c77d7f6 · outbound
This paper cites Logic and Structure.
Do LLMs Dream of Discrete Algorithms? Logic and Structure
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.312090Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5d86209e-f48d-4586-9806-37f46dab6b2a · outbound
This paper cites Introduction to llm agents.
Do LLMs Dream of Discrete Algorithms? Introduction to llm agents
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.164803Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a9a2147f-970e-44ff-95ec-5b3136c96212 · outbound
This paper cites Attention Is All You Need.
Do LLMs Dream of Discrete Algorithms? Attention Is All You Need
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:29.478442Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e15fcd11-ba93-4ff5-bf7a-58bf13d2632b · outbound
This paper cites Voorhees.
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:31.002642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 61843421-b1af-43eb-a82f-8dbe2171d62f · outbound
This paper cites From human memory to ai memory: A survey on memory mechanisms in the era of llms, 2025.
Do LLMs Dream of Discrete Algorithms? From human memory to ai memory: A survey on memory mechanisms in the era of llms, 2025
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:29.679719Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 48664733-11de-45d4-a7fc-c0e059f65732 · outbound
This paper cites The rise and potential of large language model based agents: A survey, 2023.
Do LLMs Dream of Discrete Algorithms? The rise and potential of large language model based agents: A survey, 2023
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:29.793755Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbd2a66a-dd4c-41e4-848a-517f21240f4c · outbound
This paper cites Arithmetic reasoning with llm: Prolog generation & permutation, 2024.
Do LLMs Dream of Discrete Algorithms? Arithmetic reasoning with llm: Prolog generation & permutation, 2024
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:30.833309Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e8ea8a2c-32fb-442a-b6f9-6e079197fddc · outbound
This paper cites Ratt: A thought structure for coherent and correct llm reasoning, 2024.
Do LLMs Dream of Discrete Algorithms? Ratt: A thought structure for coherent and correct llm reasoning, 2024
Reference 73
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:30.669765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 36e68085-ef4a-40d4-a096-117e19968a36 · outbound
This paper cites Learning to reason without external rewards, 2025.
Do LLMs Dream of Discrete Algorithms? Learning to reason without external rewards, 2025
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:46:30.039227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 845bc301-2262-4520-9dab-e7efbadf8027 · outbound
This paper cites Kg4diagnosis: A hierarchical multi-agent llm framework with knowledge graph enhance- ment for medical diagnosis, 2025.
Do LLMs Dream of Discrete Algorithms? Kg4diagnosis: A hierarchical multi-agent llm framework with knowledge graph enhance- ment for medical diagnosis, 2025
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:46:30.536739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3fbb9006-4ca1-42f7-a6be-28b5c2dc4130 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 2008
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-06T21:46:35.817609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eefd087b-7a9c-4f24-8339-f28190cab0b7 · outbound
This paper cites an unresolved cited work.
Do LLMs Dream of Discrete Algorithms? Unresolved cited work
Reference 2024
- Resolution
- parse uncertain
- no resolver link, observed 2026-08-06T21:46:24.957518Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.