Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T04:29:55.720540Z
Paper Citation Record · LEDGER
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
As of 23 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2608.08786.
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-22T06:32:14.747728+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 exact4
- verified fuzzy6
- unresolved65
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1043c904-bd64-4cf7-aa80-cd423a0db59a · outbound
This paper cites gpt-oss-120b & gpt-oss-20b Model Card.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification gpt-oss-120b & gpt-oss-20b Model Card
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.645098Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0c6edc47-7078-4fbe-bfd2-013cd8ed7d78 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:59.342100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6e7c82f0-a70b-447b-9fbe-517010db0c11 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:59.274619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 68261b04-b00d-4284-bc75-50653136cb41 · outbound
This paper cites Logically Consistent Language Models via Neuro-Symbolic Integration.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Logically Consistent Language Models via Neuro-Symbolic Integration
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.681329Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 245a5959-303e-4504-b10d-926fb733ea19 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:59.216084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6c980e49-e8a4-4dd1-9201-9502c64c006d · outbound
This paper cites A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.694987Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a9037ba-6fd5-471e-8eed-c0e4fe3ff020 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:59.111838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation aa7700d0-3126-4427-9c38-c2ea683acdd5 · outbound
This paper cites Training Verifiers to Solve Math Word Problems.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Training Verifiers to Solve Math Word Problems
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.726574Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa31d207-ea71-4e6c-a9c6-4bd32ad618b8 · outbound
This paper cites ReTool: Reinforcement Learning for Strategic Tool Use in LLMs.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification ReTool: Reinforcement Learning for Strategic Tool Use in LLMs
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.739620Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 033174eb-7c01-4044-b8c9-131fecb2b76f · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:59.057804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7372f838-f164-4ed2-8467-00d4dca0be1d · outbound
This paper cites The Llama 3 Herd of Models.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification The Llama 3 Herd of Models
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.778115Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f02a8cb0-35c3-4f6a-8395-c4139513b72e · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.944831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fee42c1f-6a96-487a-b5c3-68432f21a32a · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.792921Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 693f513d-2053-4804-bf7c-b5dbfdd61a5a · outbound
This paper cites InProceedings of the 33rd ACM International Conference on Multimedia.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification InProceedings of the 33rd ACM International Conference on Multimedia
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:58.855210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 9962846c-d497-4fad-811e-eb000d9e6d39 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.693195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 17de43a2-fbd2-408b-b72b-7bea47f537c3 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.796719Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c1fa4451-c3ed-4ac2-be95-1e63276952cf · outbound
This paper cites HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.875466Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6131281d-80d4-4caa-886a-4e0c32b81727 · outbound
This paper cites Learning to Learn Weight Generation via Local Consistency Diffusion.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Learning to Learn Weight Generation via Local Consistency Diffusion
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.831155Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec09a593-1fc1-40f8-97cf-abf3f2f03e1c · outbound
This paper cites Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.848057Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d00dccd8-d6d7-48b7-93e3-65516c3655e6 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.654749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5d2f40fc-c8a7-4625-a9c7-38f3560dd2e0 · outbound
This paper cites RAM: Recover Any 3D Human Motion in-the-Wild.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification RAM: Recover Any 3D Human Motion in-the-Wild
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.881901Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c84edafb-e4cc-4021-9409-da73df370713 · outbound
This paper cites Multi-step Inference over Unstructured Data.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Multi-step Inference over Unstructured Data
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T04:29:56.959741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 32a30bfe-b63b-4c00-90ec-e46f7d613ffc · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.478199Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8bfcc3bc-7b7f-4414-a6d6-867297ab808d · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.451118Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a5f6b8a8-5795-4f19-9977-8b42e0ef3e62 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.520757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fcb238f0-bd5b-4ef7-a5cf-2a16f0cf9612 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.497368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 661cb908-5030-49e4-a76e-6d8be9d6a25c · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.409464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 33923347-3a8b-41eb-8bf3-ee3dfab46de6 · outbound
This paper cites Graph Canvas for Controllable 3D Scene Generation.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Graph Canvas for Controllable 3D Scene Generation
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.001040Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 101504c9-1ba9-4586-96db-75ae55fff678 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 29
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T04:29:56.890959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 32b3580f-2e7e-4428-87c3-407fb24959c5 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:54.980797Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af8442ca-8c48-4a5b-8045-3a392cb5a454 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.358752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 873f1d09-67e2-4d5b-a673-cc02181cb745 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.337842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 847540c5-cff5-4606-add9-e3867998dccc · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 33
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T04:29:56.744044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 097c4d3c-2bf6-41f6-ae04-91817d2ad38e · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.380748Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4e2f1dd6-a8b0-4830-8a4c-f6478e8a0f13 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.252220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 51333239-61a6-49c7-8fe1-29781e957486 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.199280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1c98e53c-ea14-4652-97d6-ba86ed37b0c8 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 37
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T04:29:56.549228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 35c450ba-1c1c-4273-bbff-5f6a0263aedc · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.302528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c930c83e-6402-4f72-abe0-5c8cde01928b · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.109811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e767aec7-2c7c-4eaf-a474-20d744a4aef8 · outbound
This paper cites InProceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations).
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification InProceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations)
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:58.232827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 864ed56a-390c-4c35-be28-cc116b6df769 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.052425Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b22afe74-fb06-40b2-a99e-a12c6704f05e · outbound
This paper cites Dennis, and Andre Freitas.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Dennis, and Andre Freitas
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:58.157057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7b08d7ba-991d-407d-be22-2a769fd2b339 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.133319Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b6ee9999-1701-4db4-92cf-2839499ad6e5 · outbound
This paper cites InThe Fourteenth International Conference on Learning Representations.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification InThe Fourteenth International Conference on Learning Representations
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:58.084735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 777cc221-08f9-433c-af62-3b7dfa7acce7 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.069424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e58a7b41-03b4-4d9c-862f-04fd0df753f1 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.001661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f93a2fdf-a888-4063-bfd8-55d2b6e2a3f3 · outbound
This paper cites A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.171176Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8b88aa5e-899c-4c46-9e2b-312bb84d574e · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:58.034812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0082e8d0-f220-4997-886a-83388caa5575 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.965634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7bf56101-9f41-4b7c-bec4-c42c6c3ffea1 · outbound
This paper cites Solving math word problems with process- and outcome-based feedback.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Solving math word problems with process- and outcome-based feedback
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.205742Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f937b89-e1aa-4f3a-a19e-57e243f582e1 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.219278Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ae82380-2f5d-4138-8f8b-e91d4e41a3d4 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.390357Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4222ee6-e7b0-423f-bfbb-55487706a2d5 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.250988Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac6f63e5-36cb-4273-9d7b-a3a988956a00 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.281060Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10e974ed-b904-4e13-bd50-92409de8bfc1 · outbound
This paper cites Qwen3 Technical Report.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Qwen3 Technical Report
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.435679Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7714f37-99a3-44de-8e77-d3f17fb8d8b2 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.931175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 21021a54-139b-4fef-83ca-2500982924bd · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.346457Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8155193a-4f1f-43a0-9b9a-4872f97e878f · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.704054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 85cfd081-69cc-4edc-bea0-b0a3228fdfd2 · outbound
This paper cites Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.496438Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5030fc73-e4fa-4f47-a524-5aa77cbb75a9 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.844616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e8dd5767-47a2-4458-bc85-749b12aef46c · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.811459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 69bf056a-8a9d-4f7c-b25e-5ccbeb65073e · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.609792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7eb2ea2f-ebe5-4a6a-b189-97e498b18f4f · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.779926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7028fa77-bb13-42cc-9a48-f34a91ecc92d · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.755903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f0f356f3-fece-4012-946e-c2b4945aada7 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.646837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f1badfc-ffbf-4ac9-850e-ea7164403ceb · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.525516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d53ad005-29d3-4e35-bfee-e874eb8cf725 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.677587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5c26e093-c085-4287-9cc1-ae15b11dec5a · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.628538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 304b5acf-4b1b-48ae-a7cb-d920148fb77b · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.601386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7146a36e-1ae6-4890-a2ef-ce200add17ba · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.576229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 26901db2-26ca-45d0-9ada-9d0cdf595675 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.488343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1de716f9-b1e8-46d0-b14b-f86e0f33dfa6 · outbound
This paper cites an unresolved cited work.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:29:57.408439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5dc31c7e-799e-415c-a2fb-e4aa906492b2 · outbound
This paper cites Faithful Logical Reasoning via Symbolic Chain-of-Thought.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Faithful Logical Reasoning via Symbolic Chain-of-Thought
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:29:55.376199Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac8a0b50-3711-4194-acc1-377ba0af3644 · outbound
This paper cites InFindings of the Association for Computational Linguistics: ACL 2025.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification InFindings of the Association for Computational Linguistics: ACL 2025
Reference 2025
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:59.009379Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f584b824-235c-4a24-9644-1d6600f0037b · outbound
This paper cites InInternational Conference on Learning Representations.
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification InInternational Conference on Learning Representations
Reference 2026
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:29:58.552115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.