{"as_of":"2026-08-18T06:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a4c4de9c3829fa87d27f3a991bf87aa8cb7b8a6efde0b2305105a5054902d105","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T15:59:56.425069Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"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/2509.10249/citation-record","integrity":"/paper/2509.10249/integrity","json":"/paper/2509.10249/citation-record.json","paper":"/paper/2509.10249"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2310.19736","last_updated":"2023-11-25T17:35:12Z","snapshot_observed_at":"2026-08-17T07:14:41.768935Z","submitted_at":"2023-10-30T17:00:52Z","title":"Evaluating Large Language Models: A Comprehensive Survey","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.19736","snapshot_observed_at":"2026-08-15T15:59:56.238159Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.238159Z"},"links":{"cited_paper":"/paper/2310.19736","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:91ba2d278912e281a3fa36748b04d420f02bee13e5f3bc46121deea4fb5fc3c9","observation_id":"0a6f8ab9-1100-42bc-a5db-c4eab8416ae6","resolution":{"observed_at":"2026-08-15T15:59:56.238159Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06196","last_updated":"2025-03-23T14:51:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-09T05:37:09Z","title":"Large Language Models: A Survey","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06196","snapshot_observed_at":"2026-08-15T15:59:56.243912Z","title":"Minaee, T","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.243912Z"},"links":{"cited_paper":"/paper/2402.06196","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:da56f248944c4b967adde84a7c6b93a6fff171d2422074f9f155b6b99285a066","observation_id":"6f087bd8-5e0a-4160-8616-7761ec4a6b8c","resolution":{"observed_at":"2026-08-15T15:59:56.243912Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-14T15:05:06.112388Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-15T15:59:56.249320Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.249320Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:75ce6b3ac12d1d990f11dc1ba3c53bd7b646c4089ae9ac759c3ca983742648de","observation_id":"759da0fa-0db3-49cf-a6fb-d2f2b846f1a7","resolution":{"observed_at":"2026-08-15T15:59:56.249320Z","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-15T15:59:57.464366Z","title":null,"venue":null,"work_id":"318ee5f9-1e1b-4c6f-a09b-9d0e9289ec4a","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.254401Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:9f04ab7505bc7b16af73094b69ea790152a046952d12e2ba82ef802c37637188","observation_id":"90032041-75dc-404c-81ca-12aa223037f3","resolution":{"observed_at":"2026-08-15T15:59:57.468899Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:57.366192Z","title":null,"venue":null,"work_id":"fe0a6798-4b5a-40e6-8942-9134eb9457e5","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.259538Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:ef2306be0049d0d235bdbd2a2f605192e3629acb7fd21359e7bdf1d46760f563","observation_id":"c92120f5-0304-478b-a433-f7731d24a299","resolution":{"observed_at":"2026-08-15T15:59:57.414380Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:57.350440Z","title":null,"venue":null,"work_id":"1260444a-5c01-415a-b46a-d421a9d5b42a","year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.264752Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:fe7a04f165f9750e7c70fdb44dd2bb88dc6da37f2e4fae4e7090291458897423","observation_id":"2667ce0c-4976-484a-943f-af96eae3de0d","resolution":{"observed_at":"2026-08-15T15:59:57.355689Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:57.336212Z","title":null,"venue":null,"work_id":"52005e9f-e8da-42a5-ada6-39882e926b9f","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.270358Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:bc26558f2c77f6193c28f09c8b2795b1c7d00ea1ba5f8be18801d1acba93589f","observation_id":"a9408442-54cd-42d3-97ae-9f27336c2f41","resolution":{"observed_at":"2026-08-15T15:59:57.340665Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2403.15864","last_updated":"2024-03-23T15:09:50Z","snapshot_observed_at":"2026-08-18T01:09:13.660792Z","submitted_at":"2024-03-23T15:09:50Z","title":"Using Large Language Models for OntoClean-based Ontology Refinement","version":1},"cited_work":{"arxiv_id":"2403.15864","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.15864","snapshot_observed_at":"2026-08-15T15:59:56.822557Z","title":"Using Large Language Models for OntoClean-based Ontology Refinement","venue":"cs.AI","work_id":"97d45879-fb0e-4ab3-a1be-61e3b04f3d0a","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.274891Z"},"links":{"cited_paper":"/paper/2403.15864","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:f1666d288625e727ad24b85ca34f093fa47a0bc640678043125f1d0161bfe2b4","observation_id":"14726fa2-1f7c-486e-ad02-b36013556013","resolution":{"observed_at":"2026-08-15T15:59:56.827597Z","resolver_source":"local_arxiv","status":"verified_exact"},"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-15T15:59:57.321083Z","title":"Zhao, Leveraging large language models for ontology requirements engineering, in: Extended Semantic Web Conference ESWC, 2025, pp","venue":null,"work_id":"4fbb00f2-1a67-4825-8d39-2ad879f53b90","year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.279633Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:17db048726907d2664dda015af4210a119a6fc931e68c9c6490a2d78db029a50","observation_id":"9d31b191-4c32-4db9-ba8b-7663aaf8eae7","resolution":{"observed_at":"2026-08-15T15:59:57.326368Z","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-15T15:59:57.288648Z","title":"Fathallah, A","venue":null,"work_id":"bf6521ce-edb4-42f6-89ce-872043766ea9","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.284375Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:9dfddce64ae777404cccfd0d23b9217240df07f2de8c26a1c771634523240070","observation_id":"e668120e-bb75-47d1-8c62-3d118735e138","resolution":{"observed_at":"2026-08-15T15:59:57.310149Z","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-15T15:59:57.191452Z","title":"Hou, Neural-symbolic reasoning: Towards the integration of logical reasoning with large language models, Authorea Preprints (2025)","venue":null,"work_id":"f016b654-fd3e-46ff-b655-2c385d8b323a","year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.289056Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:d08d093fa3d00746015f6833da56d1a9d6e00d8930941201f43149e0226ebdd1","observation_id":"91521b64-c0f1-4b66-9397-b2e160d279ca","resolution":{"observed_at":"2026-08-15T15:59:57.222469Z","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":"2211.05417","last_updated":"2022-11-10T08:46:53Z","snapshot_observed_at":"2026-08-16T16:17:15.625264Z","submitted_at":"2022-11-10T08:46:53Z","title":"Can Transformers Reason in Fragments of Natural Language?","version":1},"cited_work":{"arxiv_id":"2211.05417","doi":null,"metadata_source":"pith","pith_arxiv_id":"2211.05417","snapshot_observed_at":"2026-08-15T15:59:56.800457Z","title":"Can Transformers Reason in Fragments of Natural Language?","venue":"cs.CL","work_id":"1f37a167-8b7e-47bc-92fc-ca0c87b64800","year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.293565Z"},"links":{"cited_paper":"/paper/2211.05417","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:c01c08fbdd6d51f0b1b619f7f8aecef5085e6f4b00725d2c949529c6e55ef7c6","observation_id":"48e46032-2f2a-49f7-ad6f-594ed16ed6a0","resolution":{"observed_at":"2026-08-15T15:59:56.805345Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":"2212.10403","last_updated":"2023-05-26T17:59:33Z","snapshot_observed_at":"2026-08-06T19:23:30.079167Z","submitted_at":"2022-12-20T16:29:03Z","title":"Towards Reasoning in Large Language Models: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10403","snapshot_observed_at":"2026-08-15T15:59:56.298776Z","title":"Huang, K","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.298776Z"},"links":{"cited_paper":"/paper/2212.10403","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:efcb80a8ac63e1388afb5cd4d2e9e0ee6850d439389aa4cae22da6fc93f4f134","observation_id":"123ac02c-bac6-4c26-9e32-4f1c55bec9e8","resolution":{"observed_at":"2026-08-15T15:59:56.298776Z","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-15T15:59:56.303704Z","title":"Srivastava, S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.303704Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:fd104fbee69c654d04ef7abb18e3af07ea2977803edc6a2a89e0f98aecf37e2e","observation_id":"8cfa69ff-c603-4c03-83ba-eccaac90943d","resolution":{"observed_at":"2026-08-15T15:59:56.303704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.09906","last_updated":"2024-12-13T06:45:26Z","snapshot_observed_at":"2026-08-14T14:17:06.319982Z","submitted_at":"2024-12-13T06:45:26Z","title":"Enhancing the Reasoning Capabilities of Small Language Models via Solution Guidance Fine-Tuning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.09906","snapshot_observed_at":"2026-08-15T15:59:56.308465Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.308465Z"},"links":{"cited_paper":"/paper/2412.09906","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:27e8aac9a7b32d072a1a2014e17db4fee65160db4d1adf004021d77ffbc8436f","observation_id":"b5074cdf-8ffa-4d3f-ab0d-7d6bfce58142","resolution":{"observed_at":"2026-08-15T15:59:56.308465Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.09923","last_updated":"2025-06-02T08:10:54Z","snapshot_observed_at":"2026-08-17T22:50:55.134421Z","submitted_at":"2025-04-14T06:32:45Z","title":"Guiding Reasoning in Small Language Models with LLM Assistance","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.09923","snapshot_observed_at":"2026-08-15T15:59:56.313341Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.313341Z"},"links":{"cited_paper":"/paper/2504.09923","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:012cce46918252c87eac5442538e53aaa8285582da82296ef6c388e0357a4ef5","observation_id":"bef73f97-21f1-4190-8e5d-f575c1f9c62f","resolution":{"observed_at":"2026-08-15T15:59:56.313341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.11223","last_updated":"2025-06-11T13:19:22Z","snapshot_observed_at":"2026-08-17T14:20:07.900972Z","submitted_at":"2025-01-20T02:16:19Z","title":"Reasoning Language Models: A Blueprint","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.11223","snapshot_observed_at":"2026-08-15T15:59:56.318247Z","title":"Besta, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.318247Z"},"links":{"cited_paper":"/paper/2501.11223","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:dee05226cc597475b3b2601f37f28b6925104fa1b29a35c9a7e1641435de5ac0","observation_id":"b59a1d03-a11d-4c4d-a506-8c17336d2e50","resolution":{"observed_at":"2026-08-15T15:59:56.318247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.21321","last_updated":"2025-03-24T09:34:38Z","snapshot_observed_at":"2026-08-16T12:54:10.475592Z","submitted_at":"2025-02-28T18:59:54Z","title":"LLM Post-Training: A Deep Dive into Reasoning Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.21321","snapshot_observed_at":"2026-08-15T15:59:56.322898Z","title":"Kumar, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.322898Z"},"links":{"cited_paper":"/paper/2502.21321","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:fc194201f4e1cb39bf46ef2106819f515ab7b6e8cb03beb9c5b333a03dd8fe32","observation_id":"81b825de-e931-4821-875a-f865f8672efc","resolution":{"observed_at":"2026-08-15T15:59:56.322898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.12370","last_updated":"2021-08-27T16:06:42Z","snapshot_observed_at":"2026-08-16T18:00:30.702347Z","submitted_at":"2021-08-27T16:06:42Z","title":"DomiKnowS: A Library for Integration of Symbolic Domain Knowledge in Deep Learning","version":1},"cited_work":{"arxiv_id":"2108.12370","doi":null,"metadata_source":"pith","pith_arxiv_id":"2108.12370","snapshot_observed_at":"2026-08-15T15:59:56.624700Z","title":"DomiKnowS: A Library for Integration of Symbolic Domain Knowledge in Deep Learning","venue":"cs.LG","work_id":"5c88caf0-3db7-4481-97eb-7dfe534de27c","year":2021},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.328228Z"},"links":{"cited_paper":"/paper/2108.12370","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:d7c9babdade107f3aa35a21948e6f9982a90d5bd9c0ec6bf57eebbb8678b1c80","observation_id":"4b4d784b-86d9-4063-8012-f2280bb0ec14","resolution":{"observed_at":"2026-08-15T15:59:56.630262Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":"2502.15776","last_updated":"2025-02-17T00:36:54Z","snapshot_observed_at":"2026-08-16T12:57:55.839661Z","submitted_at":"2025-02-17T00:36:54Z","title":"Logic.py: Bridging the Gap between LLMs and Constraint Solvers","version":1},"cited_work":{"arxiv_id":"2502.15776","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.15776","snapshot_observed_at":"2026-08-15T15:59:56.602324Z","title":"Logic.py: Bridging the Gap between LLMs and Constraint Solvers","venue":"cs.AI","work_id":"ad0cd694-fea6-4a94-bbe9-130cd2d65342","year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.333196Z"},"links":{"cited_paper":"/paper/2502.15776","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:4c0e49cba0b493d9801c58f0d42d250faa559a8ff9d9e952aa5d5576a70abfea","observation_id":"126e4a29-8341-4187-8459-0c3b1b5bac26","resolution":{"observed_at":"2026-08-15T15:59:56.607673Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":"2412.06769","last_updated":"2025-11-03T00:53:34Z","snapshot_observed_at":"2026-08-17T06:12:37.525438Z","submitted_at":"2024-12-09T18:55:56Z","title":"Training Large Language Models to Reason in a Continuous Latent Space","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06769","snapshot_observed_at":"2026-08-15T15:59:56.338192Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.338192Z"},"links":{"cited_paper":"/paper/2412.06769","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:d93c7047c4418b31b57d4e55768888e482be5b7859ee341deb4da0bdd4b07178","observation_id":"9b792810-7ea7-4ed3-b67d-ba1934a34fd2","resolution":{"observed_at":"2026-08-15T15:59:56.338192Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.15652","last_updated":"2025-07-21T01:15:52Z","snapshot_observed_at":"2026-08-18T03:39:00.284015Z","submitted_at":"2025-02-21T18:20:35Z","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.15652","snapshot_observed_at":"2026-08-15T15:59:56.342879Z","title":"Cheng, H","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.342879Z"},"links":{"cited_paper":"/paper/2502.15652","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:aebad4b9f2d07f99683d015a9aa2d79bbeb1bc9283d65a71c1a916152b77dca6","observation_id":"54a9a5eb-ccf8-47f1-b46d-28c575c30be6","resolution":{"observed_at":"2026-08-15T15:59:56.342879Z","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-15T15:59:57.169809Z","title":null,"venue":null,"work_id":"6bab828c-dc46-4101-9c8d-745102dd2232","year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.347703Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:6eee773d2100216841001a1e84b040276944b28509852ddc4813a2beac1c9ed1","observation_id":"679f8d5f-2ee6-473f-a947-b480a59ceef8","resolution":{"observed_at":"2026-08-15T15:59:57.174800Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2212.08686","last_updated":"2024-03-28T08:20:12Z","snapshot_observed_at":"2026-08-16T16:08:02.823030Z","submitted_at":"2022-12-16T19:30:01Z","title":"Evaluating Step-by-Step Reasoning through Symbolic Verification","version":2},"cited_work":{"arxiv_id":"2212.08686","doi":null,"metadata_source":"pith","pith_arxiv_id":"2212.08686","snapshot_observed_at":"2026-08-15T15:59:56.540149Z","title":"Evaluating Step-by-Step Reasoning through Symbolic Verification","venue":"cs.CL","work_id":"64138039-94ca-4c85-99eb-1bdef645e548","year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.352145Z"},"links":{"cited_paper":"/paper/2212.08686","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:b7630bef5480c606d7b708c12108a812035d15d1774dfe0994d7b33a2b9a3647","observation_id":"93245369-552f-4674-9379-6bc861bdf2d1","resolution":{"observed_at":"2026-08-15T15:59:56.548440Z","resolver_source":"local_arxiv","status":"verified_exact"},"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.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-08-16T13:48:32.044219Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-15T15:59:56.357017Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.357017Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:502141c4eaf2d2d4acaecb816bbbb2754f02c6cf11da603dfd77540e1c5ed900","observation_id":"6b1570cc-eca3-41e8-97a1-dba959e289d7","resolution":{"observed_at":"2026-08-15T15:59:56.357017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.16837","last_updated":"2025-05-31T11:20:49Z","snapshot_observed_at":"2026-08-17T19:25:01.286150Z","submitted_at":"2024-02-26T18:57:54Z","title":"Do Large Language Models Latently Perform Multi-Hop Reasoning?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.16837","snapshot_observed_at":"2026-08-15T15:59:56.361664Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.361664Z"},"links":{"cited_paper":"/paper/2402.16837","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:4182c9d9a0603c6ce8269d097bd837e6747867a3dec20497813aed54826c8321","observation_id":"a367a167-814c-4751-88b1-6892e2be7ceb","resolution":{"observed_at":"2026-08-15T15:59:56.361664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.16679","last_updated":"2025-05-31T11:16:44Z","snapshot_observed_at":"2026-08-16T16:36:51.621940Z","submitted_at":"2024-11-25T18:59:30Z","title":"Do Large Language Models Perform Latent Multi-Hop Reasoning without Exploiting Shortcuts?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.16679","snapshot_observed_at":"2026-08-15T15:59:56.366700Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.366700Z"},"links":{"cited_paper":"/paper/2411.16679","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:304cd8f8fed32fabcdb1b612acf17b8f7c2c58c5ceea88da0021e2bc1073d138","observation_id":"5d45f393-ff60-4dd3-bf46-04689e452e89","resolution":{"observed_at":"2026-08-15T15:59:56.366700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16100","last_updated":"2025-02-28T17:02:23Z","snapshot_observed_at":"2026-08-16T19:08:39.213508Z","submitted_at":"2024-12-20T17:42:25Z","title":"Logical Consistency of Large Language Models in Fact-checking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16100","snapshot_observed_at":"2026-08-15T15:59:56.371362Z","title":"Ghosh, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.371362Z"},"links":{"cited_paper":"/paper/2412.16100","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:a83a86606ca874b080df8e9d7aadc541888a2da00a3a836655298ab09cd65ee5","observation_id":"e5b75440-2bec-4725-8793-3ad9e86af889","resolution":{"observed_at":"2026-08-15T15:59:56.371362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.12762","last_updated":"2024-11-27T07:41:35Z","snapshot_observed_at":"2026-08-15T09:55:26.401994Z","submitted_at":"2024-11-16T13:07:13Z","title":"Playing Language Game with LLMs Leads to Jailbreaking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.12762","snapshot_observed_at":"2026-08-15T15:59:56.376609Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.376609Z"},"links":{"cited_paper":"/paper/2411.12762","citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:fcb1f3e869ff5b292fd50dafff81881c93188c14a874ac0cf4523eeee96d7ad7","observation_id":"70e583d2-90d5-40a9-b6cf-535fef4d0907","resolution":{"observed_at":"2026-08-15T15:59:56.376609Z","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-15T15:59:57.153711Z","title":null,"venue":null,"work_id":"67174c7d-d915-45e0-b6ef-62bf2803b547","year":2023},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.381190Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:0f5fe872aa378995ea39c4a132971f2b8da60226c916506239da07a841b93394","observation_id":"1f44fc06-61f4-4719-b11b-6f2406312879","resolution":{"observed_at":"2026-08-15T15:59:57.158594Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:57.136590Z","title":null,"venue":null,"work_id":"5399c3a7-a59f-41e7-8991-42e842d2a3a2","year":2008},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.386080Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:9005fc2a5c225f41d97470effc9ff88148b0b54ba9682530c8d418577a522d8f","observation_id":"7271a0b2-66b3-4673-8d26-be123c7efb1e","resolution":{"observed_at":"2026-08-15T15:59:57.142270Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:57.091056Z","title":null,"venue":null,"work_id":"f272f45e-6d1b-4c79-ba01-70f6dd240e27","year":1992},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.390678Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:9eb3f1368583a1e3282d35919f0f30106e0aacc53319041e530a216400ef7155","observation_id":"e2e86c32-1ef2-4c19-bb87-ff9c6ac8bdfa","resolution":{"observed_at":"2026-08-15T15:59:57.123659Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:56.971533Z","title":"Sowa, Introduction to common logic, 2011","venue":null,"work_id":"545adcad-01e4-4c1a-bc33-d5528eb8f701","year":2011},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.395715Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:901cc55c1ecfbe1d60be6cb1efb5c56d8e06772f49d79e089de0686ea73b781e","observation_id":"1ac76501-627f-4e50-a2cb-c2e1ebf03eaf","resolution":{"observed_at":"2026-08-15T15:59:57.030573Z","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-15T15:59:56.955179Z","title":"Sommers, G","venue":null,"work_id":"8b9101bf-e274-4f19-8b87-e94bc22dd9cc","year":2017},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.400040Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:c1ea2810cfd6de11bbad7c2db572ce1989803621e42646ac7d4afbbbe8544a8b","observation_id":"2176b5ce-c904-4af0-9254-84ec4b6154d4","resolution":{"observed_at":"2026-08-15T15:59:56.959859Z","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-15T15:59:56.940209Z","title":null,"venue":null,"work_id":"e944d038-2675-4f6b-933e-826bd3b3de4e","year":2018},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.404586Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:72409f573c44a657a544108a60db4625267dd41713cea118ea2d0fa0a88547ea","observation_id":"70189f78-cef8-4b27-8736-87080e5c2ae7","resolution":{"observed_at":"2026-08-15T15:59:56.944653Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:56.925348Z","title":null,"venue":null,"work_id":"6a22c40b-29ed-4ebb-aca6-6f19cd83678e","year":2025},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.409541Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:f09f5b643aba239dae4f47ecb3a04eae283df2d3a0e57c29fb3c007b0d55d494","observation_id":"9f401521-5067-42f8-b8c1-61bf0144f9bc","resolution":{"observed_at":"2026-08-15T15:59:56.929926Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:56.415543Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.415543Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:6e3033fd9ea6f25f360dd5e70507fc68547776fb4b3b5d553bc18904bb1ac85a","observation_id":"b025b8cb-0662-43ea-ab79-b991cdd2359a","resolution":{"observed_at":"2026-08-15T15:59:56.415543Z","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-15T15:59:56.900979Z","title":null,"venue":null,"work_id":"b3cd5bf7-ff72-434f-8024-d71a4ef4710e","year":2023},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.419952Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:34b754b211225e41749ed3a8e5c03cc95ea99c16f633bdeb500ea60b5301edae","observation_id":"bf8fd763-aef5-4e70-bfd7-ef159f098a4e","resolution":{"observed_at":"2026-08-15T15:59:56.905587Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T15:59:56.885321Z","title":"Borgo, R","venue":null,"work_id":"764b4244-fd01-4ac5-82d9-41e6e85d8974","year":2022},"citing_paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T15:59:56.425069Z"},"links":{"citing_paper":"/paper/2509.10249"},"observation_digest":"sha256:4e9cc1adc26275034383eb807caeb6983c8419cea64acc3fe23e86ffc60a5eb6","observation_id":"9d065ad6-4178-45fc-80e4-faf94d39d201","resolution":{"observed_at":"2026-08-15T15:59:56.889939Z","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"}}],"paper":{"arxiv_id":"2509.10249","last_updated":"2025-09-12T13:46:43Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T08:41:32.955385Z","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":5,"verified_fuzzy":6},"total_outbound_references":39},"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 18 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2509.10249."}