SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications | Paper Citation Record

Observation 39f824c0-21b1-46ac-9092-865c563b4668 · outbound

This paper cites Adaptive teaching of temporal logic formulas to preference-based learners.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Adaptive teaching of temporal logic formulas to preference-based learners

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.285051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ed8da75e-4598-49a5-a1c4-0ef03a4b05da · outbound

This paper cites Learning interpretable temporal properties from positive examples only.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Learning interpretable temporal properties from positive examples only

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.275557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 56ffea28-7d77-4c25-947b-54816061ce8e · outbound

This paper cites Interactive plan selection using linear temporal logic, disjunctive action landmarks, and natural language instruction.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Interactive plan selection using linear temporal logic, disjunctive action landmarks, and natural language instruction

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.266481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 52aefd04-ec39-440f-9a35-0b270349c4e1 · outbound

This paper cites Proba- bilistic model checking of robots deployed in extreme environments.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Proba- bilistic model checking of robots deployed in extreme environments

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.257358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c792588f-39ff-432e-a19a-a1a4278056d7 · outbound

This paper cites The temporal logic of programs.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications The temporal logic of programs

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.793294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31820d28-3709-4559-8cb7-12a3883c1d95 · outbound

This paper cites Monitoring temporal properties of continuous signals.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Monitoring temporal properties of continuous signals

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.796383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73538e94-eb46-4a4c-8d6b-9b9ab95106a1 · outbound

This paper cites Spatial: mon- itoring and planning of robotic tasks using spatio-temporal logic specifications.Autonomous Robots, 47(8): 1439–1462, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Spatial: mon- itoring and planning of robotic tasks using spatio-temporal logic specifications.Autonomous Robots, 47(8): 1439–1462, 2023

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.236605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e4b83c95-220b-41ca-b073-8459186a2626 · outbound

This paper cites Deepstl: from english requirements to signal temporal logic.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Deepstl: from english requirements to signal temporal logic

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.227192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e7ad5691-1fc0-49bf-a790-354812e39800 · outbound

This paper cites Nl2tl: Transforming natural languages to temporal logics using large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Nl2tl: Transforming natural languages to temporal logics using large language models

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.218090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9fcc50eb-4aa2-442a-8eae-ebd4bdd015b7 · outbound

This paper cites an unresolved cited work.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-08T13:12:27.208026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0b57e71f-2c4f-49fe-99c3-0ddb6d80826a · outbound

This paper cites Calibrated interpretation: Confidence estimation in semantic parsing.Transactions of the Association for Computational Linguistics, 11:1213–1231, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Calibrated interpretation: Confidence estimation in semantic parsing.Transactions of the Association for Computational Linguistics, 11:1213–1231, 2023

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.199103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f0f550e3-b787-489e-9a40-050cc0c6696c · outbound

This paper cites A unified view of evaluation metrics for structured prediction.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications A unified view of evaluation metrics for structured prediction

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.189595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c4864486-736e-4e96-bf9a-8d1ed3290231 · outbound

This paper cites Semantic evaluation for text-to-sql with distilled test suites.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Semantic evaluation for text-to-sql with distilled test suites

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.180300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d88a6274-70b2-4e04-8b41-5487e7e2ad97 · outbound

This paper cites Confidence estimation for error detection in text-to-sql systems.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Confidence estimation for error detection in text-to-sql systems

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.170986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 856d09ad-5857-42d1-9170-90e0b788589d · outbound

This paper cites Springer, 2005.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Springer, 2005

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.824210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10b8243b-336b-40dd-80b6-b649dfc39586 · outbound

This paper cites Selectivenet: A deep neural network with an integrated reject option.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Selectivenet: A deep neural network with an integrated reject option

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.155840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 38da1705-47c2-4a8c-b906-413bb4597355 · outbound

This paper cites Selective generation for controllable language models.Advances in Neural Information Processing Systems, 37:50494–50527, 2024.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Selective generation for controllable language models.Advances in Neural Information Processing Systems, 37:50494–50527, 2024

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.145899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f78f669d-5033-4648-88f8-61dcfccb49d4 · outbound

This paper cites Conformal risk control.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal risk control

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.136488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d37c20ab-beaa-4986-ab67-7a3d329a6347 · outbound

This paper cites SConU: Selective conformal uncertainty in large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications SConU: Selective conformal uncertainty in large language models

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.837637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae70d9eb-63c0-4965-8fc5-f2a60a7fe70a · outbound

This paper cites Sorry dave, i’m afraid i can’t do that: Explaining unachievable robot tasks using natural language.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Sorry dave, i’m afraid i can’t do that: Explaining unachievable robot tasks using natural language

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.127396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e6eef47c-03f2-4e6e-a492-1d6914ac116e · outbound

This paper cites Sequence-to-sequence language grounding of non-markovian task specifications.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Sequence-to-sequence language grounding of non-markovian task specifications

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.118332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6db88dc1-9eb0-4adf-b388-9f970f531956 · outbound

