{"as_of":"2026-08-11T14:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:61f7480fae7b82382a2ccf4600a0d33770e3c058a42d7e863b3fac8801f7f095","coverage":[{"denominator":78,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":78,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:48:53.750979Z","state":"measured"},{"denominator":79,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":79,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T17:17:53.433056Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T03:59:34.061462Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"cited_work":{"arxiv_id":"2501.00759","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2501.00759","snapshot_observed_at":"2026-07-04T03:59:34.061462Z","title":null,"venue":null,"work_id":"b7d52b10-2334-4706-9831-fb384e14a851","year":2025},"citing_paper":{"arxiv_id":"2606.20873","last_updated":"2026-06-18T19:02:17Z","snapshot_observed_at":"2026-08-07T04:47:33.342706Z","submitted_at":"2026-06-18T19:02:17Z","title":"SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T17:17:53.433056Z"},"links":{"cited_paper":"/paper/2501.00759","citing_paper":"/paper/2606.20873"},"observation_digest":"sha256:2104ae5e21b403af65b3c714a96f994f2ac31c3763cf6d423ced73b06aba84a8","observation_id":"9c052562-91b9-41d0-8acb-40b0a964a7ef","resolution":{"observed_at":"2026-07-04T03:59:34.063067Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.00759/citation-record","integrity":"/paper/2501.00759/integrity","json":"/paper/2501.00759/citation-record.json","paper":"/paper/2501.00759"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:48:53.376031Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.376031Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:c945af89295288662d806649c1c6d1c374c352ac6045ad2df77a95598b048f02","observation_id":"f2510d08-8b15-4990-8191-9dcb5ab6ce97","resolution":{"observed_at":"2026-08-10T22:48:53.376031Z","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-10T22:48:53.382047Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.382047Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:7a81eb6ee7864b361977ab7b935e7ce84f9655385e2bfbd1936fce8dbc600f4b","observation_id":"8b3f6445-5438-4219-afbf-991a7d91bb23","resolution":{"observed_at":"2026-08-10T22:48:53.382047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.03459","last_updated":"2021-03-18T09:42:49Z","snapshot_observed_at":"2026-08-07T05:05:37.257207Z","submitted_at":"2020-11-06T16:20:49Z","title":"Complex Query Answering with Neural Link Predictors","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.03459","snapshot_observed_at":"2026-08-10T22:48:53.387332Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.387332Z"},"links":{"cited_paper":"/paper/2011.03459","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:ddb26098b1ae5066928367ffe3b3377053a619b810c54e1367db48a28d152fc3","observation_id":"d1e05e4e-d964-49e7-8c45-dfa63af7af3e","resolution":{"observed_at":"2026-08-10T22:48:53.387332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23628","last_updated":"2025-08-01T06:39:45Z","snapshot_observed_at":"2026-08-09T19:12:01.106099Z","submitted_at":"2025-05-29T16:34:58Z","title":"AutoSchemaKG: Autonomous Knowledge Graph Construction through Dynamic Schema Induction from Web-Scale Corpora","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23628","snapshot_observed_at":"2026-08-10T22:48:53.392779Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.392779Z"},"links":{"cited_paper":"/paper/2505.23628","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:be5aadd8986bd2cfe47f0db1e5c3abde45fd2c32d8f3a7726968b198f73f25c2","observation_id":"388b0e68-a4e9-4091-b29c-fa9572053c8b","resolution":{"observed_at":"2026-08-10T22:48:53.392779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.19068","last_updated":"2023-10-27T12:16:14Z","snapshot_observed_at":"2026-07-06T15:35:26.335169Z","submitted_at":"2023-05-30T14:29:24Z","title":"Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints","version":2},"cited_work":{"arxiv_id":"2305.19068","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.19068","snapshot_observed_at":"2026-08-10T22:48:55.320992Z","title":"Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints","venue":"cs.CL","work_id":"8dfa341e-bb54-4db5-aae2-3734318d75d8","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.398156Z"},"links":{"cited_paper":"/paper/2305.19068","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:11e72f43e14b5cbd75584efd4ec2e070d66731a9ebf303f8f9157a3d998491fc","observation_id":"43c2acc9-d56c-409a-bacf-b3b85bce421d","resolution":{"observed_at":"2026-08-10T22:48:55.328646Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.15643","last_updated":"2024-06-20T11:31:15Z","snapshot_observed_at":"2026-08-10T23:01:15.334786Z","submitted_at":"2023-12-25T08:06:20Z","title":"Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation","version":3},"cited_work":{"arxiv_id":"2312.15643","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.15643","snapshot_observed_at":"2026-08-10T22:48:55.296466Z","title":"Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation","venue":"cs.AI","work_id":"f83e96e6-3f4d-491e-a012-f0837c2cf367","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.403181Z"},"links":{"cited_paper":"/paper/2312.15643","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:3ca0055849da00f0e90a833c3950df4b37c82b73fb9a60fb8ac27ddb350e53aa","observation_id":"a5279d17-cd4b-4617-a728-6b77dd0c8d3c","resolution":{"observed_at":"2026-08-10T22:48:55.302649Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.14224","last_updated":"2025-01-24T04:06:50Z","snapshot_observed_at":"2026-08-10T15:12:44.507526Z","submitted_at":"2025-01-24T04:06:50Z","title":"Top Ten Challenges Towards Agentic Neural Graph Databases","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.14224","snapshot_observed_at":"2026-08-10T22:48:53.407861Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.407861Z"},"links":{"cited_paper":"/paper/2501.14224","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:59b6df47566bbec34874a3f244a94147d416c7b3417249e9eb5b47d49e518087","observation_id":"5c0112f6-ee47-4b8b-af9f-70a74c8231bd","resolution":{"observed_at":"2026-08-10T22:48:53.407861Z","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-10T22:48:55.529608Z","title":null,"venue":null,"work_id":"9dd2b421-1406-491c-bade-e06dcf463835","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.412993Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:0374c329f633c6ff92f894fd2963883296ea473957423168528f25f5cd2afbf3","observation_id":"1b43f838-3001-487d-a78b-ed6f853d5da8","resolution":{"observed_at":"2026-08-10T22:48:55.533736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.09567","last_updated":"2023-06-07T06:57:09Z","snapshot_observed_at":"2026-07-06T14:32:29.720436Z","submitted_at":"2022-12-19T15:59:00Z","title":"Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization","version":3},"cited_work":{"arxiv_id":"2212.09567","doi":null,"metadata_source":"pith","pith_arxiv_id":"2212.09567","snapshot_observed_at":"2026-08-10T22:48:55.257659Z","title":"Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization","venue":"cs.LG","work_id":"638f9681-99c9-4a68-afa6-5d0e1fef211e","year":2022},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.417953Z"},"links":{"cited_paper":"/paper/2212.09567","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:1bd68ed43a84c9571158375eda50c8871157bc78a9fbe2d9c0d2809c7268314a","observation_id":"b8c8499f-ade3-47f5-b8ea-b9a45bb9e5c3","resolution":{"observed_at":"2026-08-10T22:48:55.263728Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.04225","last_updated":"2018-07-11T16:14:25Z","snapshot_observed_at":"2026-07-06T06:49:37.294670Z","submitted_at":"2018-07-11T16:14:25Z","title":"Measuring abstract reasoning in neural networks","version":1},"cited_work":{"arxiv_id":"1807.04225","doi":null,"metadata_source":"pith","pith_arxiv_id":"1807.04225","snapshot_observed_at":"2026-08-10T22:48:55.233240Z","title":"Measuring abstract reasoning in neural networks","venue":"cs.LG","work_id":"5b3631bc-5304-4dfa-bc8b-8664d35e1180","year":2018},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.422906Z"},"links":{"cited_paper":"/paper/1807.04225","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:276e1b2d62626afeea33c53814fd6ba8dfa96a03667ccdec94130f4c2468a620","observation_id":"258a1e9a-8666-4a48-a5a3-2c3bdb5833be","resolution":{"observed_at":"2026-08-10T22:48:55.239976Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1908.05739","last_updated":"2020-02-14T02:52:27Z","snapshot_observed_at":"2026-08-10T23:00:55.235607Z","submitted_at":"2019-08-15T20:03:10Z","title":"Abductive Commonsense Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1908.05739","snapshot_observed_at":"2026-08-10T22:48:53.427532Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.427532Z"},"links":{"cited_paper":"/paper/1908.05739","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:432c45cfa9757b235716fc3f2d4c50be72ede46fecc20049921b18e6882d9882","observation_id":"4c2bf31d-ece6-405c-ae35-1baded00af21","resolution":{"observed_at":"2026-08-10T22:48:53.427532Z","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-10T22:48:55.514786Z","title":"Bollacker, Colin Evans, Praveen K","venue":null,"work_id":"40e114f6-3502-4227-88c1-981d5f21ded7","year":2008},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.432611Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:3657224e57dbcdfbf5088c04db9e30c550aaf6fcc1d2efa6db88b60166a30024","observation_id":"87919490-4f02-41a8-b252-8c49bfff15e7","resolution":{"observed_at":"2026-08-10T22:48:55.519639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:48:53.437341Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.437341Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:edcb98f981cd5d7fb918487e8c0f16d99c4eaed6dad15db0d35f98fa8cdad4c0","observation_id":"1d6da806-4b42-4caa-9a81-444c15c1f04d","resolution":{"observed_at":"2026-08-10T22:48:53.437341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1508.05326","last_updated":"2015-08-21T16:17:01Z","snapshot_observed_at":"2026-08-10T11:52:49.214145Z","submitted_at":"2015-08-21T16:17:01Z","title":"A large annotated corpus for learning natural language inference","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1508.05326","snapshot_observed_at":"2026-08-10T22:48:53.441942Z","title":"Bowman, Gabor Angeli, Christopher Potts, and Christopher D","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.441942Z"},"links":{"cited_paper":"/paper/1508.05326","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:ea412e7b9340ebe1bc770ea862c92ae54b6e5d6c8a50db8e56a142318bccd619","observation_id":"19c59650-0ec8-4278-8350-32ce61371d0c","resolution":{"observed_at":"2026-08-10T22:48:53.441942Z","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-10T22:48:55.490436Z","title":"Hruschka, and Tom M","venue":null,"work_id":"0582e5ae-a0d4-4295-8d98-1bb6b0ed21c4","year":2010},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.446644Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e3d7ba0090966727972d3625eb1077c5e9fc3e385091f8c2fc4672aeacb9fd37","observation_id":"829ba50b-4b06-4b30-bde9-ab900919879a","resolution":{"observed_at":"2026-08-10T22:48:55.495277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.09458","last_updated":"2023-02-19T02:21:32Z","snapshot_observed_at":"2026-07-06T14:53:20.639529Z","submitted_at":"2023-02-19T02:21:32Z","title":"Learning Language Representations with Logical Inductive Bias","version":1},"cited_work":{"arxiv_id":"2302.09458","doi":null,"metadata_source":"pith","pith_arxiv_id":"2302.09458","snapshot_observed_at":"2026-08-10T22:48:55.175542Z","title":"Learning Language Representations with Logical Inductive Bias","venue":"cs.CL","work_id":"3e3efeaf-9423-4c4c-a62b-c40947c844a0","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.451038Z"},"links":{"cited_paper":"/paper/2302.09458","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:a353c1f7206ae1bcfc34f02043d92ef3e615ac3499f43f32b496aa4cad808134","observation_id":"7cbbbaa4-ce92-406b-a5c8-e88b9ddf7e05","resolution":{"observed_at":"2026-08-10T22:48:55.184505Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.02390","last_updated":"2022-06-16T06:30:13Z","snapshot_observed_at":"2026-08-10T06:28:01.952871Z","submitted_at":"2021-08-05T05:54:00Z","title":"Fuzzy Logic Based Logical Query Answering on Knowledge Graphs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.02390","snapshot_observed_at":"2026-08-10T22:48:53.456949Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.456949Z"},"links":{"cited_paper":"/paper/2108.02390","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:82f41fa84dc1b01f18f6f64ff31bf5edbfbd908a12417f3001059953b9f67c7b","observation_id":"7a5ad21a-fa0a-421f-b8d4-5a7ab736e090","resolution":{"observed_at":"2026-08-10T22:48:53.456949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.05867","last_updated":"2020-05-05T17:33:38Z","snapshot_observed_at":"2026-08-10T11:45:10.798117Z","submitted_at":"2020-02-14T04:23:28Z","title":"Transformers as Soft Reasoners over Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.05867","snapshot_observed_at":"2026-08-10T22:48:53.461267Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.461267Z"},"links":{"cited_paper":"/paper/2002.05867","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e874e3269a8e84d666ce4e79ab80d6b11eecae5b2c854cc29fdbc708a8ccc063","observation_id":"bfd12e82-d5d6-4bb5-b2ec-d99d6a5585cd","resolution":{"observed_at":"2026-08-10T22:48:53.461267Z","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-10T22:48:55.474843Z","title":null,"venue":null,"work_id":"34de02b5-e073-40f8-bcf4-614eae18c0a0","year":2018},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.465981Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:96c9e428342fdfbbea7d0a0729dec3f70fbbfac580654422709cc62ef83f1fe0","observation_id":"cfd54191-a452-4cdb-9b70-1ea35bcf437e","resolution":{"observed_at":"2026-08-10T22:48:55.479582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.03819","last_updated":"2019-03-05T16:46:19Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2018-07-10T18:39:15Z","title":"Universal Transformers","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.03819","snapshot_observed_at":"2026-08-10T22:48:53.470663Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.470663Z"},"links":{"cited_paper":"/paper/1807.03819","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:162d201892a96ed820d5893fc5e78d483e9cc8fe07f8aa2a32b44efca37c7592","observation_id":"2eeeab3e-8169-4413-80f3-1d6293afe3bf","resolution":{"observed_at":"2026-08-10T22:48:53.470663Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.04805","last_updated":"2019-05-24T20:37:26Z","snapshot_observed_at":"2026-07-30T09:12:38.100527Z","submitted_at":"2018-10-11T00:50:01Z","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.04805","snapshot_observed_at":"2026-08-10T22:48:53.475189Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.475189Z"},"links":{"cited_paper":"/paper/1810.04805","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:9a441512a437b77392ae22a60ca92f8bcf8dc82103bc4c009915b1435ec7fc8b","observation_id":"fd918cc8-d964-479c-a9b7-5577a12a3e47","resolution":{"observed_at":"2026-08-10T22:48:53.475189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.14104","last_updated":"2025-05-20T09:10:52Z","snapshot_observed_at":"2026-08-07T15:37:54.437533Z","submitted_at":"2025-05-20T09:10:52Z","title":"Legal Rule Induction: Towards Generalizable Principle Discovery from Analogous Judicial Precedents","version":1},"cited_work":{"arxiv_id":"2505.14104","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.14104","snapshot_observed_at":"2026-08-10T22:48:55.053088Z","title":"Legal Rule Induction: Towards Generalizable Principle Discovery from Analogous Judicial Precedents","venue":"cs.CL","work_id":"a6074a09-8074-4d4a-a42c-e3c158cc949e","year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.479569Z"},"links":{"cited_paper":"/paper/2505.14104","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:1e3568374fe9a2c9b6014360ed033ab7d4c3cc13a43d476262af76751c697006","observation_id":"595309ea-d365-4a22-9258-56360bdb085d","resolution":{"observed_at":"2026-08-10T22:48:55.077002Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07398","last_updated":"2024-06-22T17:32:05Z","snapshot_observed_at":"2026-08-01T16:56:59.579724Z","submitted_at":"2024-03-12T08:13:52Z","title":"Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs","version":2},"cited_work":{"arxiv_id":"2403.07398","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.07398","snapshot_observed_at":"2026-08-10T22:48:54.983682Z","title":"Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs","venue":"cs.CL","work_id":"ca0144f8-6786-4ed3-bcf1-81e8001d64c4","year":2024},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.484337Z"},"links":{"cited_paper":"/paper/2403.07398","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:96a81c18deb26250cd587b61f502e1da7e4649caecc786697b92932c95872bb5","observation_id":"c275acf6-d11a-4bf3-9f80-75227474ba1c","resolution":{"observed_at":"2026-08-10T22:48:55.011280Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20948","last_updated":"2026-05-01T12:13:02Z","snapshot_observed_at":"2026-07-06T21:31:15.898821Z","submitted_at":"2025-05-27T09:36:47Z","title":"Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.20948","snapshot_observed_at":"2026-08-10T22:48:53.489077Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.489077Z"},"links":{"cited_paper":"/paper/2505.20948","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:54a6754f2e32e4816c88c8738d91ca2c099991433b9beedf07a5a71d1fe067ec","observation_id":"600c56d5-81a3-403c-8d3d-ac1000fed9a0","resolution":{"observed_at":"2026-08-10T22:48:53.489077Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1806.01445","last_updated":"2019-10-29T15:18:35Z","snapshot_observed_at":"2026-08-06T05:46:59.148462Z","submitted_at":"2018-06-05T00:36:13Z","title":"Embedding Logical Queries on Knowledge Graphs","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.01445","snapshot_observed_at":"2026-08-10T22:48:53.494911Z","title":"Hamilton, Payal Bajaj, Marinka Zitnik, Dan Jurafsky, and Jure Leskovec","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.494911Z"},"links":{"cited_paper":"/paper/1806.01445","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:6d91fe3e97414f107ae5ae2a27b12fb56d570d357811bbf2cecde6b566326e52","observation_id":"7d36c8d2-227c-4067-a042-72a8f2a715d2","resolution":{"observed_at":"2026-08-10T22:48:53.494911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","snapshot_observed_at":"2026-08-10T23:00:56.264646Z","submitted_at":"2022-09-02T06:50:11Z","title":"FOLIO: Natural Language Reasoning with First-Order Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-08-10T22:48:53.499200Z","title":"Fabbri, Wojciech Kryscinski, Xi Victoria Lin, Caiming Xiong, and Dragomir Radev","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.499200Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:5e407397f73bfb39d03d7d401edca11dd0ed0e4fa9ffc36cd2f28d72d604d634","observation_id":"6994d98a-9873-4327-a956-e4e5b5a523fb","resolution":{"observed_at":"2026-08-10T22:48:53.499200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.03654","last_updated":"2021-10-06T21:02:00Z","snapshot_observed_at":"2026-07-06T09:26:29.068023Z","submitted_at":"2020-06-05T19:54:34Z","title":"DeBERTa: Decoding-enhanced BERT with Disentangled Attention","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.03654","snapshot_observed_at":"2026-08-10T22:48:53.503917Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.503917Z"},"links":{"cited_paper":"/paper/2006.03654","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:cb873dd932ca154eb1020d31aa820d81cbc657992afcba8f06f906e7e7db2ec1","observation_id":"2e810c02-7b54-4daa-9536-b5995912cbed","resolution":{"observed_at":"2026-08-10T22:48:53.503917Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-10T22:48:53.508543Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.508543Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:0ef213960e0946b42fdf350a0d1a171e1fa0daee4feeb547311f447d3b3f90ce","observation_id":"1441eb60-cc7b-4c4b-b6bc-9e515357dbbd","resolution":{"observed_at":"2026-08-10T22:48:53.508543Z","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-10T22:48:53.513337Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.513337Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:3949dde77ca1e251e4c4be0e86ce06aade2f68f72d92c888891bcf116c49cd6f","observation_id":"fafdb3fd-c9e9-4609-8c51-c53d065e81d4","resolution":{"observed_at":"2026-08-10T22:48:53.513337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.14491","last_updated":"2023-10-23T01:47:29Z","snapshot_observed_at":"2026-08-03T08:20:20.915196Z","submitted_at":"2023-10-23T01:47:29Z","title":"Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.14491","snapshot_observed_at":"2026-08-10T22:48:53.517542Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.517542Z"},"links":{"cited_paper":"/paper/2310.14491","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:c47e4af7c16d494021facc0b3f8cf7a37350bb480f7cd2b61139b710b9ae52dc","observation_id":"6745e3a5-80a3-4ba3-b572-14fc0cffbb0c","resolution":{"observed_at":"2026-08-10T22:48:53.517542Z","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":"10.1609/aaai.v35i6.16630","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:48:53.858607Z","title":null,"venue":null,"work_id":"66e9ebc2-9e5e-4951-9e38-2c179b58003f","year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.522180Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:3a58e8b3c34143a7fdda579d0bea2b3b46c0283626f2ea18a6130ad5972d8c51","observation_id":"d0934914-3611-4a81-8e79-8846ee1cabf5","resolution":{"observed_at":"2026-08-10T22:48:53.863511Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-08-10T22:48:53.526498Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.526498Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:934d3cb8ddca8a27ea91135d6512d3485bc154a409002407bc8def4474b28e32","observation_id":"27ffebf2-5138-454e-bba1-426f2d3e5b5b","resolution":{"observed_at":"2026-08-10T22:48:53.526498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.16169","last_updated":"2025-05-28T13:56:42Z","snapshot_observed_at":"2026-08-07T17:56:41.207045Z","submitted_at":"2025-02-22T10:03:19Z","title":"Patterns Over Principles: The Fragility of Inductive Reasoning in LLMs under Noisy Observations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.16169","snapshot_observed_at":"2026-08-10T22:48:53.532307Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.532307Z"},"links":{"cited_paper":"/paper/2502.16169","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:a4f099f31702e0e4659207c84ad549b0a1e8418ce6cc286b35380724aea99e97","observation_id":"c440deb8-e179-48d2-ad33-4845772bf15e","resolution":{"observed_at":"2026-08-10T22:48:53.532307Z","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-10T22:48:53.537502Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.537502Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:dcfab38fb5d80e17f96a285e0e8a734952bb72e050f5a3877d84126dc0d3a2f8","observation_id":"bcee32a8-c733-4606-aa7b-3a0dc23abab1","resolution":{"observed_at":"2026-08-10T22:48:53.537502Z","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-10T22:48:53.542108Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.542108Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:fffbdda464ebe7a52015c5bffabf15599659a1d7c05e555710a3aa807cf80d84","observation_id":"dfa0f5ce-b0cb-47d8-832b-40d94f2f1d16","resolution":{"observed_at":"2026-08-10T22:48:53.542108Z","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-10T22:48:55.449895Z","title":null,"venue":null,"work_id":"daf3b200-980e-40b1-ba0b-3cf925edba99","year":2012},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.546721Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:20cc8e27ccee97495c74e3209683321bfeb845cfe8d893e166ad8af7938b710f","observation_id":"96e1efa5-ff2d-4aec-9f27-2c6e8340f02f","resolution":{"observed_at":"2026-08-10T22:48:55.454904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:48:53.551151Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.551151Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:180299a3dfd7847da7a0c347b3a1f9ffa127cc59874d78cc7e3d6aaf86e6af30","observation_id":"1d932ef6-9c62-429d-826c-d1f8759fef38","resolution":{"observed_at":"2026-08-10T22:48:53.551151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-08-10T11:45:15.322675Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-10T22:48:53.555650Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.555650Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:939298aaa7e3499913d38f41cfaebd1d61b8ac67df670c30eb3ee908bbe82399","observation_id":"1e342394-b7dc-48e4-9533-c8b3410697bb","resolution":{"observed_at":"2026-08-10T22:48:53.555650Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15522","last_updated":"2024-06-06T08:15:54Z","snapshot_observed_at":"2026-08-10T01:19:33.500399Z","submitted_at":"2024-04-23T21:08:49Z","title":"LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.15522","snapshot_observed_at":"2026-08-10T22:48:53.560481Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.560481Z"},"links":{"cited_paper":"/paper/2404.15522","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:9e499999bc0c5e1c7667f4cd293f1b00cf4090d064764cded2c5d2ddfd69169f","observation_id":"5ab0e704-cf2f-4298-af86-26d990931283","resolution":{"observed_at":"2026-08-10T22:48:53.560481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-10T22:48:53.565194Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.565194Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:696860eeb0bb799481b02c20a6b755adffcf1833bf722891fbceb637cdc6552d","observation_id":"32477ec1-d8ff-45f8-9c74-e73dd036cfc8","resolution":{"observed_at":"2026-08-10T22:48:53.565194Z","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-10T22:48:55.435310Z","title":null,"venue":null,"work_id":"5cec91fe-06ce-412a-85e2-96109218d974","year":2009},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.570000Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:5b8a478cb09b5b11c30fbe08d5345b37437cfd10d85fae8843503db2a8a527a5","observation_id":"2e01bc3e-9d39-44c4-bb31-64486ae45815","resolution":{"observed_at":"2026-08-10T22:48:55.439765Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.14617","last_updated":"2023-03-26T04:03:37Z","snapshot_observed_at":"2026-08-04T15:15:44.154685Z","submitted_at":"2023-03-26T04:03:37Z","title":"Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.14617","snapshot_observed_at":"2026-08-10T22:48:53.574408Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.574408Z"},"links":{"cited_paper":"/paper/2303.14617","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:7d9f3b1bb491fcf8e367b39df8a159b40030b73da52275f7737a9730730aef4d","observation_id":"bb4dfabd-f216-4476-b890-4893feb83d12","resolution":{"observed_at":"2026-08-10T22:48:53.574408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.05969","last_updated":"2020-02-29T03:59:06Z","snapshot_observed_at":"2026-08-05T22:05:56.883118Z","submitted_at":"2020-02-14T11:20:10Z","title":"Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddings","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.05969","snapshot_observed_at":"2026-08-10T22:48:53.578928Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.578928Z"},"links":{"cited_paper":"/paper/2002.05969","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:b689a32b0518620ba457f0e3863c2f60c270d2dcaccedc1294f741bb430e9b66","observation_id":"36441285-9e21-4f4a-972f-2b2679e97f98","resolution":{"observed_at":"2026-08-10T22:48:53.578928Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.11465","last_updated":"2020-10-22T06:11:39Z","snapshot_observed_at":"2026-07-06T10:07:05.139304Z","submitted_at":"2020-10-22T06:11:39Z","title":"Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.11465","snapshot_observed_at":"2026-08-10T22:48:53.583604Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.583604Z"},"links":{"cited_paper":"/paper/2010.11465","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:d9d0febe9da6b86021a84ac5c1b2200e4bbd60ef78d4a82acf24d63098849c0c","observation_id":"6f248dda-7f21-492f-88d7-b13bf925c6e3","resolution":{"observed_at":"2026-08-10T22:48:53.583604Z","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-10T22:48:55.409685Z","title":null,"venue":null,"work_id":"39a1ea58-8c84-481d-9536-116ce8f98238","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.588521Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:de1d18cd456beb63b171a777afbd2d9068aa185bab8a5b06b3b714856e7805c3","observation_id":"8253f8a0-411c-48d0-89f6-2788a6caf284","resolution":{"observed_at":"2026-08-10T22:48:55.423154Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.01557","last_updated":"2019-04-02T17:26:41Z","snapshot_observed_at":"2026-08-08T18:47:15.884862Z","submitted_at":"2019-04-02T17:26:41Z","title":"Analysing Mathematical Reasoning Abilities of Neural Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.01557","snapshot_observed_at":"2026-08-10T22:48:53.593126Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.593126Z"},"links":{"cited_paper":"/paper/1904.01557","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:acb2a7194281087992cdf4b2cc8a986edfa4c3d295e2194de0f948952ce558dd","observation_id":"7df90c10-ba99-4922-b53f-5ff5efd33412","resolution":{"observed_at":"2026-08-10T22:48:53.593126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1803.02155","last_updated":"2018-04-12T18:51:33Z","snapshot_observed_at":"2026-08-10T12:31:20.109533Z","submitted_at":"2018-03-06T13:13:11Z","title":"Self-Attention with Relative Position Representations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.02155","snapshot_observed_at":"2026-08-10T22:48:53.597870Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.597870Z"},"links":{"cited_paper":"/paper/1803.02155","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e8c88ee6a0f6e42ab7926cf76c2a01794c9a9906c1fb36e6700c31915e90dd66","observation_id":"f37a3066-1c68-44d0-bbf9-f0511115a0d4","resolution":{"observed_at":"2026-08-10T22:48:53.597870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.09864","last_updated":"2023-11-08T13:36:32Z","snapshot_observed_at":"2026-07-06T11:01:58.137141Z","submitted_at":"2021-04-20T09:54:06Z","title":"RoFormer: Enhanced Transformer with Rotary Position Embedding","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.09864","snapshot_observed_at":"2026-08-10T22:48:53.602640Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.602640Z"},"links":{"cited_paper":"/paper/2104.09864","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:8a7bea7c7fa44faa35d2627185c45356bcefa6f242ffac6852ea64d119f3781d","observation_id":"2604701f-245e-4768-9025-4d29fea48ff7","resolution":{"observed_at":"2026-08-10T22:48:53.602640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.03658","last_updated":"2021-01-29T03:46:25Z","snapshot_observed_at":"2026-07-06T09:10:46.033625Z","submitted_at":"2020-04-07T19:25:16Z","title":"Faithful Embeddings for Knowledge Base Queries","version":3},"cited_work":{"arxiv_id":"2004.03658","doi":null,"metadata_source":"pith","pith_arxiv_id":"2004.03658","snapshot_observed_at":"2026-08-10T22:48:54.615978Z","title":"Faithful Embeddings for Knowledge Base Queries","venue":"cs.LG","work_id":"6d04d43f-c5af-4768-a140-702a5e6e90e7","year":2020},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.607555Z"},"links":{"cited_paper":"/paper/2004.03658","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:248f78f6ec8c71ded654af3fcbffd7cc312de5cb1234f7249942decf84a5ad1e","observation_id":"7dc4068a-303a-47f5-901d-b1a0df93e4f2","resolution":{"observed_at":"2026-08-10T22:48:54.623102Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1512.00567","last_updated":"2015-12-11T20:27:50Z","snapshot_observed_at":"2026-08-06T16:02:58.892200Z","submitted_at":"2015-12-02T03:44:38Z","title":"Rethinking the Inception Architecture for Computer Vision","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1512.00567","snapshot_observed_at":"2026-08-10T22:48:53.611947Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.611947Z"},"links":{"cited_paper":"/paper/1512.00567","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e1c9c60d7a8b80998ed4d2af30dc42d6478e7f19279d1778a9a6d87803afc051","observation_id":"e8792e34-9edd-4b43-a463-506111a5c95e","resolution":{"observed_at":"2026-08-10T22:48:53.611947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.09706","last_updated":"2023-11-16T09:34:23Z","snapshot_observed_at":"2026-07-06T16:48:29.239105Z","submitted_at":"2023-11-16T09:34:23Z","title":"Towards Autonomous Hypothesis Verification via Language Models with Minimal Guidance","version":1},"cited_work":{"arxiv_id":"2311.09706","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.09706","snapshot_observed_at":"2026-08-10T22:48:54.571364Z","title":"Towards Autonomous Hypothesis Verification via Language Models with Minimal Guidance","venue":"cs.AI","work_id":"42bd0596-f4ca-476d-bcbb-cd9559034739","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.617325Z"},"links":{"cited_paper":"/paper/2311.09706","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:2d8d2dab63f6ab1fb220c8905461ed8bb1e1d2c9717fba5ee8f6994afbfbeb6c","observation_id":"bf121a17-9ca5-424f-91f7-c5207a315f83","resolution":{"observed_at":"2026-08-10T22:48:54.581002Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:48:53.622018Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.622018Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:a87cd4f5854d2d33552d7c86e5becc32dde9866f155f2a0162ab7b71481fe518","observation_id":"7f704d27-b2aa-420b-a2d1-5809fed1537d","resolution":{"observed_at":"2026-08-10T22:48:53.622018Z","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-10T22:48:53.626489Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.626489Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:862a717e6a61f4744b5acdcbfac833077e5e462b074d3ed52acdad99b9880642","observation_id":"a6c810a0-2186-4d64-bb55-41ea88eeef0e","resolution":{"observed_at":"2026-08-10T22:48:53.626489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.06357","last_updated":"2016-06-20T22:52:48Z","snapshot_observed_at":"2026-08-04T06:44:48.094490Z","submitted_at":"2016-06-20T22:52:48Z","title":"Complex Embeddings for Simple Link Prediction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.06357","snapshot_observed_at":"2026-08-10T22:48:53.631176Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.631176Z"},"links":{"cited_paper":"/paper/1606.06357","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:7fd6e8e3bb1a5a3ae0509c7771e3418a74d95892869075129532edc5c2cb2042","observation_id":"66fe0464-7d44-4dfb-b429-2a5af99f1d22","resolution":{"observed_at":"2026-08-10T22:48:53.631176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.16537","last_updated":"2025-04-23T09:07:21Z","snapshot_observed_at":"2026-08-07T15:59:57.833073Z","submitted_at":"2025-04-23T09:07:21Z","title":"Transformers for Complex Query Answering over Knowledge Hypergraphs","version":1},"cited_work":{"arxiv_id":"2504.16537","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.16537","snapshot_observed_at":"2026-08-10T22:48:54.529852Z","title":"Transformers for Complex Query Answering over Knowledge Hypergraphs","venue":"cs.CL","work_id":"20633a15-e249-45f5-9581-1793324bc09f","year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.636239Z"},"links":{"cited_paper":"/paper/2504.16537","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:2d1172559a25eb63f288888be44922005dc62b07bb04031408685df96d69b279","observation_id":"c3581dd2-5807-4936-a213-f5a1c7146149","resolution":{"observed_at":"2026-08-10T22:48:54.536477Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:48:55.373209Z","title":null,"venue":null,"work_id":"26d6dcd6-804a-4e9f-ac7c-4594b0242b99","year":1991},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.640966Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:35be4379ad981c147065ff12502550b86b5fce14f8b08154a247744c3bb1b298","observation_id":"46ab2062-a3cd-448e-94e5-22b324a50696","resolution":{"observed_at":"2026-08-10T22:48:55.391506Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.03762","last_updated":"2023-08-02T00:41:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-06-12T17:57:34Z","title":"Attention Is All You Need","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.03762","snapshot_observed_at":"2026-08-10T22:48:53.645560Z","title":"Gomez, Lukasz Kaiser, and Illia Polosukhin","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.645560Z"},"links":{"cited_paper":"/paper/1706.03762","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:4c90eb6a6a05ad59d6780e3e9516bc4b9fb9c0d3dce12251657e8b8c4d90750d","observation_id":"a1ec954d-076c-425e-b313-2fb9c4cff592","resolution":{"observed_at":"2026-08-10T22:48:53.645560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14160","last_updated":"2023-12-19T15:13:52Z","snapshot_observed_at":"2026-08-04T17:03:48.643939Z","submitted_at":"2023-05-23T15:26:20Z","title":"Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14160","snapshot_observed_at":"2026-08-10T22:48:53.650325Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.650325Z"},"links":{"cited_paper":"/paper/2305.14160","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:b6508f539eaa5de214a762c7cce6b924aa28988b365ab4adb3e1e254bf7fd094","observation_id":"08cd6a83-fa9a-4c1d-98fe-70466edae396","resolution":{"observed_at":"2026-08-10T22:48:53.650325Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.08859","last_updated":"2023-08-26T07:45:41Z","snapshot_observed_at":"2026-07-06T14:43:23.855697Z","submitted_at":"2023-01-21T02:34:06Z","title":"Logical Message Passing Networks with One-hop Inference on Atomic Formulas","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.08859","snapshot_observed_at":"2026-08-10T22:48:53.655021Z","title":"Wong, and Simon See","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.655021Z"},"links":{"cited_paper":"/paper/2301.08859","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:70b44e52e66d5acd2e9de4a3e4ddb846eaa6b26ab5c9f40b118e08bfc9f25ac6","observation_id":"bfe05ace-7c1f-4dee-a65c-c72bfccd54d6","resolution":{"observed_at":"2026-08-10T22:48:53.655021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.08925","last_updated":"2021-11-05T02:39:31Z","snapshot_observed_at":"2026-07-06T11:49:07.131602Z","submitted_at":"2021-09-18T12:58:55Z","title":"Benchmarking the Combinatorial Generalizability of Complex Query Answering on Knowledge Graphs","version":2},"cited_work":{"arxiv_id":"2109.08925","doi":null,"metadata_source":"pith","pith_arxiv_id":"2109.08925","snapshot_observed_at":"2026-08-10T22:48:54.447907Z","title":"Benchmarking the Combinatorial Generalizability of Complex Query Answering on Knowledge Graphs","venue":"cs.CL","work_id":"6af2369e-99cf-44ee-90bf-f39fd05ebe0c","year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.659772Z"},"links":{"cited_paper":"/paper/2109.08925","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:8d302791a779cf520e2edad67e54ab2a41a5ae128340478eb798388aa4f489b3","observation_id":"0f6e8d61-8bf9-4096-80ac-7bf9a45f51c6","resolution":{"observed_at":"2026-08-10T22:48:54.458770Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1704.05426","last_updated":"2018-02-19T19:19:51Z","snapshot_observed_at":"2026-08-11T00:55:53.228136Z","submitted_at":"2017-04-18T17:10:13Z","title":"A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1704.05426","snapshot_observed_at":"2026-08-10T22:48:53.664466Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.664466Z"},"links":{"cited_paper":"/paper/1704.05426","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e3b87620cd1962a59380175f78f0c1716f0d31237a88e2fadf426ffd7ad86d1f","observation_id":"b7bc62df-58c0-4af8-918c-d9585273ed51","resolution":{"observed_at":"2026-08-10T22:48:53.664466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.00826","last_updated":"2019-02-22T19:15:54Z","snapshot_observed_at":"2026-07-06T07:05:24.565760Z","submitted_at":"2018-10-01T17:11:31Z","title":"How Powerful are Graph Neural Networks?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.00826","snapshot_observed_at":"2026-08-10T22:48:53.669043Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.669043Z"},"links":{"cited_paper":"/paper/1810.00826","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e00f5d9cc3786563f3b5d3c866d62eb757e8d6faa948eba2c38a1814b7fb7e04","observation_id":"26ca416a-34f8-4f48-b942-b422bec87b7f","resolution":{"observed_at":"2026-08-10T22:48:53.669043Z","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":"10.18653/v1/2023.findings-emnlp.761","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:48:53.802170Z","title":null,"venue":null,"work_id":"5df6bd3b-b696-408d-b598-cc2145e836b0","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.674362Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:d0ea8ab4a9ee2dd17c7aa86f43974c0dbca10de6406e16e1f7fb9cdaed58b18e","observation_id":"65804993-f43e-49cc-938b-8a6f3af4f1d2","resolution":{"observed_at":"2026-08-10T22:48:53.807037Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6575","last_updated":"2015-08-29T15:08:45Z","snapshot_observed_at":"2026-08-10T09:43:27.820941Z","submitted_at":"2014-12-20T01:37:16Z","title":"Embedding Entities and Relations for Learning and Inference in Knowledge Bases","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6575","snapshot_observed_at":"2026-08-10T22:48:53.679933Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.679933Z"},"links":{"cited_paper":"/paper/1412.6575","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:44d60d0c078a076883dd1080e2c2da1514066f54df5c499287413f8d7438527f","observation_id":"3e67a497-2f02-49aa-a8a5-8219f80d9a35","resolution":{"observed_at":"2026-08-10T22:48:53.679933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.03193","last_updated":"2019-09-11T06:03:30Z","snapshot_observed_at":"2026-08-10T11:50:45.540872Z","submitted_at":"2019-09-07T06:09:25Z","title":"KG-BERT: BERT for Knowledge Graph Completion","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.03193","snapshot_observed_at":"2026-08-10T22:48:53.685650Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.685650Z"},"links":{"cited_paper":"/paper/1909.03193","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e30f7bb9ae74b1c89db6ab9a5e75de543374fa9f8bf35b82790dfe1af9872d7f","observation_id":"601fc870-6dc9-48a6-a042-c5503c1a66f8","resolution":{"observed_at":"2026-08-10T22:48:53.685650Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.13701","last_updated":"2023-07-15T13:18:20Z","snapshot_observed_at":"2026-07-06T15:58:27.523039Z","submitted_at":"2023-07-15T13:18:20Z","title":"$\\text{EFO}_{k}$-CQA: Towards Knowledge Graph Complex Query Answering beyond Set Operation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.13701","snapshot_observed_at":"2026-08-10T22:48:53.691107Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.691107Z"},"links":{"cited_paper":"/paper/2307.13701","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:4d70e2651d0c826d8306a2486df06f8ac60b1fbb28f1e385042de50241087d3c","observation_id":"e0e8b88d-2583-4789-af0d-21fd613b85f9","resolution":{"observed_at":"2026-08-10T22:48:53.691107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.07063","last_updated":"2024-10-22T12:28:13Z","snapshot_observed_at":"2026-07-06T15:15:42.652360Z","submitted_at":"2023-04-14T11:35:35Z","title":"Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors","version":4},"cited_work":{"arxiv_id":"2304.07063","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.07063","snapshot_observed_at":"2026-08-10T22:48:54.338562Z","title":"Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors","venue":"cs.AI","work_id":"56dbd5c1-9055-4916-ada0-be0d9784a64b","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.696514Z"},"links":{"cited_paper":"/paper/2304.07063","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:bd9eaf1e499e5549303791fe3af3865c6d70e1740b9a04e667d56978aa29a14a","observation_id":"23e7e851-ec50-4927-a35a-a10b184e668a","resolution":{"observed_at":"2026-08-10T22:48:54.345572Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:48:53.701420Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.701420Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:d4ceb7ee3cfc4ea5fca2688df9da01e1f32069dbe2241d31f56a75c3eb3e4e5e","observation_id":"f1e0a69a-58b1-4b8a-813d-ce68d08bdc3a","resolution":{"observed_at":"2026-08-10T22:48:53.701420Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.13715","last_updated":"2021-12-22T08:05:31Z","snapshot_observed_at":"2026-07-06T12:01:58.124385Z","submitted_at":"2021-10-26T14:04:02Z","title":"ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs","version":2},"cited_work":{"arxiv_id":"2110.13715","doi":null,"metadata_source":"pith","pith_arxiv_id":"2110.13715","snapshot_observed_at":"2026-08-10T22:48:54.195691Z","title":"ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs","venue":"cs.AI","work_id":"aa6c4cfa-9401-4775-8420-69f5c77277db","year":2021},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.706286Z"},"links":{"cited_paper":"/paper/2110.13715","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:70a76db9908357723991af6bcb2781e38323b60724d851ebdeed5fc55354d2ac","observation_id":"d387847e-4ced-4c69-9bd6-3cc51b6dd538","resolution":{"observed_at":"2026-08-10T22:48:54.202352Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.08469","last_updated":"2024-05-01T05:12:07Z","snapshot_observed_at":"2026-08-07T03:30:47.541067Z","submitted_at":"2023-11-14T19:00:55Z","title":"UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations","version":2},"cited_work":{"arxiv_id":"2311.08469","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.08469","snapshot_observed_at":"2026-08-10T22:48:54.170421Z","title":"UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations","venue":"cs.CL","work_id":"b6b6188f-820e-4aa3-85a3-8f6e06cee4aa","year":2023},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.710919Z"},"links":{"cited_paper":"/paper/2311.08469","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:a182bf5fad60980d679ef550d5146b75b8019948cbee8dbf8698e3f81f9b0632","observation_id":"5bef7499-8941-4e7d-a717-948cbb3e58b9","resolution":{"observed_at":"2026-08-10T22:48:54.177900Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.20564","last_updated":"2024-07-30T05:40:32Z","snapshot_observed_at":"2026-07-06T18:53:44.274398Z","submitted_at":"2024-07-30T05:40:32Z","title":"CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.20564","snapshot_observed_at":"2026-08-10T22:48:53.715723Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.715723Z"},"links":{"cited_paper":"/paper/2407.20564","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:962f61cb42918b52006e4767f93a0d3c510adc7515ffb33a8050a3979a9d790d","observation_id":"981e7eba-1d41-4abd-beff-1d68af37d91c","resolution":{"observed_at":"2026-08-10T22:48:53.715723Z","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-10T22:48:53.720565Z","title":"Wong, and Simon See","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.720565Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:10bc54c4a0ac85f72da0cd47f5bd723c6216b1f2ca90d4eaef29a501f9d92e38","observation_id":"2a02818a-2d07-47e2-ab34-72f1a4e94271","resolution":{"observed_at":"2026-08-10T22:48:53.720565Z","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-10T22:48:53.725555Z","title":"Wong, and Simon See","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.725555Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:e5659ac4284171a23b93f26cdd6113af9a3bb1341721aa38646fd160835aca3b","observation_id":"3c4f8347-639c-4cc5-9df0-698126f8f529","resolution":{"observed_at":"2026-08-10T22:48:53.725555Z","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-10T22:48:53.730517Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.730517Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:91af77e65078d6bc0a4085cdec8d31acaf697ccb9a34e826f56a3dd03918a8ed","observation_id":"b4283052-ddcf-4ceb-90bb-a4e8302004c3","resolution":{"observed_at":"2026-08-10T22:48:53.730517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.08985","last_updated":"2025-07-21T16:16:56Z","snapshot_observed_at":"2026-08-09T23:32:42.016877Z","submitted_at":"2024-12-12T06:38:40Z","title":"KnowShiftQA: How Robust are RAG Systems when Textbook Knowledge Shifts in K-12 Education?","version":4},"cited_work":{"arxiv_id":"2412.08985","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.08985","snapshot_observed_at":"2026-08-10T22:48:53.920238Z","title":"KnowShiftQA: How Robust are RAG Systems when Textbook Knowledge Shifts in K-12 Education?","venue":"cs.CL","work_id":"bb5e303c-d6f0-4233-b5fb-3cac8332198c","year":2024},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.735426Z"},"links":{"cited_paper":"/paper/2412.08985","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:96f7bf8909db8197b684850f77eb2cb732d5c079d8f3792c836522c9d50f436d","observation_id":"b45b538f-79ea-4884-b7e8-b901458387f9","resolution":{"observed_at":"2026-08-10T22:48:53.925966Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.10128","last_updated":"2022-09-06T19:35:29Z","snapshot_observed_at":"2026-08-02T17:25:02.251864Z","submitted_at":"2022-05-16T18:39:04Z","title":"Neural-Symbolic Models for Logical Queries on Knowledge Graphs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.10128","snapshot_observed_at":"2026-08-10T22:48:53.740714Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.740714Z"},"links":{"cited_paper":"/paper/2205.10128","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:c7e2f87016ed390653256a002bf04ba4c49c822e13252e4f197307fe5c97b96a","observation_id":"80cbbd55-1d4c-411a-b94a-01d1907069f3","resolution":{"observed_at":"2026-08-10T22:48:53.740714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20251","last_updated":"2025-05-25T17:49:32Z","snapshot_observed_at":"2026-08-10T23:22:26.793734Z","submitted_at":"2024-12-28T19:51:08Z","title":"ComparisonQA: Evaluating Factuality Robustness of LLMs Through Knowledge Frequency Control and Uncertainty","version":2},"cited_work":{"arxiv_id":"2412.20251","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.20251","snapshot_observed_at":"2026-08-10T22:48:53.880452Z","title":"ComparisonQA: Evaluating Factuality Robustness of LLMs Through Knowledge Frequency Control and Uncertainty","venue":"cs.CL","work_id":"40bffc4d-4c5e-4792-8d91-1f5e8c99967d","year":2024},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.745716Z"},"links":{"cited_paper":"/paper/2412.20251","citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:9f5fbf8c251ebf9f4f5675335bc4d986a6fd6887007e0946748255b6015bf0a1","observation_id":"df84f7a4-a228-4be6-b597-3a40a0b1f08c","resolution":{"observed_at":"2026-08-10T22:48:53.886860Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2019/872","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:48:53.784570Z","title":null,"venue":null,"work_id":"ffa30596-4150-4182-a6af-17b7db4afae1","year":2019},"citing_paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","version":3},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-10T22:48:53.750979Z"},"links":{"citing_paper":"/paper/2501.00759"},"observation_digest":"sha256:9f8db7d6d6a6bd3590b7024ee112519d1970a54e2f00cacb96dd09e3b6365488","observation_id":"c65f8b8b-440b-4b99-a84d-90e0c9e7e6f4","resolution":{"observed_at":"2026-08-10T22:48:53.791029Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.00759","last_updated":"2025-07-10T07:45:30Z","latest_version":3,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-11T13:56:28.127958Z","submitted_at":"2025-01-01T07:05:32Z","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment"},"reference_resolution":{"displayed":78,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":57,"verified_exact":17,"verified_fuzzy":2},"total_outbound_references":78},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 1 inbound Pith citation observation for arXiv:2501.00759."}