{"as_of":"2026-08-11T09:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:73d4e22c47575e34ef7c8f1ce61dcee7404a6d7a50238236a96b771feb6b4b9a","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-10T22:41:09.827953Z","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:7627fc24885d51c2a20b958a5df1ef141d95e1c685e6b637c49cc186ee02bb95","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-10T22:41:09.827953Z","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:31bad8f99c880d7b704a2dfa71b110ae04297edb1ae25cecc7251f78174b3b19","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-10T22:41:09.827953Z","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:ad8eec6f0fe8bbfb71771aa8784706d48382b83974beb7abb5ffff54f2ad975d","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-10T22:41:09.827953Z","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:5b94dc59794bac4daa76df17e6bc44be65de72254657e459c87eaf093b109c67","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-10T22:41:09.827953Z","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:d68b3f0e727b9b21c839c5f125538a7484e184aecb3695d9965d91fa3c26447b","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-10T22:41:09.827953Z","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:6966d9ff6d173788d1f5101cadd9e5aa185ab2d4b6a6c06ddb78a8b5b510057f","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-10T22:41:09.827953Z","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:a1f5da04bbdfe7b4d929673428b330812a5dedbd758a1ea5463f0037550f5ce3","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-10T22:41:09.827953Z","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:98af1c1580e2302184b20de2bf6f720d8bd6545c436a742ba8aef3a195f737c4","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-10T22:41:09.827953Z","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:0be968c88ebe4e1638fea32150ea73108eaafc9ec4b7d69a16f4d80326b87f41","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-10T22:41:09.827953Z","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:b12f14d769f9ad3bc4eb182033dfacae75845e8c4c97a61b0473b5bfe2b02fd5","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-10T22:41:09.827953Z","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:2085a618bf7d9409cc38c538cdef711719c52ef6d90424ba10762b6a0180685f","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-10T22:41:09.827953Z","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:be0a4a0153447583542fdc5ba74f05bafe96e24089e1348e85d93d5ca7111f49","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-10T22:41:09.827953Z","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:17b2c01df14af6a59b1bae302b82622fb2f7bb71f7a3e926258decc917000e14","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-10T22:41:09.827953Z","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:b93bcd54364d388e452cc172cc5ca166e0292c6c3cce0cec0d2e4464a7bd28c6","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-10T22:41:09.827953Z","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:8b8d59ac6c3f893822d0aebb4c93895ea8576614160e0771ff49e2c49d8f5d1f","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-10T22:41:09.827953Z","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:fb244733a46ddbc4c505d4d14f82fd13e4d158e79360bbe43cbc1d4336020bb7","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-10T22:41:09.827953Z","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:a5450a80331e165fb36cab60a6ba3f2ba233c746264e79b896409b6b5121f5de","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-10T22:41:09.827953Z","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:2eb02140763e5358642b70742c831bda349cc56c3abf7410278c893b33c38027","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-10T22:41:09.827953Z","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:cd6ee86ba73cacdc2fd4dc572f2df7f7e0c1cf19b5326f1a42a76a0e118744e2","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-10T22:41:09.827953Z","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:5620fa56a3808bcc939a8c2bbf1cebfbc5f299d92700a1aec8116ab6a09835bd","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-10T22:41:09.827953Z","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:3a312bbee8e3644756632fde3e126a36de0c1da2c905581636adf803407fa049","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-10T22:41:09.827953Z","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:6d2b25b5a56e00101eb2dd2be1710033a210212e1d3e5535d78531c2d8051c72","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-10T22:41:09.827953Z","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:e06a22ddd5a4dbefa939d02e84a0cc2c5eff55f9a909d65c3ed61b4fccbb2169","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-10T22:41:09.827953Z","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:5d974c93c037ec8282db5df6428e5f54960b299b7c57252e5ab4017fb06f0678","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-10T22:41:09.827953Z","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:8268643b4b3fc06bb2b6fd2c000b5c51a341cc21870d17b4b05fa9597b2675ef","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-10T22:41:09.827953Z","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:3e49c1bdcf406af95201e93c64d20316a635ae0614aed17a606a3c68996cb6da","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-10T22:41:09.827953Z","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:2f89801dfc81fc09a771caa7dc8e43d5ae38a8df25c415a381d8b231a913b09b","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-10T22:41:09.827953Z","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:2f3f8f182985f3365494d7942e3f4df68c98983ecb8b05d4c0001d8c53034920","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-10T22:41:09.827953Z","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:8726666098a7e9f5df46af0df62e5dc2828c0dbf5a503ad79029423f9588e30a","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-10T22:41:09.827953Z","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:c44a22e241651ac528019d967d3d60de5fff049ef8c60fe03ac76c991eef2cf7","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-10T22:41:09.827953Z","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:2e3ac01a243eca191043404d40469840e6628fd1270b3c562a9c7a0f87b85dc5","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-10T22:41:09.827953Z","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:89b4cf7a82d873e97891de91fe2ab799f2be24108097dd31f1361186da3c300e","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-10T22:41:09.827953Z","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:82f97a96a60578657965672de55d6156ddbc6430f7a1b984153397426215c3e0","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-10T22:41:09.827953Z","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:dd8a3263877a02d02cedd631e5b58c518942923510f816a80add3a501398e808","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-10T22:41:09.827953Z","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:50b65428738a23a6baa26d92b30b6fa172b44bb36868654d29ade524eddde87c","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-10T22:41:09.827953Z","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:0a9de675c027a4c463f3218420bb7910b79e0b3c327a2c1f1f80cd9bdcbaab70","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-10T22:41:09.827953Z","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:9e82385e8f627c16f88a620b2f152fdf67d43689b0883f0b8b18dffb07874969","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-10T22:41:09.827953Z","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:6b5aa01731e0767b31603d00f3473e193bdbca2ae4afdf05201b867a49bcfcc5","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-10T22:41:09.827953Z","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:f92d1a8e239f812f73ee80bf62e43c50918c4446bb310b4a1a9c3bb70ea2d9f5","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-10T22:41:09.827953Z","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:02d35ef7b1f89f1ffe6d8f7b457e71428c4b15e50b3a29bdb71fc4788cfedd5c","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-10T22:41:09.827953Z","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:6e16467e95e4ec9c945efbb65c924c03c9dd142479fa5f96cffdc64543b3a7c8","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-10T22:41:09.827953Z","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:1454305805fa1e8d7b6f3210ed17b531036a26337e58d528b9d2b80efe6d89e0","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-10T22:41:09.827953Z","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:579d136f66352909fc219d1991dcf6863b9c18118a93994f38a6e28cd33a1020","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-10T22:41:09.827953Z","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:ef64333415a5cb2fe5864cd7a981a4542502112dd4d815e6ed1a375147bf5429","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-10T22:41:09.827953Z","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:8f1a1b0ef508ef75abf1b0baa7d02228c71bef09a893ea57ee87643f0db9274e","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-10T22:41:09.827953Z","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:e1c5b0424e363845354788fb9fb92edf6d51537b3a87403a748d869f89c3c0b5","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-10T22:41:09.827953Z","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:c5b476d7105fe0fbc2f8ed4d80a293e4709a6487a92702ef31cc708c448936db","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-10T22:41:09.827953Z","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:da112687d81f6543f07c94df56c7d5da65eb55724f82855f4a2586a5974dbbb9","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-10T22:41:09.827953Z","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:281160dcb0885ee3fa05f82455ced1ffdf4dc7d70ba9c51de873bd7f6368aea3","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-10T22:41:09.827953Z","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:5555402a9d4949b740d9f362eb18a0927d0e667a2309c605dcac21c5f71f3f67","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-10T22:41:09.827953Z","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:93666b5b033b2ad9c1d5cdab9f336f574e3b084f65cf870d22d268f6e113d8dd","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-10T22:41:09.827953Z","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:f3707833d8f63bb60769cf096988b02a6b5234bb3f9f8c2c9d7352b9e55b3f61","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-10T22:41:09.827953Z","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:abe04780825417343495c9deda03d42740e2c70f55eab2323f77e7993aeddf36","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-10T22:41:09.827953Z","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:d87e44a2c0212cdc2bf58d127ce285d6a2ef689f800763574552558bcaa9fa71","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-10T22:41:09.827953Z","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:77dceb708677c3af9688ebefa407e6ac3d2285780cbafb6b256d74517a0345c7","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-10T22:41:09.827953Z","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:14971e6b6d559e1ac3bcdfb4d3650f4e64f133f36ab47ce723dadfb1f031c7bb","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-10T22:41:09.827953Z","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:9d2170c3ec3e9bba0228a468185a2869f4fa60a8d9898368415c17f540475216","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-10T22:41:09.827953Z","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:3b87f3f713f4de1acfcb5f777e49ddccd992e8234439336cd05a5272f50b7c4f","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-10T22:41:09.827953Z","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:b9b3a77f3ae54f11c09ffa5f349e7aa7cb8d28e0ec986690988f0804632db815","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-10T22:41:09.827953Z","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:3b23edb214603f1ceb169b7da45a3d82ab3f7eb38a30de8d502ec43df5748ec3","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-10T22:41:09.827953Z","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:1f1acdd1761bcc9f3613079ef461875bc14da14e7ada000d5498c6a39a398b17","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-10T22:41:09.827953Z","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:7e5a454d6ace01b05944ed6e1227d8be100d89c045a7d8c9b55fb80e9feedaad","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-10T22:41:09.827953Z","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:ae437bacb61b1dfbdead34fbc7f35e0cd258109ad7f25a43b407b690e34b4e57","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-10T22:41:09.827953Z","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:80984e3e1eb7c98a558a50d7b3a0bc293662b696bcfa5a327aa133f718e5e126","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-10T22:41:09.827953Z","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:87efe750c9a4863596a1553ef9224a0bc03ee6c76635afa0b9a2e071ea354956","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-10T22:41:09.827953Z","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:029e826f2181b2879b8ba720b5741b56bd3380ae8349fd83b1a35664a32b3978","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-10T22:41:09.827953Z","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:31350ab9790d904361b3c70f24561b419a4cb61025ad58952330c4659d7c3fac","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-10T22:41:09.827953Z","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:fedd9c075f4a191adfb9d2c7e8c417ded6d9e350dba4e0c8dcca2107231fc975","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-10T22:41:09.827953Z","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:8a3b3b8c89b97d06f26a90730e76d49e3f77e529c91acadc57f2a374ddae4efd","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-10T22:41:09.827953Z","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:81ff14d24db695a4f1c1429c6becf10b2c7926de4eb22f94de72a65129f4bd70","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-10T22:41:09.827953Z","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:35d5c60b3fe3b4e4596778d058a955cdedfbad23427d3e22f65ab77508ea9f4f","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-10T22:41:09.827953Z","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:676a4d570e64ad9fae312f87ef8ca3f69d23932529fb1eb72a98ea78dd167c50","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-10T22:41:09.827953Z","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:2d32fc7253d7862993c0bd03895c019c8eb919ffca9decaddbccb41fc95a4ebf","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-10T22:41:09.827953Z","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:5b8b1112c43bd5c2f68535e255184d2a9e66e3ca1035439759b4ccd1f56098a0","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-10T22:41:09.827953Z","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:d9f754b874bdc8ec6ebcc110253e9061347c6c720697c6ce1e6361e1044ccbf1","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-10T22:41:09.827953Z","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:0922d66d24771dbca917014ef2f44999ef92493207906f9aed694cd14b8c575d","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-10T22:41:09.827953Z","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:02d69155322d17f136325f96ba5c08b32659e6730c6821f26a18e3677b014094","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-10T22:41:09.827953Z","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:81f5be1bb1005104faa4c46d40e814ff36240c5965014c7c58c5a1d4b83818d4","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-10T22:41:09.827953Z","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:6c53c477ea02a4bacc444e564e6f6937d853305cd42f670bab6bd3cb64eda3fa","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-10T22:41:09.827953Z","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."}