This paper cites Learning a natural-language to ltl executable semantic parser for grounded robotics.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Learning a natural-language to ltl executable semantic parser for grounded robotics

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.109095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 67f0c98c-5812-437b-98e8-164045101a4c · outbound

This paper cites nl2spec: Interactively translating unstructured natural language to temporal logics with large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications nl2spec: Interactively translating unstructured natural language to temporal logics with large language models

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.099431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e1f30717-3a97-4dfd-a7b0-1c92fa02f727 · outbound

This paper cites Translating natural language to temporal logics with large language models and model checkers.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Translating natural language to temporal logics with large language models and model checkers

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.089672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d5557135-5783-4782-88ed-a0eda7254c5e · outbound

This paper cites Enhancing transformation from natural language to signal temporal logic using llms with diverse external knowledge.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Enhancing transformation from natural language to signal temporal logic using llms with diverse external knowledge

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.080459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0065a34e-d12a-4907-bc63-273432e71a75 · outbound

This paper cites Grammar-forced translation of natural language to temporal logic using llms.arXiv preprint arXiv:2512.16814, 2025.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Grammar-forced translation of natural language to temporal logic using llms.arXiv preprint arXiv:2512.16814, 2025

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-08-08T13:12:26.842973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 55e17510-7ea1-4842-8a95-1775c4f2d5c3 · outbound

This paper cites Nl2ltl–a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Nl2ltl–a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.071316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d524328b-2034-4a2e-be5a-88b49cbf47fe · outbound

This paper cites Conformalnl2ltl: Translating natural language instructions into temporal logic formulas with conformal correctness guarantees.arXiv preprint arXiv:2504.21022, 2025.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformalnl2ltl: Translating natural language instructions into temporal logic formulas with conformal correctness guarantees.arXiv preprint arXiv:2504.21022, 2025

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.866231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2af2dfff-c0a8-4c69-ae1b-24b9e69276de · outbound

This paper cites Api is enough: Conformal prediction for large language models without logit-access.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Api is enough: Conformal prediction for large language models without logit-access

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.061536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 135dcd79-0df4-4df7-bb37-74eaa1c46036 · outbound

This paper cites Conu: Conformal uncertainty in large language models with correctness coverage guarantees.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conu: Conformal uncertainty in large language models with correctness coverage guarantees

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.872310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9306bf8d-7b3b-4422-82a0-727f3c8eb0de · outbound

This paper cites Conformal language modeling.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal language modeling

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.047111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0cf8ed35-b0e1-4ea5-99a8-b667957cf988 · outbound

This paper cites Language Models with Conformal Factuality Guarantees.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Language Models with Conformal Factuality Guarantees

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.879708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3853b8d-e685-4924-9dad-6ac3c9a85ff4 · outbound

This paper cites Prompt risk control: A rigorous framework for responsible deployment of large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Prompt risk control: A rigorous framework for responsible deployment of large language models

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.036209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 794a6fb4-2033-409c-8a82-cbed7bfbdb07 · outbound

This paper cites Large language model validity via enhanced conformal prediction methods.Advances in Neural Information Processing Systems, 37:114812–114842, 2024.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Large language model validity via enhanced conformal prediction methods.Advances in Neural Information Processing Systems, 37:114812–114842, 2024

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.886724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af7bea8f-854d-466a-864e-e17a23e46d23 · outbound

This paper cites Detecting hallucinations in large language models using semantic entropy.Nature, 630(8017):625–630, 2024.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Detecting hallucinations in large language models using semantic entropy.Nature, 630(8017):625–630, 2024

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.889490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29eb581e-23e6-42eb-bc24-bcf5911b724c · outbound

This paper cites Non-exchangeable conformal risk control.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Non-exchangeable conformal risk control

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:27.016328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a5b57725-3dd2-47ab-9a35-dc08d398bc40 · outbound

This paper cites Conformal prediction under covariate shift.Advances in neural information processing systems, 32, 2019.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal prediction under covariate shift.Advances in neural information processing systems, 32, 2019

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.896189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2a20363-1e50-414c-93f9-17fb2a6c9a50 · outbound

This paper cites Conformal prediction beyond exchangeability.The Annals of Statistics, 51(2):816–845, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal prediction beyond exchangeability.The Annals of Statistics, 51(2):816–845, 2023

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.899831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4a80380-314e-43bc-b0cc-6c9b78069027 · outbound

This paper cites an unresolved cited work.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-08T13:12:26.996366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c5032902-06d6-4f83-af9b-b08ed420b4d9 · outbound

This paper cites TLINet: Differentiable Neural Network Temporal Logic Inference.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications TLINet: Differentiable Neural Network Temporal Logic Inference

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.906525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6a21313-81f2-4139-a929-b356ac7b11a3 · outbound

This paper cites Learning signal temporal logic through neural network for interpretable classification.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Learning signal temporal logic through neural network for interpretable classification

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.986571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4b4eb308-7cc6-4ea9-937f-0be6183dff4d · outbound

