Paper Citation Record · LEDGER

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 4 inbound Pith citation observations for arXiv:2505.20047.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.20047 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:06:33.306043Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:45:12.671790Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-22T07:54:43.182673Z

Reference resolution

43 of 43 outbound references displayed

verified exact3
verified fuzzy6
unresolved32
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 300f7ad8-e1ea-4eb0-9b14-e0b431907868 · outbound

This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Self-Consistency Improves Chain of Thought Reasoning in Language Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.697285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3535cf87-e067-4d87-bf36-c89ab0beacfb · outbound

This paper cites URLhttps://aclanthology.org/2021.tacl-1.21/.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks URLhttps://aclanthology.org/2021.tacl-1.21/

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.808546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e34a6ebb-e18b-4f4b-81fe-53d10bae56a9 · outbound

This paper cites FOLIO: Natural language reasoning with first-order logic.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks FOLIO: Natural language reasoning with first-order logic

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:35.653914Z

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 68bba2f4-5ba6-4154-bb67-951a0485e0aa · outbound

This paper cites tailedness.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks tailedness

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:34.476109Z

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 17ff4aad-6d54-4831-9c44-eac50c3acc1f · outbound

This paper cites Towards a Mathematics Formalisation Assistant using Large Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Towards a Mathematics Formalisation Assistant using Large Language Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.094004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87665c19-5bb5-4104-922c-890f80c4f568 · outbound

This paper cites FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.120173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5894d4ff-3ce2-452b-828a-ad0ab1158df2 · outbound

This paper cites Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.223009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59730723-51a4-461f-82a8-a0eeb2d107c7 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.321310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5f7fc77-3ba5-4e58-baec-1c94e59c31db · outbound

This paper cites Proving Theorems Recursively.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Proving Theorems Recursively

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.451938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84f816bf-9ae5-4b7d-a69b-8777ebb6bdc7 · outbound

This paper cites Large Language Models' Understanding of Math: Source Criticism and Extrapolation.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Large Language Models' Understanding of Math: Source Criticism and Extrapolation

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:06:34.217293Z

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 3af7d02f-b50c-4b84-8c2e-abe168312436 · outbound

This paper cites Experimental results from applying GPT-4 to an unpublished formal language.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Experimental results from applying GPT-4 to an unpublished formal language

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:06:34.087320Z

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 b7071168-7956-4444-926e-7f149b065854 · outbound

This paper cites Large Language Models for Mathematicians.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Large Language Models for Mathematicians

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.665664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f465c2-ff0d-44f4-8428-488c028241e4 · outbound

This paper cites An In-Context Learning Agent for Formal Theorem-Proving.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks An In-Context Learning Agent for Formal Theorem-Proving

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.740697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af203b79-7824-4211-af81-b60ed8f6bc56 · outbound

This paper cites Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:06:33.898352Z

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 81c35cd2-6997-4824-8bc3-e5bde035bdf5 · outbound

This paper cites Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Reference 22

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T14:06:33.826206Z

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 d757dba6-40e5-45d3-922b-cec9bb3913d9 · outbound

This paper cites Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generation.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generation

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.022782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 117a72f0-ac6a-4a25-9b3a-786bc51021ee · outbound

This paper cites GTBench: Uncovering the Strategic Reasoning Limitations of LLMs via Game-Theoretic Evaluations.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks GTBench: Uncovering the Strategic Reasoning Limitations of LLMs via Game-Theoretic Evaluations

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.207570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9248041d-88a7-4cec-ae3d-9d377ef6af79 · outbound

This paper cites Uncertainty estimation in large language models to support biodiversity conservation.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Uncertainty estimation in large language models to support biodiversity conservation

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:35.475117Z

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 35d8ddcd-51b4-4bd8-913c-a753309add62 · outbound

This paper cites BatchEnsemble: An Alternative Approach to Efficient Ensemble and Lifelong Learning.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks BatchEnsemble: An Alternative Approach to Efficient Ensemble and Lifelong Learning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.859886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ca760b9-ce92-4066-84e9-27a2b8c60474 · outbound

This paper cites Hallucination Detection in LLMs: Fast and Memory-Efficient Fine-Tuned Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Hallucination Detection in LLMs: Fast and Memory-Efficient Fine-Tuned Models

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.972141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 536404a5-66bb-4d0b-985c-7493657f9ddc · outbound

This paper cites Selectively Answering Ambiguous Questions.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Selectively Answering Ambiguous Questions

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.093530Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1db8c8c1-f61c-4f55-9fd9-cb4334c94bc3 · outbound

This paper cites SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.166409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bd4ec45-2561-4467-870b-0a729ffb7ada · outbound

This paper cites URLhttps://aclanthology.org/2024.acl-long.283.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks URLhttps://aclanthology.org/2024.acl-long.283

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:35.263822Z

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 36eeba6a-9133-40de-80d8-9cf8a91cda0c · outbound

This paper cites Generating with Confidence: Uncertainty Quantification for Black-box Large Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Generating with Confidence: Uncertainty Quantification for Black-box Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.320811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7feac1b-7ee4-43bd-8ef0-431544bef318 · outbound

This paper cites an unresolved cited work.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:06:35.078620Z

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 e3b164d0-649a-4c78-b2b4-debe8abd9ef4 · outbound

