{"as_of":"2026-08-14T21:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:23d25ab2319d3015747566f5eaf65bf38b4ecc995a3ab5544e9a04dabbd64849","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T15:46:48.028171Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T18:14:54.850851Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.13712","snapshot_observed_at":"2026-08-02T18:14:54.850851Z","title":"URL https://arxiv.org/abs/2501.13712","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.14473","last_updated":"2026-07-15T10:22:14Z","snapshot_observed_at":"2026-08-14T04:25:55.915068Z","submitted_at":"2026-03-15T16:31:51Z","title":"AI Can Learn Scientific Taste","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-02T18:14:54.850851Z"},"links":{"cited_paper":"/paper/2501.13712","citing_paper":"/paper/2603.14473"},"observation_digest":"sha256:36727f1a3949e24c4944f0f6c4b480f3b29877f05eb26f05125f393f8cec7505","observation_id":"a1a1e9a9-e753-42cf-abaf-ab2cbac433f5","resolution":{"observed_at":"2026-08-02T18:14:54.850851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"cited_work":{"arxiv_id":"2501.13712","doi":"10.48550/arxiv.2501.13712","metadata_source":"arxiv_reference","pith_arxiv_id":"2501.13712","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year = 2025, month = jan, number =","venue":"ArXiv.org","work_id":"4b3023d0-4224-4421-aefd-aa8f09e49cec","year":2025},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2501.13712","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:8d3aa9e943236279f75e190c49c0762bfaef20a90c11b4d504f695fbca9268ae","observation_id":"c7732d74-ded1-4955-ae51-20de8c7a3620","resolution":{"observed_at":"2026-05-14T17:32:30.190321Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"cited_work":{"arxiv_id":"2501.13712","doi":"10.48550/arxiv.2501.13712","metadata_source":"arxiv_reference","pith_arxiv_id":"2501.13712","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year = 2025, month = jan, number =","venue":"ArXiv.org","work_id":"4b3023d0-4224-4421-aefd-aa8f09e49cec","year":2025},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2501.13712","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:a813415006afa93216e5c748c7e9b3d0fb2334f318fff85166ae8f9e878d16a6","observation_id":"5fce39d8-154b-45e9-babe-34f013313ad7","resolution":{"observed_at":"2026-05-15T05:45:05.436288Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"cited_work":{"arxiv_id":"2501.13712","doi":"10.48550/arxiv.2501.13712","metadata_source":"arxiv_reference","pith_arxiv_id":"2501.13712","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year = 2025, month = jan, number =","venue":"ArXiv.org","work_id":"4b3023d0-4224-4421-aefd-aa8f09e49cec","year":2025},"citing_paper":{"arxiv_id":"2605.17475","last_updated":"2026-05-17T14:23:45Z","snapshot_observed_at":"2026-08-14T09:57:02.185066Z","submitted_at":"2026-05-17T14:23:45Z","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-19T22:51:50.268490Z"},"links":{"cited_paper":"/paper/2501.13712","citing_paper":"/paper/2605.17475"},"observation_digest":"sha256:7a37d2f8d438acb226cf1893ab7901f1422c43442610aff8332bee30ddd5aad0","observation_id":"e0906816-2fcc-4a5e-a344-35275c900371","resolution":{"observed_at":"2026-05-19T22:52:49.973184Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:17.611274+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.13712/citation-record","integrity":"/paper/2501.13712/integrity","json":"/paper/2501.13712/citation-record.json","paper":"/paper/2501.13712"},"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-10T15:46:48.539771Z","title":null,"venue":null,"work_id":"ff2706e0-b736-485d-be51-da3cc0770c5b","year":2024},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.862502Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:0beaefcffa50d7d615855c9acf8d7f3b64756d1e327f2b0e1e2c645544ab6aff","observation_id":"eca04bef-7129-4c54-a3c6-99d7ab57a488","resolution":{"observed_at":"2026-08-10T15:46:48.543210Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.528628Z","title":null,"venue":null,"work_id":"8a46009a-349f-465e-b074-ef03c8db6300","year":2022},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.867001Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c8e026f0853d8461d2eb786751211deecacfde94682e184fe3defaa1d7d14b9d","observation_id":"bc83b38a-db7e-49cd-a8fa-c285df5ee346","resolution":{"observed_at":"2026-08-10T15:46:48.532663Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.517815Z","title":"C., \\ Klakow, D","venue":null,"work_id":"bc8ec67a-f346-4698-ace1-e79480192849","year":2019},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.870773Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:3f4d0129d94dfc79e14aabfbec106c97864fbc8a861a15961eee1bfecf5f972c","observation_id":"c59ece3a-7809-4174-8537-6de1b7859845","resolution":{"observed_at":"2026-08-10T15:46:48.521516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.507034Z","title":null,"venue":null,"work_id":"32513ba6-9595-4197-8494-8b59fa49b9b5","year":2012},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.874466Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:18ec06e66657282a333350a3ea59c11ffd069941bf9d21ad00485981a6ce57c0","observation_id":"52c93b60-d050-4895-a2ae-a915b2ced509","resolution":{"observed_at":"2026-08-10T15:46:48.510781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.494954Z","title":null,"venue":null,"work_id":"9bc9a726-3c56-4038-b396-87ef320cb3ac","year":2022},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.879252Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:8578cf23601d8d3740c7fbd142cf20c0935425001355f4c7ded599dd23d2c2fe","observation_id":"76a11a0e-95ab-41c6-91c5-9f0132cb58e3","resolution":{"observed_at":"2026-08-10T15:46:48.498445Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1703.01541","last_updated":"2018-02-20T11:10:29Z","snapshot_observed_at":"2026-08-14T21:13:32.016605Z","submitted_at":"2017-03-05T01:30:28Z","title":"Soft-DTW: a Differentiable Loss Function for Time-Series","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1703.01541","snapshot_observed_at":"2026-08-10T15:46:47.883153Z","title":"\\ \\ Blondel, M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.883153Z"},"links":{"cited_paper":"/paper/1703.01541","citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:bf3787557c3e2bd12476346e5d009e93cec1de44f407ca17b09b398c841adda5","observation_id":"198de7f9-bfd7-48e1-af8d-c35d4ac43d69","resolution":{"observed_at":"2026-08-10T15:46:47.883153Z","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-10T15:46:48.485267Z","title":"\\ \\ Vardi, M","venue":null,"work_id":"3ae2a994-df34-403e-b101-24180792a5ca","year":2013},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.887927Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:08c6d8b7660ae2eebb255ff354cac98900a42edd983734038b27baa367d4124a","observation_id":"abf98a3b-e0ca-4e76-a7c8-e0fd1d1dd57b","resolution":{"observed_at":"2026-08-10T15:46:48.488623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.475035Z","title":null,"venue":null,"work_id":"1b6299e6-b07a-46c2-8b43-bff37fc3faf1","year":2013},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.891602Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c87056e902e2676f044cc3078a66359eea908d804fd85807e95136dbbfc71ce1","observation_id":"7a8087eb-dd1a-49e6-bf64-f004622d48df","resolution":{"observed_at":"2026-08-10T15:46:48.478631Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.463799Z","title":null,"venue":null,"work_id":"39f9a6e3-2dba-471b-be8d-850f74877d89","year":2019},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.895027Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:9b7dcb21be5040c8681ec6ff714964d53f8ad79e2eb131a8c2971485fc68414c","observation_id":"d5e353fb-8942-4d80-b3d8-eaee1c826a62","resolution":{"observed_at":"2026-08-10T15:46:48.467359Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.453040Z","title":null,"venue":null,"work_id":"80b55947-e6f1-4b07-9e71-9a806b78f711","year":2000},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.898625Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c64fa1c78fe67c51f7850b09203fbadc7455059d64bfe711391b7670e1ddb8e1","observation_id":"b4258a23-32a1-4db8-8638-82323484d141","resolution":{"observed_at":"2026-08-10T15:46:48.456623Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.03847","last_updated":"2025-03-14T12:28:50Z","snapshot_observed_at":"2026-08-13T19:19:07.502119Z","submitted_at":"2024-07-04T11:28:40Z","title":"Comparing differentiable logics for learning with logical constraints","version":2},"cited_work":{"arxiv_id":"2407.03847","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.03847","snapshot_observed_at":"2026-08-10T15:46:48.079787Z","title":"Comparing differentiable logics for learning with logical constraints","venue":"cs.LO","work_id":"0774a2e7-9493-45c4-b79b-5b0a3f732b26","year":2024},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.902527Z"},"links":{"cited_paper":"/paper/2407.03847","citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:65a0d6f14c426088be587c46037927579c1bc5c051ec2150d7668dd7c6a2031a","observation_id":"20c27ac4-9674-487d-8ddf-7e18012e8cec","resolution":{"observed_at":"2026-08-10T15:46:48.084139Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.442456Z","title":null,"venue":null,"work_id":"057d78d2-6a54-4b5e-b2bd-78e56af9779d","year":2023},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.907108Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:0d0001bc248f8bf90acc1d83683d228276aba1beb7d18119bae78899104bde94","observation_id":"3414a66a-1abf-4fa1-83f8-40b4e5ba85bd","resolution":{"observed_at":"2026-08-10T15:46:48.446269Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.429455Z","title":null,"venue":null,"work_id":"5813ded2-2be2-4c0c-bd5d-74d186142861","year":1988},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.910761Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c90b1a3372746a3f35d54ce908b638bb800f1c5be6de5f03ec382402ae2b7cb2","observation_id":"cff086d5-2c26-4bc9-9c8a-f66e1267b4b3","resolution":{"observed_at":"2026-08-10T15:46:48.433829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.417900Z","title":"\\ \\ Bulwahn, L","venue":null,"work_id":"f29349a9-99e8-47ee-aaac-e0b686d4315e","year":2021},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.914473Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c12a1a3ad3555a136436b26d91b12ae1fb213d3a38ccb530dea3838e651e90e1","observation_id":"5b70bd45-a146-4886-b18f-781a1618f59b","resolution":{"observed_at":"2026-08-10T15:46:48.421837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.406438Z","title":"\\ \\ Heller, A","venue":null,"work_id":"97f87dd6-9820-413c-88c9-feed6f5928d8","year":2011},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.918204Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:9eb539f02e40e1e93d29c1aca3c7c4995a107057e7256cc5a91c7ba33b8f0ba0","observation_id":"15bb2d89-5ebb-4448-8fe3-91de9ef074f5","resolution":{"observed_at":"2026-08-10T15:46:48.410206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.395567Z","title":"J., Nakanishi, J., Hoffmann, H., Pastor, P., \\ Schaal, S","venue":null,"work_id":"5d60b96b-db91-4828-add9-35acf34d8641","year":2013},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.922265Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:f9bf73325aa535099a8c7abd64a25db1fb1d1a66d87bd98b02ddbe381cb18737","observation_id":"4a70c4fe-afd9-466e-8951-8ad2cd17e629","resolution":{"observed_at":"2026-08-10T15:46:48.399377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.384861Z","title":"\\ \\ H \\\"o lzl, J","venue":null,"work_id":"7d004579-7b52-4725-a04f-672a0b69469a","year":2012},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.926138Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:5518a542c516d03662568772df5a9e0a0c587aa2373f3102e98ce9c50fb55af6","observation_id":"2af1e1c6-9680-41f8-bc8c-5ee653863db4","resolution":{"observed_at":"2026-08-10T15:46:48.388675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.373986Z","title":"\\ \\ Ramamoorthy, R","venue":null,"work_id":"23638703-9934-446f-8ec1-9d512c296c71","year":2020},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.929863Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:d3342105d7c2ecfd62dc38ae8302149cc1ceb33a1c67a4335d9ff06e028789e9","observation_id":"69d907f8-752e-40d5-85f9-2a6a2af6375d","resolution":{"observed_at":"2026-08-10T15:46:48.377588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.363769Z","title":null,"venue":null,"work_id":"95b36bbe-502d-4b16-9b9d-8dd97d26245a","year":2015},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.933540Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:f1ad800c18946633a579e561f3f51bd24fef0c6ca46ec9736bf6fb97b8df4897","observation_id":"78f8f711-8794-483f-9c3c-b99077f16925","resolution":{"observed_at":"2026-08-10T15:46:48.367347Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.353368Z","title":null,"venue":null,"work_id":"800b4b45-d936-4805-9b50-8d0e8c340270","year":2009},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.937466Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:a8c76f300a3267b7fe12a04d245aeda20068d043e46ba189e4da7948dc89bcce","observation_id":"81335aaa-9e39-41bd-81c1-9eddf581f881","resolution":{"observed_at":"2026-08-10T15:46:48.357309Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.343285Z","title":null,"venue":null,"work_id":"78e61e47-3345-4f52-894e-9f4e31c128e0","year":2008},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.941282Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:e4b812d44b0aee36236befa541aeef2ff202dac25b2846238ad7c072afb750f5","observation_id":"6cdc53b7-13d2-4816-8c2d-4cff73ac758c","resolution":{"observed_at":"2026-08-10T15:46:48.346679Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.333210Z","title":"\\ \\ Popescu, A","venue":null,"work_id":"0c2fb7af-bc31-4020-922d-63e7a4a4b66a","year":2017},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.945423Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:79cb0d50dadcd57e49b4f718e214e65c43d0780b6ebe788f569759e35bf3072f","observation_id":"92b46522-60d9-4ef8-8bad-b655a8165814","resolution":{"observed_at":"2026-08-10T15:46:48.336812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.322234Z","title":null,"venue":null,"work_id":"9cd9d8ea-ad37-4fb9-9a5d-10072eba5d9a","year":2023},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.949353Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:db951975a50812e9fa2af69e1b5516962a736aa78905f6e9ee501b5a6d24f510","observation_id":"e93d7a68-9c4e-435f-bfdc-4804c4f11483","resolution":{"observed_at":"2026-08-10T15:46:48.325762Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.310980Z","title":null,"venue":null,"work_id":"c8e71cd2-a604-407c-b4af-adf7d66c696c","year":2013},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.952841Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:faa0efd789c9fc28a64c2eb18309e5a228d8babda06595e1d4898fc807f60b67","observation_id":"c91820bd-55de-4d5e-a42e-fd061382255d","resolution":{"observed_at":"2026-08-10T15:46:48.315500Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.299911Z","title":null,"venue":null,"work_id":"f32dcb26-6514-4ed4-9077-7695939979bc","year":2010},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.956355Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:0269f1cb93d86254e7c293b2202528434d66179d7bf516fabf50bc2cf0dd82ec","observation_id":"3b0ca5e7-b014-4788-8188-80a57c33fb3c","resolution":{"observed_at":"2026-08-10T15:46:48.303736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.288749Z","title":null,"venue":null,"work_id":"7bc72eec-55c6-4a95-83f6-808f227c1d92","year":2018},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.959963Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:a139ef422210fe5ad95c73238f9860ac2c45793b3fd2ebe34169da4a2eb6c7f7","observation_id":"85d63bb0-a928-449b-9128-37230859d99a","resolution":{"observed_at":"2026-08-10T15:46:48.292402Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.278591Z","title":null,"venue":null,"work_id":"6cb41c7c-74eb-4675-b785-0489d15e51f5","year":2021},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.963573Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:cb932e67ee3f8db554f52e31b7dd9eb140931042f1196e16aa7a2235aeb4fb7b","observation_id":"73482c1b-986d-44d6-af98-9da94113ad58","resolution":{"observed_at":"2026-08-10T15:46:48.282119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.268078Z","title":null,"venue":null,"work_id":"ce14dc86-04fe-4118-a0bd-a2edf5ee38bc","year":1979},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.967369Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:6d7a21dc410531964b1cdf476749b30707bd52a65bb955df1aa0aeaa96b212e4","observation_id":"e4cae245-d387-4167-9202-eb362d9d49d8","resolution":{"observed_at":"2026-08-10T15:46:48.271888Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.257182Z","title":"C., \\ Wenzel, M","venue":null,"work_id":"6f4e94cb-eebc-46aa-ba1a-a1773e442d16","year":2002},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.971436Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:256977f0e683d3c24da3ef6277250c609e39ced0750335daf287efe8c64ceb7d","observation_id":"a6073551-b268-4899-8423-e7d43e71c4a4","resolution":{"observed_at":"2026-08-10T15:46:48.260721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.245811Z","title":null,"venue":null,"work_id":"a2e18601-8e3e-447e-a32d-25b5acb77a54","year":2019},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.975362Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:00581019f69d4678a01a37501aa64402cbdcd76ecead285c88428c486bec8933","observation_id":"144d45b7-4aa1-41a9-83c7-2dc9526369dd","resolution":{"observed_at":"2026-08-10T15:46:48.249775Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.233701Z","title":null,"venue":null,"work_id":"ee41ca4e-9dbb-4dbb-924e-b824725df6f7","year":1993},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.979057Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:662bdd5812529299240c98f14fac9c8f30b4be5ff57d1b0c63fb25f44df83229","observation_id":"6fae195d-3621-45b4-932f-f5e3c11d65c4","resolution":{"observed_at":"2026-08-10T15:46:48.238095Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.221527Z","title":null,"venue":null,"work_id":"03916cdb-4f29-4676-8f75-4694b09ed9a3","year":1977},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.982905Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:08abb41704f1e70cc190d036cec01adc7eafb31959770c9291f298a4026a2922","observation_id":"a27b4ddb-e352-4e12-a199-b216229b7a7f","resolution":{"observed_at":"2026-08-10T15:46:48.225617Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.210303Z","title":null,"venue":null,"work_id":"bed5f2bf-7cc6-4a50-92e8-0586d15a169a","year":2005},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.986735Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:d04132dda3a99147b96dc1091ba889285a80aaeb6f38bce7cb3686f9e2640ef1","observation_id":"c41a9d0c-3268-40d1-b81b-f6b8f57e2a69","resolution":{"observed_at":"2026-08-10T15:46:48.213924Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.198533Z","title":"\\ \\ d’Avila Garcez, A","venue":null,"work_id":"7bbc4616-72f9-4537-8086-80872db4182f","year":2016},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.990836Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:a41d2c750087de2da439448422946ae13d7d33891ce2161b40a036f5a9f1073b","observation_id":"26814d6b-54b9-4fe6-9b45-25b2cc287316","resolution":{"observed_at":"2026-08-10T15:46:48.202117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.186312Z","title":"L., \\ Stewart, R","venue":null,"work_id":"9c76f4d1-dd21-459b-ac37-d536bce00228","year":2022},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.994996Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:c45ea92ff63d6d974cb4d51bd65357cd3e81787532f990a01aafcd31440d88f0","observation_id":"da3be16c-6b27-41c6-b1f9-b8fd9b4a974f","resolution":{"observed_at":"2026-08-10T15:46:48.190256Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.10650","last_updated":"2023-10-05T11:17:08Z","snapshot_observed_at":"2026-08-13T12:21:56.622662Z","submitted_at":"2023-03-19T13:03:51Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","version":4},"cited_work":{"arxiv_id":"2303.10650","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.10650","snapshot_observed_at":"2026-08-10T15:46:48.060884Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","venue":"cs.LO","work_id":"b27621fb-2ee3-4d8b-afa6-55c7b4ae625f","year":2023},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.999409Z"},"links":{"cited_paper":"/paper/2303.10650","citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:ff145b2f08979bc9dacba48813db528ccb76de1f29a5bf9798bbb3b92e0622ee","observation_id":"775b1133-0a9f-4059-b06a-0e89997df754","resolution":{"observed_at":"2026-08-10T15:46:48.067574Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.174348Z","title":null,"venue":null,"work_id":"845d0b00-3a5c-41f0-a5fd-81fcf3b45b1b","year":2002},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.003889Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:312d4f9822277f5c953f4f6842d4dd2bee6b7dca85d0c76716834101954fa22c","observation_id":"5adc7ba5-7113-49c8-9652-ba7f1bc908d6","resolution":{"observed_at":"2026-08-10T15:46:48.178605Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.160951Z","title":null,"venue":null,"work_id":"25be1052-1155-4a39-8efa-48d94c59320e","year":2005},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.007618Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:4e57758c29ed55f7d22ccb7a5af0efcad61960184d807d115091d2cd5026b1a6","observation_id":"d752adfe-3442-468f-9e62-2495c0f8df58","resolution":{"observed_at":"2026-08-10T15:46:48.165169Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.149403Z","title":"\\ \\ Dimarogonas, D","venue":null,"work_id":"35e93069-3354-4832-99bb-ccb54d362102","year":2020},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.011691Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:574623b29ca642bd3304e7b1418a10582f01c7a89a64e3f9bc4cf7bade443425","observation_id":"020aeb90-50f4-4bf2-9ac3-520c454f3e62","resolution":{"observed_at":"2026-08-10T15:46:48.153179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.137817Z","title":null,"venue":null,"work_id":"4588ef8a-da0b-44bb-9416-7d367be88100","year":1999},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.015902Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:3be1c29d8c21edb307f747448fb32747ecfb10db5913394e7fd35162ff235cd2","observation_id":"1debb4d2-abaf-4ef1-9d0a-442afc3dc108","resolution":{"observed_at":"2026-08-10T15:46:48.141602Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.125486Z","title":null,"venue":null,"work_id":"924445d4-9cda-4830-8372-4807fff80b5b","year":2018},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.020289Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:6dc7bb8bd52a0cf005224ec03ebfab9db8686d76fe4e1f15b9eaf758f9e64872","observation_id":"8d46fa98-241b-41b6-9268-1e9dff4a8442","resolution":{"observed_at":"2026-08-10T15:46:48.129841Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.112289Z","title":"S., \\ Shah, M","venue":null,"work_id":"a708ab7a-9d41-401c-8cd8-52488739161c","year":2022},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.024526Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:bf47061f1d80f9d623dbab6846469eae2f6b555cbe328c10a346ff882a31739c","observation_id":"e3e22ccd-b909-4064-884c-0ed582137d71","resolution":{"observed_at":"2026-08-10T15:46:48.117617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T15:46:48.028171Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:48.028171Z"},"links":{"citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:52a653f8f2ab7ac9edac6823964af2dea2e5fb14229158c4f28e463afb7d1e70","observation_id":"8366bcef-50a6-4072-8df4-fa8aee6dad4f","resolution":{"observed_at":"2026-08-10T15:46:48.028171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T19:11:42.981903Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":28,"verified_exact":1,"verified_fuzzy":13},"total_outbound_references":43},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 4 inbound Pith citation observations for arXiv:2501.13712."}