Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-08T15:08:26.067388Z
Paper Citation Record · LEDGER
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
As of 8 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 6 inbound Pith citation observations for arXiv:2502.06563.
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-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:35:19.306365Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-18T13:01:23.947475Z
Reference resolution
25 of 25 outbound references displayed
- verified exact1
- verified fuzzy13
- unresolved10
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cc0d78c7-c6b4-4a91-b5fa-ea2a17279dfc · outbound
This paper cites ORAN-Bench-13K: An Open Source Benchmark for Assessing LLMs in Open Radio Access Networks.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation ORAN-Bench-13K: An Open Source Benchmark for Assessing LLMs in Open Radio Access Networks
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.562802Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd4099bc-b246-452d-b22a-b8334ebf5b16 · outbound
This paper cites F7": "playful.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation F7": "playful
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.647251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 11831a62-f16c-4a82-82ae-7c84a3e0c327 · outbound
This paper cites Mistral 7B.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Mistral 7B
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.615630Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7a5f2b5-51c5-45b8-95a6-5ab9c5773076 · outbound
This paper cites Mixtral of Experts.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Mixtral of Experts
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.633937Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17c24e16-bfb6-4e5a-b081-8e52f6874266 · outbound
This paper cites Jian Liu, Leyang Cui, Hanmeng Liu, Dandan Huang, Yile Wang, and Yue Zhang.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Jian Liu, Leyang Cui, Hanmeng Liu, Dandan Huang, Yile Wang, and Yue Zhang
Reference 9
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-08T15:08:25.645998Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad001465-445f-41d5-ade7-57833e5f7c76 · outbound
This paper cites Faithful chain-of-thought reasoning.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Faithful chain-of-thought reasoning
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.392105Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0de303a2-7bad-4302-90e5-2d03c2e59592 · outbound
This paper cites An investigation of llms’ inefficacy in understanding converse relations.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation An investigation of llms’ inefficacy in understanding converse relations
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.102572Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f1169ac6-dc2f-4c7e-92e9-7457b62d1d23 · outbound
This paper cites Clutrr: A diag- nostic benchmark for inductive reasoning from text.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Clutrr: A diag- nostic benchmark for inductive reasoning from text
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.047960Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ee3eeac2-c23f-4076-9a8f-35364951b62b · outbound
This paper cites LAB: Large-Scale Alignment for ChatBots.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation LAB: Large-Scale Alignment for ChatBots
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.820486Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 04725cb7-156f-4df6-b2f4-02fbc5d16e20 · outbound
This paper cites Proofwriter: Generating implications, proofs, and abductive statements over natural language.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Proofwriter: Generating implications, proofs, and abductive statements over natural language
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.929529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation badd10d8-7e86-4f5e-ae96-2c08d3850d23 · outbound
This paper cites Diagnosing the first-order logical reasoning ability through logicnli.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Diagnosing the first-order logical reasoning ability through logicnli
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.910770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6d8726ac-2cf1-43b7-b4b8-ec6491eda7fe · outbound
This paper cites Large lan- guage models still can’t plan (a benchmark for llms on planning and reasoning about change).
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Large lan- guage models still can’t plan (a benchmark for llms on planning and reasoning about change)
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.893978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 44bfd5ed-ba68-47b3-b484-15fb4a36af7a · outbound
This paper cites AR-LSAT: Investigating Analytical Reasoning of Text.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation AR-LSAT: Investigating Analytical Reasoning of Text
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:26.050187Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 84447c6d-4170-490e-9907-d30a947d8a9a · outbound
This paper cites category.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation category
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.835572Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 172fc5ae-730b-47dd-a41c-dadf35a1ce46 · outbound
This paper cites 2-shot) into the prompt did not consistently improve the performance of LLMs.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation 2-shot) into the prompt did not consistently improve the performance of LLMs
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:26.631144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 96ca3663-8d25-444b-8265-e227bf915e95 · outbound
This paper cites Linc: A neurosymbolic approach for logical reasoning by com- bining language models with first-order logic provers.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Linc: A neurosymbolic approach for logical reasoning by com- bining language models with first-order logic provers
Reference 1995
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.119652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 581516ee-6df6-4734-addf-4d97b527226d · outbound
This paper cites Smith, Mateusz Paprocki, Ond ˇrej ˇCert´ık, Sergey B.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Smith, Mateusz Paprocki, Ond ˇrej ˇCert´ık, Sergey B
Reference 2005
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.225696Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9428ebac-f006-455e-aa04-4736ffeb147a · outbound
This paper cites The lean theorem prover (system description).
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation The lean theorem prover (system description)
Reference 2008
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.534848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 63f8f42b-c542-4cf8-8579-991f0563fd7d · outbound
This paper cites The Llama 3 Herd of Models.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation The Llama 3 Herd of Models
Reference 2015
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.551741Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5bea2b2d-a00a-4d32-a7e9-527d212ca9c4 · outbound
This paper cites doi: 10.7717/peerj-cs.103.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation doi: 10.7717/peerj-cs.103
Reference 2017
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.795845Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3e21e73-5f74-424a-84a4-16e5ef0e487f · outbound
This paper cites Sola: Solver-layer adaption of llm for better logic reasoning.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Sola: Solver-layer adaption of llm for better logic reasoning
Reference 2019
- Resolution
- verified exact
- raw_fallback, observed 2026-08-08T15:08:26.336432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5ab026af-b9bc-4f83-8b8a-69d546b5b095 · outbound
This paper cites FOLIO: Natural Language Reasoning with First-Order Logic.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation FOLIO: Natural Language Reasoning with First-Order Logic
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.569771Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e01b56df-3326-42c0-acd2-2daefff14d30 · outbound
This paper cites Won't Get Fooled Again: Answering Questions with False Premises.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Won't Get Fooled Again: Answering Questions with False Premises
Reference 2022
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.574666Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbf83b27-1534-49cf-ad09-cb50a139179c · outbound
This paper cites Chatgpt is fun, but it is not funny! humor is still challenging large language models.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Chatgpt is fun, but it is not funny! humor is still challenging large language models
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-08T15:08:27.407685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bf513ac5-1bbb-484e-a12e-17cb30a23d72 · outbound
This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T15:08:25.805554Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 68c99d71-793b-42b3-84bd-46ce86b62c49 · inbound
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations cites this paper.
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:35:19.306365Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce3e289a-d08b-4d3d-8d3f-f37884a6f23d · inbound
Logical Reasoning with Outcome Reward Models for Test-Time Scaling cites this paper.
Logical Reasoning with Outcome Reward Models for Test-Time Scaling Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:26:52.776686Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 041a955d-7a58-48e9-8cc3-81659d9d7f04 · inbound
Semantic-Aware Logical Reasoning via a Semiotic Framework cites this paper.
Semantic-Aware Logical Reasoning via a Semiotic Framework Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 32
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T13:01:24.233126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6146b01b-d163-4128-bff6-f98a96f67ad1 · inbound
Symbolic Neural Generation with Applications to Lead Discovery in Drug Design cites this paper.
Symbolic Neural Generation with Applications to Lead Discovery in Drug Design Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T07:59:25.524284Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c945406-850c-4314-a7ed-96135dc10c0a · inbound
From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS cites this paper.
From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T12:06:05.019348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7b3879f0-8de8-448d-a15d-b43dafce4d79 · inbound
Rethinking Wireless Communications through Formal Mathematical AI Reasoning cites this paper.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 73
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.674940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.