This paper cites Improving Output Uncertainty Estimation and Generalization in Deep Learning via Neural Network Gaussian Processes.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Improving Output Uncertainty Estimation and Generalization in Deep Learning via Neural Network Gaussian Processes

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.571772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06224edf-f45c-4091-a543-53e800819559 · outbound

This paper cites Simple and Principled Uncertainty Estimation with Deterministic Deep Learning via Distance Awareness.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Simple and Principled Uncertainty Estimation with Deterministic Deep Learning via Distance Awareness

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.643092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec1db97f-76d1-473b-bdd5-ef12a1fd1741 · outbound

This paper cites Just Ask for Calibration: Strategies for Eliciting Calibrated Confidence Scores from Language Models Fine-Tuned with Human Feedback.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Just Ask for Calibration: Strategies for Eliciting Calibrated Confidence Scores from Language Models Fine-Tuned with Human Feedback

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.927335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2daa234d-4abf-4815-b0d2-c7da57892170 · outbound

This paper cites Can LLMs Express Their Uncertainty? An Empirical Evaluation of Confidence Elicitation in LLMs.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Can LLMs Express Their Uncertainty? An Empirical Evaluation of Confidence Elicitation in LLMs

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:33.003689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2e52b91-94f0-4570-b6e4-070ccba28b5d · outbound

This paper cites Tobias Groot and Matias Valdenegro-Toro.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Tobias Groot and Matias Valdenegro-Toro

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:34.900367Z

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 26ca16a6-c72c-45b0-8734-7d08d3e75e18 · outbound

This paper cites URLhttp://www.jstor.org/stable/2236703.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks URLhttp://www.jstor.org/stable/2236703

Reference 1951

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.501189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fb398df-0607-4eb5-b251-2efd24aba0ca · outbound

This paper cites Dropout: a simple way to prevent neural networks from overfitting.The journal of machine learning research, 15(1):1929–1958,.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Dropout: a simple way to prevent neural networks from overfitting.The journal of machine learning research, 15(1):1929–1958,

Reference 1965

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.530258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0322fa87-bd72-4352-92b1-d471be2480f1 · outbound

This paper cites Teaching Models to Express Their Uncertainty in Words.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Teaching Models to Express Their Uncertainty in Words

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:32.818788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1562269-ef36-462f-9eca-00d5ce2bc3ac · outbound

This paper cites Synthesizing finite-state protocols from scenarios and requirements.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Synthesizing finite-state protocols from scenarios and requirements

Reference 1998

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:06:34.751805Z

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 7978093a-8da9-47ff-b710-e0b5b4aeedf3 · outbound

This paper cites Language models are few-shot learners.Advances in neural information processing systems, 33:1877–1901,.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Language models are few-shot learners.Advances in neural information processing systems, 33:1877–1901,

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.203613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 147a9f44-3ac0-4450-8d3a-88f847a284b9 · outbound

This paper cites LM-Polygraph: Uncertainty Estimation for Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks LM-Polygraph: Uncertainty Estimation for Language Models

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:31.679535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4111abfd-0bbd-45ff-9d42-7042cc604811 · outbound

This paper cites Quantifying Uncertainties in Natural Language Processing Tasks.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Quantifying Uncertainties in Natural Language Processing Tasks

Reference 2018

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T14:06:33.482051Z

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 3d942f1d-7334-4118-8833-460ceb6f8036 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Generative Language Modeling for Automated Theorem Proving

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.374808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a89ae7f-4259-4120-892d-42ff6f6bd11f · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Evaluating Large Language Models Trained on Code

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.257173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 184b0bb3-661b-4f22-bc44-f51240de8649 · outbound

This paper cites Mistral 7B.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Mistral 7B

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.362119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf8a6316-ee8f-4984-b8ad-0f6c641219ac · outbound

This paper cites Language Models (Mostly) Know What They Know.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Language Models (Mostly) Know What They Know

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.584972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f2baf8d-bde2-4b56-8c9a-d70924117819 · outbound

This paper cites Emergent Abilities of Large Language Models.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Emergent Abilities of Large Language Models

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.472186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72b19340-8d15-42e1-bb17-b4e2376a1c54 · outbound

This paper cites doi: 10.18653/v1/2024.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks doi: 10.18653/v1/2024

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:29.995705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation a0a854e3-0c2d-4435-9dfe-59f31b2e00ba · inbound

AI4Research: A Survey of Artificial Intelligence for Scientific Research cites this paper.

AI4Research: A Survey of Artificial Intelligence for Scientific Research Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Reference 221

Resolution: unresolved; no resolver link, observed 2026-08-06T20:45:12.671790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa54143a-4923-43ac-9b70-45b696456023 · inbound

Reliability-Gated Source Anchoring for Continual Test-Time Adaptation cites this paper.

Reliability-Gated Source Anchoring for Continual Test-Time Adaptation Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:29:46.944740Z

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 108fe26f-bc3f-46f9-91bb-e3da03d1e4a8 · inbound

Reliability-Gated Source Anchoring for Continual Test-Time Adaptation cites this paper.

Reliability-Gated Source Anchoring for Continual Test-Time Adaptation Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-20T20:29:00.068897Z

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 25f15a8b-2f9e-4019-80d3-9c5bbef526f5 · inbound

CausalGuard: Conformal Inference under Graph Uncertainty cites this paper.

CausalGuard: Conformal Inference under Graph Uncertainty Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-22T07:54:43.185224Z

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.