{"as_of":"2026-08-10T09:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a9efdd1124cd3401f60105eb46bd888cf91885ee534fc40bd821903394f96196","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T13:12:25.974179Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.05439/citation-record","integrity":"/paper/2608.05439/integrity","json":"/paper/2608.05439/citation-record.json","paper":"/paper/2608.05439"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.281686Z","title":"Adaptive teaching of temporal logic formulas to preference-based learners","venue":null,"work_id":"06d4c96f-1c83-4258-af1b-30b50bce1970","year":2021},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.778935Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:70e970fb3a64937db7e22f09ed816fe48f614a201afe270ba7ae044768d4d331","observation_id":"39f824c0-21b1-46ac-9092-865c563b4668","resolution":{"observed_at":"2026-08-08T13:12:27.285051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.272211Z","title":"Learning interpretable temporal properties from positive examples only","venue":null,"work_id":"ce5400e0-565d-4020-adbf-2e00076b4cde","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.783034Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:551bccefe60fb814fd0633cee4ff177ac34007d08489fbf1f8bbe43321ec9544","observation_id":"ed8da75e-4598-49a5-a1c4-0ef03a4b05da","resolution":{"observed_at":"2026-08-08T13:12:27.275557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.263198Z","title":"Interactive plan selection using linear temporal logic, disjunctive action landmarks, and natural language instruction","venue":null,"work_id":"e8198280-5552-40f7-96a9-ab844afbba2b","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.786464Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:de59d6c92e468fb0eb0ceb01f3f13576ead3e4fd26e5c67bb16b4992f566f210","observation_id":"56ffea28-7d77-4c25-947b-54816061ce8e","resolution":{"observed_at":"2026-08-08T13:12:27.266481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.253414Z","title":"Proba- bilistic model checking of robots deployed in extreme environments","venue":null,"work_id":"b6372047-5bfc-4aac-9024-e1cdbb8a67a0","year":2019},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.789975Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:6e929f17809bdfcab934d925c151703ab4f09056cae9b2ddb9cb7d686e601c3c","observation_id":"52aefd04-ec39-440f-9a35-0b270349c4e1","resolution":{"observed_at":"2026-08-08T13:12:27.257358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.793294Z","title":"The temporal logic of programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.793294Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:feada71017f403b8637e478aab42acfcbb1a8436f592c7e51272ca2d8589f51b","observation_id":"c792588f-39ff-432e-a19a-a1a4278056d7","resolution":{"observed_at":"2026-08-08T13:12:25.793294Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.796383Z","title":"Monitoring temporal properties of continuous signals","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.796383Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:16170219c8c1ce8439a35ac1cecc86726af2298a785cb20ee6e78eb3c8f23193","observation_id":"31820d28-3709-4559-8cb7-12a3883c1d95","resolution":{"observed_at":"2026-08-08T13:12:25.796383Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.233077Z","title":"Spatial: mon- itoring and planning of robotic tasks using spatio-temporal logic specifications.Autonomous Robots, 47(8): 1439–1462, 2023","venue":null,"work_id":"dcd82449-c3af-470d-a17b-30ef3e140eb4","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.799708Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:a86a3645607933219119f26a66e00d94a3299919299f1a4548597b847dcebffe","observation_id":"73538e94-eb46-4a4c-8d6b-9b9ab95106a1","resolution":{"observed_at":"2026-08-08T13:12:27.236605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.223998Z","title":"Deepstl: from english requirements to signal temporal logic","venue":null,"work_id":"994c09c8-f97b-48ca-b354-6528b92e595a","year":2022},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.802732Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:ba7218d5159c8384e8e6784fcdcadf2262fbeabb0a4eb3de1a9bf1c10df21429","observation_id":"e4b83c95-220b-41ca-b073-8459186a2626","resolution":{"observed_at":"2026-08-08T13:12:27.227192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.214555Z","title":"Nl2tl: Transforming natural languages to temporal logics using large language models","venue":null,"work_id":"13ee2136-a985-43dd-936f-ef71779e683d","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.805535Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:843733a82fc6bc66e0deaa93e95f4bd3ff082414ef188b84ef80641c4ec9eff9","observation_id":"e7ad5691-1fc0-49bf-a790-354812e39800","resolution":{"observed_at":"2026-08-08T13:12:27.218090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.204860Z","title":null,"venue":null,"work_id":"b23f7161-e0e6-42d4-9ad0-fd6feabc103b","year":2026},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.808467Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:1284934be431cb0d2b7c86ac7bce1820b423ca305b52d6f54567ae689f98ac2f","observation_id":"9fcc50eb-4aa2-442a-8eae-ebd4bdd015b7","resolution":{"observed_at":"2026-08-08T13:12:27.208026Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.195779Z","title":"Calibrated interpretation: Confidence estimation in semantic parsing.Transactions of the Association for Computational Linguistics, 11:1213–1231, 2023","venue":null,"work_id":"45e228a2-3dd3-458c-8979-5914bec4adfa","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.811417Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:15888b4a833ee3690c84ae660d319188c5369ec76441e7bbd55b4336a3dbb514","observation_id":"0b57e71f-2c4f-49fe-99c3-0ddb6d80826a","resolution":{"observed_at":"2026-08-08T13:12:27.199103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.186199Z","title":"A unified view of evaluation metrics for structured prediction","venue":null,"work_id":"3b77f326-4c9a-4d73-aa84-207b0b0818d0","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.814584Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:9bbc254e26866832069668a21c6df50e7fbcfbcaf7d088d1f3f00f7da653ffc9","observation_id":"f0f550e3-b787-489e-9a40-050cc0c6696c","resolution":{"observed_at":"2026-08-08T13:12:27.189595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.177006Z","title":"Semantic evaluation for text-to-sql with distilled test suites","venue":null,"work_id":"1883fb5c-c0ed-4862-a8bb-64440a404411","year":2020},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.818415Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:12d6a95f757be4b3c67631fa8321c730532b95066acd8abecf983cd298d44c9b","observation_id":"c4864486-736e-4e96-bf9a-8d1ed3290231","resolution":{"observed_at":"2026-08-08T13:12:27.180300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.167659Z","title":"Confidence estimation for error detection in text-to-sql systems","venue":null,"work_id":"6c056d4d-5712-4592-99df-00c05f887671","year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.821373Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:85eb760892da78143935f04ab6ed9ed4469aa15815cd38797793d3b0ffe49ac2","observation_id":"d88a6274-70b2-4e04-8b41-5487e7e2ad97","resolution":{"observed_at":"2026-08-08T13:12:27.170986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.824210Z","title":"Springer, 2005","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.824210Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:504af1f2b707021f649cf7960f9e338dc897495d46fe6a38d66fb5a5a13c1b81","observation_id":"856d09ad-5857-42d1-9170-90e0b788589d","resolution":{"observed_at":"2026-08-08T13:12:25.824210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.152508Z","title":"Selectivenet: A deep neural network with an integrated reject option","venue":null,"work_id":"6c18d0f4-011f-481c-9a1f-d05f6e9957ea","year":2019},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.827524Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:547e7cd48c23ebb89bdbf3954e0199cd1f3882157ad969a4ddf13e9197577b66","observation_id":"10b8243b-336b-40dd-80b6-b649dfc39586","resolution":{"observed_at":"2026-08-08T13:12:27.155840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.142584Z","title":"Selective generation for controllable language models.Advances in Neural Information Processing Systems, 37:50494–50527, 2024","venue":null,"work_id":"bddf3d31-f7ca-4988-b961-f3808b8eafb2","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.830496Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:c2f382f12a377c8796ec6aa22cc5c3598713ecfc6b76e72c00835e2ed17f2e57","observation_id":"38da1705-47c2-4a8c-b906-413bb4597355","resolution":{"observed_at":"2026-08-08T13:12:27.145899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.133185Z","title":"Conformal risk control","venue":null,"work_id":"411efa9f-4f32-460d-99db-856092c53013","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.834535Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:660493c2c468c93e3105aa94f5547f581d1a2be1f9ccdf6012a288a88a396e56","observation_id":"f78f669d-5033-4648-88f8-61dcfccb49d4","resolution":{"observed_at":"2026-08-08T13:12:27.136488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.837637Z","title":"SConU: Selective conformal uncertainty in large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.837637Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:993288f237c14171a9832ba175083a2fff8288ff0fda55861274144fef004f3d","observation_id":"d37c20ab-beaa-4986-ab67-7a3d329a6347","resolution":{"observed_at":"2026-08-08T13:12:25.837637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.124056Z","title":"Sorry dave, i’m afraid i can’t do that: Explaining unachievable robot tasks using natural language","venue":null,"work_id":"af3c1f64-6eae-493a-8184-732402906007","year":2013},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.840684Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:ec767bce3df21b51dfa783963a4714f2ff698f373f698f32f343b20dda94a6a5","observation_id":"ae70d9eb-63c0-4965-8fc5-f2a60a7fe70a","resolution":{"observed_at":"2026-08-08T13:12:27.127396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.115095Z","title":"Sequence-to-sequence language grounding of non-markovian task specifications","venue":null,"work_id":"9a9dd315-53c8-4f19-a879-030ef5d92115","year":2018},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.844140Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:c95110b113c7e9ed0682a9168ff0fb284f9ab9547ed40ce967584dda452e5473","observation_id":"e6eef47c-03f2-4e6e-a492-1d6914ac116e","resolution":{"observed_at":"2026-08-08T13:12:27.118332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.105529Z","title":"Learning a natural-language to ltl executable semantic parser for grounded robotics","venue":null,"work_id":"bea20c01-7d8b-4ead-963a-be622cd17858","year":2021},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.847262Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:e2a08a593508240dd8c687f87f73ad57b302071ef932a9fa4a78313962a08dfa","observation_id":"6db88dc1-9eb0-4adf-b388-9f970f531956","resolution":{"observed_at":"2026-08-08T13:12:27.109095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.096240Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics with large language models","venue":null,"work_id":"2face5af-adf2-4723-a74f-fff049b6f255","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.850255Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:f28fa7edd2b572bf6c2014310dc007af086ef5b23e1af06429ecbb81b3d10eff","observation_id":"67f0c98c-5812-437b-98e8-164045101a4c","resolution":{"observed_at":"2026-08-08T13:12:27.099431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.086318Z","title":"Translating natural language to temporal logics with large language models and model checkers","venue":null,"work_id":"33813c1e-adbd-4262-999d-9efce2d44ea3","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.853455Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:ebce2a6dedadc4f1b71730251193d6475b9288ffdcc05bba8746c80f8014897c","observation_id":"e1f30717-3a97-4dfd-a7b0-1c92fa02f727","resolution":{"observed_at":"2026-08-08T13:12:27.089672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.077047Z","title":"Enhancing transformation from natural language to signal temporal logic using llms with diverse external knowledge","venue":null,"work_id":"90429919-ed5b-4d60-a22d-9d7415d8c4a1","year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.856407Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:5b04473f7de9af090a84c6132c47db3e01b73aee8e9be7d2a263f59fd9c340e6","observation_id":"d5557135-5783-4782-88ed-a0eda7254c5e","resolution":{"observed_at":"2026-08-08T13:12:27.080459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.16814","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.836692Z","title":"Grammar-forced translation of natural language to temporal logic using llms.arXiv preprint arXiv:2512.16814, 2025","venue":null,"work_id":"e63a07b3-aa81-4fc6-b8e5-ca12c51a8e52","year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.859464Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:5d3fa40cecf4423ec0aec5470ce89451e136492a3f39c70bc073e15bf9f50752","observation_id":"0065a34e-d12a-4907-bc63-273432e71a75","resolution":{"observed_at":"2026-08-08T13:12:26.842973Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.067942Z","title":"Nl2ltl–a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas","venue":null,"work_id":"8e32daf8-0ae0-4f37-aeda-849fe624907e","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.863120Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:96f388a394cfd52cf54a6384e4b7d7ffd8f244d7ac85d4e597ae069b0c27326f","observation_id":"55e17510-7ea1-4842-8a95-1775c4f2d5c3","resolution":{"observed_at":"2026-08-08T13:12:27.071316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.866231Z","title":"Conformalnl2ltl: Translating natural language instructions into temporal logic formulas with conformal correctness guarantees.arXiv preprint arXiv:2504.21022, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.866231Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:eb7a250330c9341695d37a9a7b8d9d5e111ef19a42a0378de9e528ee90524edb","observation_id":"d524328b-2034-4a2e-be5a-88b49cbf47fe","resolution":{"observed_at":"2026-08-08T13:12:25.866231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.058008Z","title":"Api is enough: Conformal prediction for large language models without logit-access","venue":null,"work_id":"5d7e120d-2300-474f-9eca-4aad0cbfb808","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.869399Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:0de96f567e7d94db80d766c045e4f51d254f00b4fcf7cc6a60fe021a9288d5b4","observation_id":"2af2dfff-c0a8-4c69-ae1b-24b9e69276de","resolution":{"observed_at":"2026-08-08T13:12:27.061536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.872310Z","title":"Conu: Conformal uncertainty in large language models with correctness coverage guarantees","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.872310Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:4bf1e51692854e01b4ac416c49da9dca0610b6608b3c2d659cf03b4adf0b2892","observation_id":"135dcd79-0df4-4df7-bb37-74eaa1c46036","resolution":{"observed_at":"2026-08-08T13:12:25.872310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.043143Z","title":"Conformal language modeling","venue":null,"work_id":"b80aeeca-14d3-4404-8c7d-f973706ca228","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.875472Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:d65dc098799d65078412890c62ad3ad5ef1d5882ee2de4279dd396dce81d3f42","observation_id":"9306bf8d-7b3b-4422-82a0-727f3c8eb0de","resolution":{"observed_at":"2026-08-08T13:12:27.047111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.10978","last_updated":"2024-02-15T18:31:53Z","snapshot_observed_at":"2026-08-02T03:46:50.760213Z","submitted_at":"2024-02-15T18:31:53Z","title":"Language Models with Conformal Factuality Guarantees","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.10978","snapshot_observed_at":"2026-08-08T13:12:25.879708Z","title":"Language models with conformal factuality guarantees.arXiv preprint arXiv:2402.10978, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.879708Z"},"links":{"cited_paper":"/paper/2402.10978","citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:55190e33430ec62c501ee9b6a8617c3fced787f672e49d6f68233c35fa246a68","observation_id":"0cf8ed35-b0e1-4ea5-99a8-b667957cf988","resolution":{"observed_at":"2026-08-08T13:12:25.879708Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.032784Z","title":"Prompt risk control: A rigorous framework for responsible deployment of large language models","venue":null,"work_id":"7728c54f-6f3e-4cff-9e81-65730914c9fe","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.883829Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:a90a3b801b7f37ff79b17e24a513173e8a73501fbcbe25e0ac1bc283d0b65169","observation_id":"a3853b8d-e685-4924-9dad-6ac3c9a85ff4","resolution":{"observed_at":"2026-08-08T13:12:27.036209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.886724Z","title":"Large language model validity via enhanced conformal prediction methods.Advances in Neural Information Processing Systems, 37:114812–114842, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.886724Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:610af4dc611104ccf6365918980cb3478a2e05b96f85e3ee3a630e375b1a80c1","observation_id":"794a6fb4-2033-409c-8a82-cbed7bfbdb07","resolution":{"observed_at":"2026-08-08T13:12:25.886724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.889490Z","title":"Detecting hallucinations in large language models using semantic entropy.Nature, 630(8017):625–630, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.889490Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:a392e334c50c828ffde7e66a5cc8940cc970fbfd8fe28e48c77bc7297a5beaf7","observation_id":"af7bea8f-854d-466a-864e-e17a23e46d23","resolution":{"observed_at":"2026-08-08T13:12:25.889490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:27.013067Z","title":"Non-exchangeable conformal risk control","venue":null,"work_id":"27b70c98-ae5a-425e-b196-56c335402c74","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.893043Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:823493a30f3b21bf517d7096ed369bce677f4b25b9df6f674c271d9a6dccdd3a","observation_id":"29eb581e-23e6-42eb-bc24-bcf5911b724c","resolution":{"observed_at":"2026-08-08T13:12:27.016328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.896189Z","title":"Conformal prediction under covariate shift.Advances in neural information processing systems, 32, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.896189Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:a55765919fd02eedaab13da311c26f4db76384596a29c09633b93e33478ba9db","observation_id":"a5b57725-3dd2-47ab-9a35-dc08d398bc40","resolution":{"observed_at":"2026-08-08T13:12:25.896189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.899831Z","title":"Conformal prediction beyond exchangeability.The Annals of Statistics, 51(2):816–845, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.899831Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:474746b883b6f76812d6a5bfab6de2ac062f12bf617605f006e03d83914d4537","observation_id":"a2a20363-1e50-414c-93f9-17fb2a6c9a50","resolution":{"observed_at":"2026-08-08T13:12:25.899831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.993371Z","title":null,"venue":null,"work_id":"96170298-e08c-466b-9925-71992aa8d065","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.903476Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:5d79a969aeb8c237839cb4137a3669d518ca642f822451afb040340fe3152004","observation_id":"b4a80380-314e-43bc-b0cc-6c9b78069027","resolution":{"observed_at":"2026-08-08T13:12:26.996366Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06670","last_updated":"2024-05-14T18:30:52Z","snapshot_observed_at":"2026-08-09T13:22:41.741062Z","submitted_at":"2024-05-03T16:38:14Z","title":"TLINet: Differentiable Neural Network Temporal Logic Inference","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06670","snapshot_observed_at":"2026-08-08T13:12:25.906525Z","title":"Tlinet: Differentiable neural network temporal logic inference.arXiv preprint arXiv:2405.06670, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.906525Z"},"links":{"cited_paper":"/paper/2405.06670","citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:2cca59ef9edca8cc58ab10b6627149216a60bca9ab93ea3bfc32745335624acd","observation_id":"c5032902-06d6-4f83-af9b-b08ed420b4d9","resolution":{"observed_at":"2026-08-08T13:12:25.906525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.983311Z","title":"Learning signal temporal logic through neural network for interpretable classification","venue":null,"work_id":"917ca8f2-03b0-4911-9d8f-a76055d7628a","year":1907},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.909696Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:1980fc613770addff73fad465926e6acbb1a44bd1e5d1b14c758aff04525bebd","observation_id":"e6a21313-81f2-4139-a929-b356ac7b11a3","resolution":{"observed_at":"2026-08-08T13:12:26.986571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.974082Z","title":null,"venue":null,"work_id":"d1c3c96c-ad21-4801-8a1e-65bb5900a133","year":2026},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.912878Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:a7dfedf664c1561d909a23de8bedef278e35797aa1368a804b18b9308dd16cca","observation_id":"4b4eb308-7cc6-4ea9-937f-0be6183dff4d","resolution":{"observed_at":"2026-08-08T13:12:26.977368Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.915731Z","title":"Conformal prediction for signal temporal logic inference.arXiv preprint arXiv:2509.25473, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.915731Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:683e56cfb88c4121d7185bd4bbc5c28960c7fda40dfd9b6fccfc2eff61d8867c","observation_id":"0f94679f-6e3e-4932-a2fd-7046b93b0a6f","resolution":{"observed_at":"2026-08-08T13:12:25.915731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.919449Z","title":"Conformalized signal temporal logic inference under covariate shift.arXiv preprint arXiv:2603.27062, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.919449Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:33f47823cba887431d844d21840f735e82b31944e03e288e02662f511f072f78","observation_id":"50ddc996-1d9a-42d2-b4fc-cee18e9f4089","resolution":{"observed_at":"2026-08-08T13:12:25.919449Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.965306Z","title":"Conformal temporal logic planning using large language models.ACM Transactions on Cyber-Physical Systems, 2023","venue":null,"work_id":"59739ef0-b4ef-4f7e-ab47-000ab6b22d16","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.922620Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:55a38281ca910cc8a427656d4fcc436eab2eb2e87083c3acb871cd5430f2233d","observation_id":"1f590863-4f69-490b-8b1b-974c927681b4","resolution":{"observed_at":"2026-08-08T13:12:26.968489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.956007Z","title":"Probabilistically correct language-based multi-robot planning using conformal prediction.IEEE Robotics and Automation Letters, 10(1):160–167, 2024","venue":null,"work_id":"61b22ad8-9b07-41fe-b2ef-ee5c0365cceb","year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.925854Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:2f6e91e278383d5cb8cbc2968d681ca5abeb6911450ef53801d847cacca229a8","observation_id":"0714bbf9-f4dc-42f9-8a3a-7eae2c8430b4","resolution":{"observed_at":"2026-08-08T13:12:26.959406Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.01928","last_updated":"2023-09-04T16:06:48Z","snapshot_observed_at":"2026-08-04T18:40:25.819787Z","submitted_at":"2023-07-04T21:25:12Z","title":"Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.01928","snapshot_observed_at":"2026-08-08T13:12:25.929448Z","title":"Robots that ask for help: Uncertainty alignment for large language model planners.arXiv preprint arXiv:2307.01928, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.929448Z"},"links":{"cited_paper":"/paper/2307.01928","citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:c35127d41ff594439e728f32a526430694dd348db6021e9a45af53db0cab0d3a","observation_id":"3a199d6c-c14e-4258-8a96-b76932319470","resolution":{"observed_at":"2026-08-08T13:12:25.929448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.933259Z","title":"Safe planning in dynamic environments using conformal prediction.IEEE Robotics and Automation Letters, 8(8):5116–5123, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.933259Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:8fc54c59400bdd99269939e3557237cb1ca91e2e065546720f229abdac0e2b0b","observation_id":"c685c206-7fe6-4058-8921-ba06b37c7b66","resolution":{"observed_at":"2026-08-08T13:12:25.933259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.936246Z","title":"Testing for outliers with conformal p-values.The Annals of Statistics, 51(1):149–178, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.936246Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:d6a6fd20d0a322880f28214294d1e5cc397c14271775935f389b7a7d1037ede9","observation_id":"ce237e82-2ef3-42e5-ab88-2554d2f1cbff","resolution":{"observed_at":"2026-08-08T13:12:25.936246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.935694Z","title":"Selection by prediction with conformal p-values.Journal of Machine Learning Research, 24(244):1–41, 2023","venue":null,"work_id":"2f73633e-0f50-4ff4-9bff-99a9a9708721","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.939191Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:e085d5aeb25eea097ad37231ce820cdb785586dbdeaf8fc2b99844804a6a4bdf","observation_id":"04352bdd-c979-47f9-95ce-f273309187cf","resolution":{"observed_at":"2026-08-08T13:12:26.939082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.926225Z","title":"Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories.Annals of Mathematics and Artificial Intelligence, 74(1):67–94, 2015","venue":null,"work_id":"0c42be33-54a7-4c45-87ff-cd0490a8aa41","year":2015},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.942049Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:505e262ab4ff7dafaa9461656f939c30e213a71dcede01a9559175f2782cdb96","observation_id":"6e994053-fc59-419a-86fd-1d9e43723a05","resolution":{"observed_at":"2026-08-08T13:12:26.929600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.12844","last_updated":"2026-04-27T02:26:44Z","snapshot_observed_at":"2026-08-02T21:13:26.385154Z","submitted_at":"2025-12-14T21:18:28Z","title":"Selective Conformal Risk Control","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.12844","snapshot_observed_at":"2026-08-08T13:12:25.945199Z","title":"Selective conformal risk control.arXiv preprint arXiv:2512.12844, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.945199Z"},"links":{"cited_paper":"/paper/2512.12844","citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:f046060bc225d10397c974a46d3abd369a47c010ed799e130252888d41d9edde","observation_id":"385acdfa-fdfa-4c58-b79e-c8e002e3c602","resolution":{"observed_at":"2026-08-08T13:12:25.945199Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.917138Z","title":"Out-of-distribution detection with deep nearest neighbors","venue":null,"work_id":"2c648734-c397-4d39-9fcf-1245e13bf8e9","year":2022},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.948586Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:2d7259566ff3d6d318a86f306ca969b301a75d7ed07f76ed4d65bc6c30e5fab7","observation_id":"b9bfd242-287f-4db8-931f-318bb933d80b","resolution":{"observed_at":"2026-08-08T13:12:26.920470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.908255Z","title":"MIT press, 2008","venue":null,"work_id":"25d7bd37-ac53-4bb7-b601-2ea2a4fdc8a2","year":2008},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.952584Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:9a9507af6d34e252f4423a276558d4ac24ff520d1394cf21be63130812c481a8","observation_id":"c39f5b50-2eba-4fe8-9914-ab35e8819aa4","resolution":{"observed_at":"2026-08-08T13:12:26.911401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.899079Z","title":"Springer, 2017","venue":null,"work_id":"fd802c29-5ae6-46d3-9e0b-2375ab1ea311","year":2017},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.955663Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:c2e19f7a1686ca54fe7a59a94894ad1fdd146c914235db68c222882058786653","observation_id":"0b8f9589-34e8-4b33-83e2-3a08365b3500","resolution":{"observed_at":"2026-08-08T13:12:26.902183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.958549Z","title":"Shifting attention to relevance: Towards the predictive uncertainty quantification of free-form large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.958549Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:006fdcd23ffbd3be302e77beb4ddeec18bf22fbc02dbd29d4ee9b15074a198a2","observation_id":"7a8cfa26-cb19-409e-b04f-e663f3002856","resolution":{"observed_at":"2026-08-08T13:12:25.958549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.884474Z","title":"Lang2ltl: Translating natural language commands to temporal specification with large language models","venue":null,"work_id":"e54bfbeb-51a7-4bff-bfbd-8b1835a38703","year":2022},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.961571Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:8ede48f893a60300fe198f8f42c3d5805f31afb557d2863971d13c69697ac559","observation_id":"962cc8c1-916c-47ed-b2a4-c56012f3fec3","resolution":{"observed_at":"2026-08-08T13:12:26.887759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.875201Z","title":"Revisiting round-trip translation for quality estimation","venue":null,"work_id":"41b67ed5-c652-4eb4-85ee-f6dc3ca8b12e","year":2020},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.964967Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:84bd81bac3347c79b65817b33ba0df6485de40525de43bd760ffc314b0fe9c10","observation_id":"de515e99-8b5f-4707-8a55-bb946aefb9a3","resolution":{"observed_at":"2026-08-08T13:12:26.878442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:25.967974Z","title":"Judging llm-as-a-judge with mt-bench and chatbot arena.Advances in neural information processing systems, 36:46595–46623, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.967974Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:71eefbd9092dabdda2d096216b2c1c3eb7b41b839b2091aacd3a1d60c389edae","observation_id":"6a327bbb-3091-4316-b814-55a5ce404341","resolution":{"observed_at":"2026-08-08T13:12:25.967974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.860178Z","title":"Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou","venue":null,"work_id":"b46d8c12-a605-4843-8a03-4b5b8ab3039a","year":2023},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.970940Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:06471d2ae6acd7edd10120bb04f555e70a6ace8f4361185a442c084ffd3491a5","observation_id":"67e4016b-6ae7-4e1b-a346-c48020ac7f68","resolution":{"observed_at":"2026-08-08T13:12:26.863472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:12:26.850894Z","title":"If ( prop_1 ) then at a time within the next 12 to 50 time units ultimately ( prop_2 )","venue":null,"work_id":"fd1e6c11-370d-4c98-aa8f-93ec0b8076a3","year":1982},"citing_paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-08T13:12:25.974179Z"},"links":{"citing_paper":"/paper/2608.05439"},"observation_digest":"sha256:d43fa759f3944c7e15aa407ca0ad3dff2ff5a49df645f46954f2373fb573976c","observation_id":"c1d30f7e-cd59-493d-a750-c8b6ae23205e","resolution":{"observed_at":"2026-08-08T13:12:26.854295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.05439","last_updated":"2026-08-05T22:17:09Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T23:10:50.038873Z","submitted_at":"2026-08-05T22:17:09Z","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":1,"verified_fuzzy":37},"total_outbound_references":61},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2608.05439."}