{"as_of":"2026-08-17T19:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a211386458a03cd60e2ec54a1c6fab35f5597e8c30e947ab88a0c9b11099e06e","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:45:01.334167Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2505.03985/citation-record","integrity":"/paper/2505.03985/integrity","json":"/paper/2505.03985/citation-record.json","paper":"/paper/2505.03985"},"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-15T23:45:01.987087Z","title":"The power of assessment feedback in teaching and learning: a narrative review and synthesis of the literature","venue":null,"work_id":"1cfe08ea-9865-4953-8b6d-08186ab1bf22","year":2021},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.109925Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:eca22335d824c809b29bdba533e84e41138e4057d1321ae29a53d5678f9c9c4b","observation_id":"c94dfeb0-4b10-4f44-bf8c-3e4e618c368a","resolution":{"observed_at":"2026-08-15T23:45:01.991414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.973014Z","title":"Planning for the unknown: Local government strategies from the fiscal year 2021 budget season in response to the covid-19 pandemic","venue":null,"work_id":"ac57e895-28bf-4315-8b1a-ca09d962f1b6","year":2021},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.115832Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:967e4eac9aab50147888e32dd32da340794b30b7254e9b00c7240f314cc2431c","observation_id":"b08d3a66-4a8a-4f0d-96ea-7c271c1ee447","resolution":{"observed_at":"2026-08-15T23:45:01.977069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.961155Z","title":"The value and effectiveness of feedback in improving students' learning and professionalizing teaching in higher education","venue":null,"work_id":"f87d26f7-a24d-459a-b7de-f6b91f59c6a9","year":2016},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.120410Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:2ae446bdb3437abb519e02902d2a606e098a060179c5aef0a993f0dae840cca6","observation_id":"31ab4bbd-564b-4511-bb06-eb897c22adf2","resolution":{"observed_at":"2026-08-15T23:45:01.965061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.18745","last_updated":"2024-10-24T13:51:50Z","snapshot_observed_at":"2026-08-16T13:06:16.669745Z","submitted_at":"2024-10-24T13:51:50Z","title":"Why Does the Effective Context Length of LLMs Fall Short?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.18745","snapshot_observed_at":"2026-08-15T23:45:01.124930Z","title":"Why does the effective context length of llms fall short? arXiv preprint arXiv:2410.18745 , 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.124930Z"},"links":{"cited_paper":"/paper/2410.18745","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:029a137130f997772f1d308e520c70330e76a0afc8ae4b2a2ffbe41bfe52d276","observation_id":"7e75f048-2abd-443f-bc70-150a509ea2c6","resolution":{"observed_at":"2026-08-15T23:45:01.124930Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.00610","last_updated":"2025-05-01T15:40:58Z","snapshot_observed_at":"2026-08-16T21:00:17.539729Z","submitted_at":"2025-05-01T15:40:58Z","title":"Combining LLMs with Logic-Based Framework to Explain MCTS","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.00610","snapshot_observed_at":"2026-08-15T23:45:01.129692Z","title":"Combining llms with logic-based framework to explain mcts","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.129692Z"},"links":{"cited_paper":"/paper/2505.00610","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:0673a02654d62054291352fd77bde77bb70406f9d4922beefa6e7cb411265e4f","observation_id":"2d002b3c-f1af-4b1a-a458-e44e6ff7593e","resolution":{"observed_at":"2026-08-15T23:45:01.129692Z","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-15T23:45:01.949541Z","title":"Bounded model checking of signal temporal logic properties using syntactic separation","venue":null,"work_id":"c09e0629-d84e-4927-a944-9406eb3cf362","year":2019},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.134259Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:9ee6033fb570c45b43e99c118b45acef98c8494876e3a2e41ad018bcf61e6540","observation_id":"3192c3b6-9ed4-4e1e-b634-f58b0411dbb8","resolution":{"observed_at":"2026-08-15T23:45:01.953905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.938176Z","title":"Cityspec: An intelligent assistant system for requirement specification in smart cities","venue":null,"work_id":"233689aa-9651-4a8f-a7de-054a61c607f1","year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.139019Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:cc34ff54fb26cb98afebd7982605c68bf4160c1721234142bb2fcdf87ea87d3a","observation_id":"a4bebf1d-2033-4d5e-8d7b-7afd3ade63f0","resolution":{"observed_at":"2026-08-15T23:45:01.942033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.925668Z","title":"An intelligent assistant for converting city requirements to formal specification","venue":null,"work_id":"20fd3159-5af1-4617-abf7-aff99c844e21","year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.144598Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:e16c6fd5453abcb7ba3a9412fbfa1448eccd455fff3a13c8d557f9860efd7230","observation_id":"82bb25e5-a491-4f94-92fe-43e168732b88","resolution":{"observed_at":"2026-08-15T23:45:01.929973Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.912577Z","title":"Cityspec with shield: A secure intelligent assistant for requirement formalization","venue":null,"work_id":"d9aacca4-e333-4bac-8fc6-6d6b767ef965","year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.148594Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:f2d511c24090b8cf4324897f86cafa5ebb258ac26480fc3d4b75cdb646d525c0","observation_id":"6fe00d47-0a8b-4da8-9691-bfcc0392f27f","resolution":{"observed_at":"2026-08-15T23:45:01.917651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.899778Z","title":"Benchmarking large language models in retrieval-augmented generation","venue":null,"work_id":"dd85df37-472d-4a48-89a7-a156e06b0a2e","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.152543Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:d9ffc07700d55bde8594726e6eb2cdd6f4224e3822ec41c631291bd6db5149df","observation_id":"25eb9076-7bbd-4ede-8758-afa2801db9b3","resolution":{"observed_at":"2026-08-15T23:45:01.904565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.887278Z","title":"Auto311: A confidence-guided automated system for non-emergency calls","venue":null,"work_id":"8e7ba56d-a708-4d90-92f2-ff7f3c66c508","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.156332Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:0e1dac7d4dbfd295555733d5f594bfc275caca2d20767e3e34be65ac971d3d17","observation_id":"bb8a96fe-3553-4ff1-9259-1203a1bf2b47","resolution":{"observed_at":"2026-08-15T23:45:01.891300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.872732Z","title":"Sim911: Towards effective and equitable 9-1-1 dispatcher training with an llm-enabled simulation","venue":null,"work_id":"79a7c807-cf0c-4889-9263-726570cf5cfe","year":2025},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.160339Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:656854f3890da803679fee8b632b2e844ec088cb6d358d324005f29ac9d008ac","observation_id":"bd8185c1-ce80-4881-b5db-e5eb261cde06","resolution":{"observed_at":"2026-08-15T23:45:01.878294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.164347Z","title":"Scaling instruction-finetuned language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.164347Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:2a69aed1714af28cf7b8986013ec8f53a1c84cb84d853e0bcada8ac6edb5b0e7","observation_id":"95270411-994a-402e-9a85-f9da88d792d3","resolution":{"observed_at":"2026-08-15T23:45:01.164347Z","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-15T23:45:01.851779Z","title":"nl2spec: interactively translating unstructured natural language to temporal logics with large language models","venue":null,"work_id":"e881e405-5409-4a0f-8e6d-1df1701ccb81","year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.168767Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:233395f5676f73c4055da58aa25972b521683ddbb1b71f9fb8f9c2b6408e33af","observation_id":"236b5ee6-0946-4d87-a534-4571a1bf2334","resolution":{"observed_at":"2026-08-15T23:45:01.855942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.840236Z","title":"Gemini-flash-thinking: Multi-modal reasoning with external memory","venue":null,"work_id":"17a36586-6343-4407-afb7-6dd87ec66487","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.172909Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:676bc19c6360159c47033acc2480ce0f010ec785d2301ee2ba1738ab01bc00cb","observation_id":"8ba31872-2609-4d57-8f27-ad9d3ad4553c","resolution":{"observed_at":"2026-08-15T23:45:01.843869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.828812Z","title":"Deepseek-v3: Scaling open large language models with moe, 2024","venue":null,"work_id":"df00e531-f3e1-4eed-b2e3-391bf1bfaca9","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.177091Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:7779527610d2dd4384c90474de8f689a44c9a7eda0b496dfa8c8aeba44a8b85a","observation_id":"68f2a7fc-41ef-4461-a30c-15ea68b00c2b","resolution":{"observed_at":"2026-08-15T23:45:01.832766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.817102Z","title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning, 2025","venue":null,"work_id":"9cab020c-5d62-4aa3-9a13-e7c46de8fae7","year":2025},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.181267Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:94b0e6e29deaf6d58e77f0f111c0d94e39da9e1f94163b3b65ae9bea6f67e943","observation_id":"ac7ef087-d7a6-4225-837d-365f55f5543d","resolution":{"observed_at":"2026-08-15T23:45:01.820877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18009","last_updated":"2024-11-18T11:15:56Z","snapshot_observed_at":"2026-08-16T13:48:42.243686Z","submitted_at":"2024-05-28T09:50:46Z","title":"Exploring Context Window of Large Language Models via Decomposed Positional Vectors","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18009","snapshot_observed_at":"2026-08-15T23:45:01.185583Z","title":"Exploring context window of large language models via decomposed positional vectors","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.185583Z"},"links":{"cited_paper":"/paper/2405.18009","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:7fa18b3884125d5829872a61fdffb5f4afe83082c812fc04e6b680ead8de98d3","observation_id":"326b05f6-8471-4a69-8569-2d2117aba836","resolution":{"observed_at":"2026-08-15T23:45:01.185583Z","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-15T23:45:01.804141Z","title":"An automated system repair framework with signal temporal logic","venue":null,"work_id":"1a7430f5-e4e1-46d6-a8cc-db669f96aac3","year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.190220Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:119d1881dabda03a9393070376cd83047113cc512f6e04a8236b95d920ccaf3d","observation_id":"cc234777-879c-4da0-a525-7e22d421d5ee","resolution":{"observed_at":"2026-08-15T23:45:01.808593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.791372Z","title":"Gemma 2: Improving open language models at a practical size, 2024","venue":null,"work_id":"2d21eba4-1557-4c42-872e-0412bef862e3","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.198142Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:3fcf3eef3d0656555d76b9dfe7a5ed108f7627059eb2e2181527c1083d1f682e","observation_id":"7de13c20-4641-455f-8b7e-cdfae9da87f9","resolution":{"observed_at":"2026-08-15T23:45:01.795658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.779302Z","title":"Intelligent tutoring systems","venue":null,"work_id":"06502b11-ab63-4dc7-b01e-6769b0e0890f","year":2012},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.203664Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:baf356cb7504a99c26bc48cc316492e5a75d051d82876b21678db110af27b42e","observation_id":"15add7da-9352-4fab-b372-1ce7e1fcc71a","resolution":{"observed_at":"2026-08-15T23:45:01.783192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01798","last_updated":"2024-03-14T04:27:52Z","snapshot_observed_at":"2026-08-13T03:11:04.678829Z","submitted_at":"2023-10-03T04:56:12Z","title":"Large Language Models Cannot Self-Correct Reasoning Yet","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01798","snapshot_observed_at":"2026-08-15T23:45:01.207671Z","title":"Large language models cannot self-correct reasoning yet","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.207671Z"},"links":{"cited_paper":"/paper/2310.01798","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:3c27a0b7daf30bba2fe0434dae5dcaae41ccd1243045e09691f674e8870caaeb","observation_id":"9969d227-867b-4886-8863-418b6e97068b","resolution":{"observed_at":"2026-08-15T23:45:01.207671Z","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-15T23:45:01.766917Z","title":"America's 911 workforce is in crisis, 2023","venue":null,"work_id":"583d762f-88fd-484a-8622-71c4214781dc","year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.213483Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:a10af6cd9cd9a286df7de3d6274aa5b3c19ba719314be3632f6e23febc1d0327","observation_id":"754a1cee-a759-4a06-b732-b9668f8f8c28","resolution":{"observed_at":"2026-08-15T23:45:01.771048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.754445Z","title":"Call volume and quality assurance challenges in u.s","venue":null,"work_id":"2ea9d405-414b-432a-9e2c-48441e52d57c","year":2020},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.217374Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:24d98dcced670a7028241698118405c9e4f9d65ec93b968e02e8c19193f1df39","observation_id":"30b1890c-4058-4775-a4a2-b591c3381aef","resolution":{"observed_at":"2026-08-15T23:45:01.758863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.742213Z","title":"Can large language models reason and plan? Annals of the New York Academy of Sciences , 1534(1):15--18, 2024","venue":null,"work_id":"cb332539-a7a1-4674-b14a-965a6f806525","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.221793Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:7fcbe8e8dad8e13f24737d4d703f2954b9dd8e8454525261972169d59c9f8cc4","observation_id":"97660553-87ef-4860-9e9e-805231dc898f","resolution":{"observed_at":"2026-08-15T23:45:01.746799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.10149","last_updated":"2024-11-06T14:50:40Z","snapshot_observed_at":"2026-08-16T13:42:53.753710Z","submitted_at":"2024-06-14T16:00:29Z","title":"BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystack","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.10149","snapshot_observed_at":"2026-08-15T23:45:01.225948Z","title":"Babilong: Testing the limits of llms with long context reasoning-in-a-haystack","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.225948Z"},"links":{"cited_paper":"/paper/2406.10149","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:4d5771023100b7874e184ae7581f673489950774b0459c1443d5a116baa5bf3a","observation_id":"77f1e9c6-dc3f-4462-b8e7-56d316892dd6","resolution":{"observed_at":"2026-08-15T23:45:01.225948Z","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-15T23:45:01.230822Z","title":"u ttler, Mike Lewis, Wen-tau Yih, Tim Rockt \\","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.230822Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:df92e869c9e7ea655c0dd64f5c4c82a29435aa9aa0c8432a96e94ad0495f7cfb","observation_id":"2dbc5671-c818-4114-b4c1-09ca6f4da008","resolution":{"observed_at":"2026-08-15T23:45:01.230822Z","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-15T23:45:01.718384Z","title":"Deductive verification of chain-of-thought reasoning","venue":null,"work_id":"8e2adbd0-c311-4d79-ba4b-35d6472ab0a7","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.234913Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:760c4fce21598db6c11e866ed5d21661a19de2625ecef94a1a5d0ec50fbc74ab","observation_id":"22f69344-c4e7-4ee8-a694-53fea09ff221","resolution":{"observed_at":"2026-08-15T23:45:01.724387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.705432Z","title":"Lost in the middle: How language models use long contexts","venue":null,"work_id":"416a0e73-326c-4567-b6c1-94f5da37b627","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.239158Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:81b0336b69ac5e17f2748ae7cf217aa234d85f3aea21a6efafe5a8d0aac92ee2","observation_id":"8ffed7b3-8381-4e8c-96ae-6d81611069c0","resolution":{"observed_at":"2026-08-15T23:45:01.709941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.690947Z","title":"Data sets, modeling, and decision making in smart cities: A survey","venue":null,"work_id":"568b132b-14fb-4675-a657-bb0849375852","year":2019},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.242941Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:ec2e734f90642467dbe2419da05c8c561b957d4b691f1eb81b68aeaf576a058b","observation_id":"4938c3c4-09e6-48d4-943a-1cb85a76f57e","resolution":{"observed_at":"2026-08-15T23:45:01.695183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.677897Z","title":"Monitoring temporal properties of continuous signals","venue":null,"work_id":"289ac71a-4787-4de8-a324-2588cef283be","year":2004},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.246853Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:49f0cd160b314f40621c9f400e0c2c33087170ce088f6454e52ec03c94cd2c71","observation_id":"f267fa0a-b3e3-461d-9f61-671343551534","resolution":{"observed_at":"2026-08-15T23:45:01.682216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.01792","last_updated":"2024-10-04T03:57:33Z","snapshot_observed_at":"2026-08-16T13:13:15.346059Z","submitted_at":"2024-10-02T17:50:19Z","title":"When a language model is optimized for reasoning, does it still show embers of autoregression? An analysis of OpenAI o1","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.01792","snapshot_observed_at":"2026-08-15T23:45:01.250434Z","title":"When a language model is optimized for reasoning, does it still show embers of autoregression? an analysis of openai o1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.250434Z"},"links":{"cited_paper":"/paper/2410.01792","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:00f9c21ea5a9abf58c8a7d38fdf8d275d36991ebe7abe304ee1a436b1bc5c14b","observation_id":"643d080d-067c-4947-86cd-5b8e88287bcc","resolution":{"observed_at":"2026-08-15T23:45:01.250434Z","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-15T23:45:01.664836Z","title":"A critical review of simulation-based medical education research: 2003--2009","venue":null,"work_id":"90efda41-297b-40c8-ba7d-07a9b772fe1d","year":2003},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.254451Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:9ac55230590a11377bf0bc23f31bde198b4bab5e9d01a9af3b6d116aba25cc08","observation_id":"a0d17f2b-7779-4f52-98cb-dd28e5ba70b5","resolution":{"observed_at":"2026-08-15T23:45:01.669452Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.258164Z","title":"Llama 3.2: Revolutionizing edge ai and vision with open, customizable models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.258164Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:4abb0ef6b04425febb44945e23f718b587860003405851b42c6cbece0bfc690e","observation_id":"4050c57f-4c4f-47e5-9dc2-c132eb7ff2f9","resolution":{"observed_at":"2026-08-15T23:45:01.258164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00436","last_updated":"2023-10-05T12:59:59Z","snapshot_observed_at":"2026-08-16T15:11:40.675938Z","submitted_at":"2023-08-01T10:31:36Z","title":"SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00436","snapshot_observed_at":"2026-08-15T23:45:01.261794Z","title":"Selfcheck: Using llms to zero-shot check their own step-by-step reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.261794Z"},"links":{"cited_paper":"/paper/2308.00436","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:8565ff5bde87bd3bcaf7490aa5d855801f6d6dd331e91dbd74f02a4fe26a192f","observation_id":"ca801f2a-64b9-4f74-8d5a-2e9d1fd02869","resolution":{"observed_at":"2026-08-15T23:45:01.261794Z","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-15T23:45:01.646101Z","title":"Explainable reinforcement learning: A survey and comparative review","venue":null,"work_id":"32412236-0e1a-443f-b76d-dda0842a07cc","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.267067Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:5eb7ac53796d001ce394ea202a505f41e1b1b831e7dc13bee45800a5a81261fb","observation_id":"3e07374c-c0ac-4b41-82ee-dd1a0218699a","resolution":{"observed_at":"2026-08-15T23:45:01.649666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.634302Z","title":"FDNY Issue Brief , 2025","venue":null,"work_id":"8a0391b9-8b26-45f8-94df-1adff6454a5d","year":2025},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.271402Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:d01a0deb5f5b0f51fc7d1d13d28d9333693bdbe3311fdbd9c1d8768e0a2f300a","observation_id":"5935fa6d-1d03-4444-99e2-e85c65517ed1","resolution":{"observed_at":"2026-08-15T23:45:01.638274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.276191Z","title":"Gpt-4o system card, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.276191Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:88b199c132a9faa56ddc0de6d31c57c169b85817a52db0f3d58467832e0c0153","observation_id":"149cd4ec-4c55-41ae-a72e-f6bbb5144f10","resolution":{"observed_at":"2026-08-15T23:45:01.276191Z","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-15T23:45:01.280374Z","title":"Openai o1 system card, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.280374Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:8eba62c6f9985a7ed214ebbcdd02b3cfee7325ff1f46bc3bef75f6fff07de864","observation_id":"b0977d8f-4bd3-4755-8dbe-903fb7547cdd","resolution":{"observed_at":"2026-08-15T23:45:01.280374Z","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-15T23:45:01.604731Z","title":"Enhancing text classification through llm-driven active learning and human annotation","venue":null,"work_id":"5482a1e8-ce5e-4468-826c-88dd488cd035","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.284223Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:8bdb125aaa87fcb2594475662d9f3a02ac4dd935c10f87d076c932a7c44397d3","observation_id":"1d3b603b-c731-4067-8c09-3b908f75605e","resolution":{"observed_at":"2026-08-15T23:45:01.609198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.12652","last_updated":"2023-05-24T05:08:07Z","snapshot_observed_at":"2026-08-02T02:08:12.414817Z","submitted_at":"2023-01-30T04:18:09Z","title":"REPLUG: Retrieval-Augmented Black-Box Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.12652","snapshot_observed_at":"2026-08-15T23:45:01.288081Z","title":"Replug: Retrieval-augmented black-box language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.288081Z"},"links":{"cited_paper":"/paper/2301.12652","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:1a69c3c503fe9c1206927e48790174169d544a02ed4727b2185347e5cd959dca","observation_id":"89bf9539-79d8-46c9-b59a-7846e4705b39","resolution":{"observed_at":"2026-08-15T23:45:01.288081Z","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-15T23:45:01.591717Z","title":"Language models that seek for knowledge: Modular search and generation for open-domain question answering","venue":null,"work_id":"89b316f1-65ed-40f8-9ac5-7143ec146679","year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.291983Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:f13e097b44f90f140626c7c20708ec2117ab2680d2aa81f79ed62d8131b1e3c4","observation_id":"a32f4086-2faa-4323-8706-91ec1a58e3d4","resolution":{"observed_at":"2026-08-15T23:45:01.596161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.579703Z","title":"Clinical debriefing: a concept analysis","venue":null,"work_id":"c9342f4a-2a58-4d9a-8815-3af8a1e3959d","year":2021},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.295889Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:c400c36b6ec99e3a753139441b8a55bf608b2ad5537b76956e62c3ca43c2ddbf","observation_id":"af19df05-11e0-4af4-86e0-3e4115acf609","resolution":{"observed_at":"2026-08-15T23:45:01.583518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.566454Z","title":"Language models don't always say what they think: unfaithful explanations in chain-of-thought prompting","venue":null,"work_id":"cb9e036a-89cf-4bc5-abac-572fc88b6296","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.300719Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:8edf5bb7569ab8cb7aeff2de0c007a37a045208635978670692ce58b2cdb8e04","observation_id":"b24ae4ed-bf0d-4f3d-8e17-7feac76b16ef","resolution":{"observed_at":"2026-08-15T23:45:01.571790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.554720Z","title":"The behavior of tutoring systems","venue":null,"work_id":"32424bd4-9047-4840-8256-25a4764ddeaf","year":2006},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.304296Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:fd3f590f8b462cd51f96b5caed58510c715a5b2cfa14cd27034ad007253384ea","observation_id":"7a657fd3-63d9-4107-b596-e34f9067b8b9","resolution":{"observed_at":"2026-08-15T23:45:01.558752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.542903Z","title":"Searching for best practices in retrieval-augmented generation","venue":null,"work_id":"2f51b9ac-da89-42e6-b0e6-dcad838c8baa","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.308517Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:102a9b22e4a495e2e428a55e88fbccf38eb1c42e2f9c5c9c03110562bffe938c","observation_id":"ebc86075-6f01-494f-a494-b2c59c4bac1d","resolution":{"observed_at":"2026-08-15T23:45:01.546770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.312411Z","title":"Chain-of-thought prompting elicits reasoning in large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.312411Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:ad819938070d310da5a6181cf9a1c6ab6a31ccbd4db346ae14168a5b95b73293","observation_id":"e3d89924-1c9a-4247-851d-8e877429ad30","resolution":{"observed_at":"2026-08-15T23:45:01.312411Z","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-15T23:45:01.522462Z","title":"Empirical study of llm fine-tuning for text classification in legal document review","venue":null,"work_id":"96782a4a-e189-4fa1-aeec-27e1e67eda3e","year":2023},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.316408Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:25564397facbdaebdfbf9400887a0de57090f7eccbbe4af13aeefdc9d1e505cc","observation_id":"fb1116b1-ffe1-416d-99e0-c9b3ed2ba50f","resolution":{"observed_at":"2026-08-15T23:45:01.526697Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.509033Z","title":"Mastering symbolic operations: Augmenting language models with compiled neural networks","venue":null,"work_id":"27d5eedb-95e7-456e-8592-23e8c2c03359","year":2024},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.321083Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:515bab9e4f8c6ddb437916621bff57ddd7e514392c38a3bf3bfabb7fe7d05f4e","observation_id":"526f0aba-948c-4fb7-9728-26a8ae6f8e28","resolution":{"observed_at":"2026-08-15T23:45:01.513517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.13639","last_updated":"2024-10-22T22:05:16Z","snapshot_observed_at":"2026-08-16T20:55:28.800635Z","submitted_at":"2024-10-17T15:09:03Z","title":"A Comparative Study on Reasoning Patterns of OpenAI's o1 Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.13639","snapshot_observed_at":"2026-08-15T23:45:01.325139Z","title":"A comparative study on reasoning patterns of openai's o1 model","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.325139Z"},"links":{"cited_paper":"/paper/2410.13639","citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:1bdb794347734f55ff92e0a9fc1f5e290a4cb4f3c6fac65ba0135d70bd88160c","observation_id":"d62657d9-23c1-434c-8ff6-825a7c96022d","resolution":{"observed_at":"2026-08-15T23:45:01.325139Z","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-15T23:45:01.492347Z","title":"Star: Bootstrapping reasoning with reasoning","venue":null,"work_id":"39c93f37-7991-4292-a9c3-b6ab76f55294","year":2022},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.329997Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:1787fd9286b4907a370ba2c4aeaace1eff375fb9fd57e585835608295383fc1c","observation_id":"0f89b967-0e43-4294-9075-7022a5a3413f","resolution":{"observed_at":"2026-08-15T23:45:01.499245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T23:45:01.334167Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-15T23:45:01.334167Z"},"links":{"citing_paper":"/paper/2505.03985"},"observation_digest":"sha256:69fb59c64f658b2b966b09fc368f09eec8c91fbe9b7832a4d3a0af47f8aa0240","observation_id":"cbe6e559-d264-4072-8c2a-c7c24cec2b85","resolution":{"observed_at":"2026-08-15T23:45:01.334167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.03985","last_updated":"2025-05-06T21:27:07Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T20:55:59.157608Z","submitted_at":"2025-05-06T21:27:07Z","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":36},"total_outbound_references":52},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2505.03985."}