This paper cites an unresolved cited work.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-08T13:12:26.977368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0f94679f-6e3e-4932-a2fd-7046b93b0a6f · outbound

This paper cites Conformal prediction for signal temporal logic inference.arXiv preprint arXiv:2509.25473, 2025.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal prediction for signal temporal logic inference.arXiv preprint arXiv:2509.25473, 2025

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.915731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50ddc996-1d9a-42d2-b4fc-cee18e9f4089 · outbound

This paper cites Conformalized signal temporal logic inference under covariate shift.arXiv preprint arXiv:2603.27062, 2026.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformalized signal temporal logic inference under covariate shift.arXiv preprint arXiv:2603.27062, 2026

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.919449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f590863-4f69-490b-8b1b-974c927681b4 · outbound

This paper cites Conformal temporal logic planning using large language models.ACM Transactions on Cyber-Physical Systems, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Conformal temporal logic planning using large language models.ACM Transactions on Cyber-Physical Systems, 2023

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.968489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0714bbf9-f4dc-42f9-8a3a-7eae2c8430b4 · outbound

This paper cites Probabilistically correct language-based multi-robot planning using conformal prediction.IEEE Robotics and Automation Letters, 10(1):160–167, 2024.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Probabilistically correct language-based multi-robot planning using conformal prediction.IEEE Robotics and Automation Letters, 10(1):160–167, 2024

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.959406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3a199d6c-c14e-4258-8a96-b76932319470 · outbound

This paper cites Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.929448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c685c206-7fe6-4058-8921-ba06b37c7b66 · outbound

This paper cites Safe planning in dynamic environments using conformal prediction.IEEE Robotics and Automation Letters, 8(8):5116–5123, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Safe planning in dynamic environments using conformal prediction.IEEE Robotics and Automation Letters, 8(8):5116–5123, 2023

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.933259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce237e82-2ef3-42e5-ab88-2554d2f1cbff · outbound

This paper cites Testing for outliers with conformal p-values.The Annals of Statistics, 51(1):149–178, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Testing for outliers with conformal p-values.The Annals of Statistics, 51(1):149–178, 2023

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.936246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04352bdd-c979-47f9-95ce-f273309187cf · outbound

This paper cites Selection by prediction with conformal p-values.Journal of Machine Learning Research, 24(244):1–41, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Selection by prediction with conformal p-values.Journal of Machine Learning Research, 24(244):1–41, 2023

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.939082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6e994053-fc59-419a-86fd-1d9e43723a05 · outbound

This paper cites Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories.Annals of Mathematics and Artificial Intelligence, 74(1):67–94, 2015.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories.Annals of Mathematics and Artificial Intelligence, 74(1):67–94, 2015

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.929600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 385acdfa-fdfa-4c58-b79e-c8e002e3c602 · outbound

This paper cites Selective Conformal Risk Control.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Selective Conformal Risk Control

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.945199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9bfd242-287f-4db8-931f-318bb933d80b · outbound

This paper cites Out-of-distribution detection with deep nearest neighbors.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Out-of-distribution detection with deep nearest neighbors

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.920470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c39f5b50-2eba-4fe8-9914-ab35e8819aa4 · outbound

This paper cites MIT press, 2008.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications MIT press, 2008

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.911401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0b8f9589-34e8-4b33-83e2-3a08365b3500 · outbound

This paper cites Springer, 2017.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Springer, 2017

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.902183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7a8cfa26-cb19-409e-b04f-e663f3002856 · outbound

This paper cites Shifting attention to relevance: Towards the predictive uncertainty quantification of free-form large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Shifting attention to relevance: Towards the predictive uncertainty quantification of free-form large language models

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.958549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 962cc8c1-916c-47ed-b2a4-c56012f3fec3 · outbound

This paper cites Lang2ltl: Translating natural language commands to temporal specification with large language models.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Lang2ltl: Translating natural language commands to temporal specification with large language models

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.887759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation de515e99-8b5f-4707-8a55-bb946aefb9a3 · outbound

This paper cites Revisiting round-trip translation for quality estimation.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Revisiting round-trip translation for quality estimation

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.878442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6a327bbb-3091-4316-b814-55a5ce404341 · outbound

This paper cites Judging llm-as-a-judge with mt-bench and chatbot arena.Advances in neural information processing systems, 36:46595–46623, 2023.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Judging llm-as-a-judge with mt-bench and chatbot arena.Advances in neural information processing systems, 36:46595–46623, 2023

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-08T13:12:25.967974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67e4016b-6ae7-4e1b-a346-c48020ac7f68 · outbound

This paper cites Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou.

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.863472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c1d30f7e-cd59-493d-a750-c8b6ae23205e · outbound

This paper cites If ( prop_1 ) then at a time within the next 12 to 50 time units ultimately ( prop_2 ).

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications If ( prop_1 ) then at a time within the next 12 to 50 time units ultimately ( prop_2 )

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:12:26.854295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers