{"as_of":"2026-08-08T06:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:deba5e3f11e88b64374b0a73271d482192101da2b25310461c0bd2a8fa3b5ee3","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:08:59.895825Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.08978/citation-record","integrity":"/paper/2506.08978/integrity","json":"/paper/2506.08978/citation-record.json","paper":"/paper/2506.08978"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2006.00555","last_updated":"2020-10-04T19:57:06Z","snapshot_observed_at":"2026-07-06T09:24:48.188353Z","submitted_at":"2020-05-31T16:34:08Z","title":"Transferring Inductive Biases through Knowledge Distillation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.00555","snapshot_observed_at":"2026-08-07T05:08:53.863144Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:53.863144Z"},"links":{"cited_paper":"/paper/2006.00555","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:5c567e3415134d975247ec07e89c8c1517d386c9a32a1317a6e6cbe70f083b89","observation_id":"95dd4023-7367-494d-b60f-87f951f8e5d6","resolution":{"observed_at":"2026-08-07T05:08:53.863144Z","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-07T05:08:54.003478Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.003478Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:9749166bb4955a1fbcd09504ee20da020df5745bde3944cdc14032cf52288cd3","observation_id":"cd20fa18-1ea2-4161-bc85-afcb18cd5fb1","resolution":{"observed_at":"2026-08-07T05:08:54.003478Z","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-07T05:09:05.001570Z","title":null,"venue":null,"work_id":"9c63b7d6-81b2-4c19-8731-cee55ecb4f3e","year":2023},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.098906Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:471db13e006f25c59adbf8a255de0ddd6ae105ad7aa002be09e3801cb6e37be6","observation_id":"e09dfe88-4678-4b0f-9417-f0afb44e8727","resolution":{"observed_at":"2026-08-07T05:09:05.138990Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:09:04.805716Z","title":"Lamb, Leo de Penning, B","venue":null,"work_id":"6ea924bd-3ffc-4234-b7de-6abbe2233149","year":null},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.219045Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:14ce82d6396c3ae762a64d83dd58c39cff7a138009c9f913ff5986141a0b851b","observation_id":"fbb43bdc-2b5b-4b45-b6b1-52cf5f223009","resolution":{"observed_at":"2026-08-07T05:09:04.914325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-07T05:08:54.532746Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.532746Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:f057fcf34c47b825bddca9311745f80cc531aebd309e80cb1c668bcec0f32546","observation_id":"5ee9d618-d8c8-4053-8f2c-a1866bab482a","resolution":{"observed_at":"2026-08-07T05:08:54.532746Z","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-07T05:09:04.408813Z","title":null,"venue":null,"work_id":"cfd62076-b034-4310-888c-32ad0dfe0551","year":2018},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.646542Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:1f997348a1f585c6a3c7dcdf57b46e7f71fb0344a442ca40315a6aec9dfe9129","observation_id":"42577723-6612-4d74-b404-98191ec69a0b","resolution":{"observed_at":"2026-08-07T05:09:04.494585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:54.755973Z","title":"Fodor and Zenon W","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.755973Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:15bf898c1cc5cb0e8662842b645efde4d0b492b15ca323be34b3b765db3eb924","observation_id":"97d61408-053b-4cb6-86e8-bef8f8689bad","resolution":{"observed_at":"2026-08-07T05:08:54.755973Z","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-07T05:09:04.162544Z","title":"Kreber, Markus N","venue":null,"work_id":"cdb359fb-e572-4e2a-9efa-da0ff5c0de59","year":2021},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.876127Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:d6a60f0974469b62e2ee955e783a8aad383ac244920d61d9b20cdacb8d92c7a6","observation_id":"c04d7467-3fc3-451c-8d40-8aa782155ded","resolution":{"observed_at":"2026-08-07T05:09:04.298556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:55.051341Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.051341Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:24393b385933a124b5d089b05e650c3aacba2a95ee938b4d81d39784fc8e7751","observation_id":"0903750d-b336-45d9-8863-e872f7b3eabc","resolution":{"observed_at":"2026-08-07T05:08:55.051341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.03930","last_updated":"2025-04-04T20:57:36Z","snapshot_observed_at":"2026-08-07T16:08:33.194813Z","submitted_at":"2025-04-04T20:57:36Z","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","version":1},"cited_work":{"arxiv_id":"2504.03930","doi":"10.48550/arxiv.2504.03930","metadata_source":"pith","pith_arxiv_id":"2504.03930","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","venue":"cs.AI","work_id":"c32f4caa-3422-4676-8f74-02e9317c7f1d","year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.164286Z"},"links":{"cited_paper":"/paper/2504.03930","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:399cdf3d0aaa6fa5c0e53078de8a678f427aaeaa315a48599c438bc30e44ced0","observation_id":"4dd83d4b-82ef-44b9-90e3-1ddb84fc0e59","resolution":{"observed_at":"2026-08-07T05:09:01.237886Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24432/c5w300","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:09:00.964309Z","title":null,"venue":null,"work_id":"e88bc195-ff96-451f-99fd-52213895af29","year":2021},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.272691Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:9788d8f3988688f404debd371f52ffd1df0c61105872b8f198da3b6494f0e21f","observation_id":"471737eb-575f-41dd-9dbc-e87603e6765a","resolution":{"observed_at":"2026-08-07T05:09:01.043056Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:55.427228Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.427228Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:f1ad1517790bc1e67060eca509d7e7c4c01831ac71337f9c309f9694d4ccd25a","observation_id":"0a92e840-0904-4a0d-8c38-271474719d87","resolution":{"observed_at":"2026-08-07T05:08:55.427228Z","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-07T05:08:55.591747Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.591747Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:882ad279b6c7f34358009883ce468d362676bba5f3222389e08b14102645f322","observation_id":"fce4cfcd-488b-4f22-955b-3febe63adfe2","resolution":{"observed_at":"2026-08-07T05:08:55.591747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03050","last_updated":"2024-01-12T13:11:20Z","snapshot_observed_at":"2026-08-04T18:10:35.014524Z","submitted_at":"2022-10-06T16:53:33Z","title":"State-of-the-art generalisation research in NLP: A taxonomy and review","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03050","snapshot_observed_at":"2026-08-07T05:08:55.692053Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.692053Z"},"links":{"cited_paper":"/paper/2210.03050","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:de8873e78a5a192c6f42dfab049a49c8083134ed7798117f3dbed6058c60e493","observation_id":"9c3ccb90-ea41-4e1f-91eb-0f0e9904a180","resolution":{"observed_at":"2026-08-07T05:08:55.692053Z","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-07T05:09:03.947289Z","title":null,"venue":null,"work_id":"7747530c-b770-4efb-a763-c598319cbeb6","year":2018},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.806048Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:b9919930ab741383b72fd70ea0f75a473a28c51af572525ba559f6bcb3125076","observation_id":"cc1b7026-f9f0-495e-9243-512108dc317b","resolution":{"observed_at":"2026-08-07T05:09:04.032049Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.14840","last_updated":"2023-10-23T12:03:01Z","snapshot_observed_at":"2026-08-03T01:55:13.775166Z","submitted_at":"2023-10-23T12:03:01Z","title":"Transparency at the Source: Evaluating and Interpreting Language Models With Access to the True Distribution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.14840","snapshot_observed_at":"2026-08-07T05:08:55.944418Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:55.944418Z"},"links":{"cited_paper":"/paper/2310.14840","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:e706a75dc90ca99903031063de244982ca5023cebdd88e0c01251338a6fb4a92","observation_id":"68a61623-0b5d-455b-b631-6bd77ad9bb0e","resolution":{"observed_at":"2026-08-07T05:08:55.944418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.03343","last_updated":"2020-05-15T17:11:56Z","snapshot_observed_at":"2026-07-06T08:35:36.927327Z","submitted_at":"2019-11-08T16:08:48Z","title":"Negated and Misprimed Probes for Pretrained Language Models: Birds Can Talk, But Cannot Fly","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.03343","snapshot_observed_at":"2026-08-07T05:08:56.083015Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.083015Z"},"links":{"cited_paper":"/paper/1911.03343","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:8304a2638096a414421dde45da5b47686f4efb9a7e73aeccd722f8071dfdea4d","observation_id":"54c7b560-f37c-4d79-8617-15bdfe3bf073","resolution":{"observed_at":"2026-08-07T05:08:56.083015Z","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-07T05:08:56.271506Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.271506Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:dc20e80a6b68479a0f2fa6b7b6b1d2e67c1186cb491109fa64ee16cc24f820fe","observation_id":"4c51d857-6a8f-4c6f-af7e-15a99ea24a81","resolution":{"observed_at":"2026-08-07T05:08:56.271506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1609.02907","last_updated":"2017-02-22T09:55:36Z","snapshot_observed_at":"2026-07-06T05:10:16.862707Z","submitted_at":"2016-09-09T19:48:41Z","title":"Semi-Supervised Classification with Graph Convolutional Networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1609.02907","snapshot_observed_at":"2026-08-07T05:08:56.443659Z","title":"Kipf and Max Welling","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.443659Z"},"links":{"cited_paper":"/paper/1609.02907","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:42bb744d493139593a4883052bd8a758b72fd266e9357c557b65206a6882f108","observation_id":"405d7ffa-59ca-4054-b514-dabea35a8378","resolution":{"observed_at":"2026-08-07T05:08:56.443659Z","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-07T05:08:56.560966Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.560966Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:ead032f1b86a217acb3b7f73295b03aee7dd6eb5e77e1e18c96c9005c5c92820","observation_id":"db6e503f-1a54-47c8-b813-f544d074cc7f","resolution":{"observed_at":"2026-08-07T05:08:56.560966Z","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-07T05:09:03.675255Z","title":null,"venue":null,"work_id":"50ded1ba-aaa6-42c0-b8f0-66a13bfc11ea","year":2018},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.705915Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:e98553acdb6cb86c3dcfb527099e4327636ff73cd9b1475362459f2518e356a3","observation_id":"7c8f102b-692f-4920-843b-ed97d937058f","resolution":{"observed_at":"2026-08-07T05:09:03.789660Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:56.855677Z","title":"Lake, Tomer D","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:56.855677Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:1450c36efa5a8770f749497ad7729726289fc96c8518f85e0ee8d0f6ef9b2336","observation_id":"dd7fc1c2-1db2-42f7-94cd-3a91293d2260","resolution":{"observed_at":"2026-08-07T05:08:56.855677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-07T05:08:57.015831Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.015831Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:75769679ab8a281023bde7edc166b9327c005eae48caf7afa83def06eef4fffa","observation_id":"df88c1d7-df53-452e-8700-aca5ba475dde","resolution":{"observed_at":"2026-08-07T05:08:57.015831Z","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/w18-5413","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:09:00.680066Z","title":null,"venue":null,"work_id":"d2b445e3-2276-4fba-bbc9-db1f3edf113a","year":2019},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.186561Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:fb7a1532a900575ef3b4f04ff5670293d51e521b04e32ebe78ac254e31892372","observation_id":"df4e1ae1-cf0f-4101-888f-82d971ec97ef","resolution":{"observed_at":"2026-08-07T05:09:00.808454Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:09:03.395753Z","title":null,"venue":null,"work_id":"c5881053-a14e-4db0-9af6-b9dabf17b54c","year":2003},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.321492Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:0fba4e51e205127786427fc6db0d69608d44cad60310f233acff10562cdcfd6d","observation_id":"b441f157-e047-4608-a728-4c0e6895940c","resolution":{"observed_at":"2026-08-07T05:09:03.514579Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:57.447450Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.447450Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:781d730d16a354f33384b6d426166b8862656a8a42843842014085480ce4a4ab","observation_id":"11a4425f-5264-4422-a422-36988b11994e","resolution":{"observed_at":"2026-08-07T05:08:57.447450Z","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-07T05:09:03.116935Z","title":"Thomas McCoy, Ellie Pavlick, and Tal Linzen","venue":null,"work_id":"7e13ae49-47d7-46c3-a7bd-26df3b6bec51","year":2019},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.601794Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:0b8495d77c308036929bfb0d4dd669292d1175657bd7f1fde391c7ab0f8ee92c","observation_id":"4b551e2e-909e-40ff-a1cc-99df8b85a8b9","resolution":{"observed_at":"2026-08-07T05:09:03.252380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01869","last_updated":"2024-08-06T11:58:53Z","snapshot_observed_at":"2026-08-04T13:02:37.475538Z","submitted_at":"2024-04-02T11:46:31Z","title":"Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.01869","snapshot_observed_at":"2026-08-07T05:08:57.700850Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.700850Z"},"links":{"cited_paper":"/paper/2404.01869","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:b2c3a027376c8e8f88bcefcf66210e9fe96dba7adb71494c7fc5d6a33bd0cc27","observation_id":"ee5f1057-1385-4871-b8bd-00f9d536a1e2","resolution":{"observed_at":"2026-08-07T05:08:57.700850Z","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-07T05:08:57.841668Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.841668Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:4b54e8974ed8801cc1a8ac93cbbc7e6e2b9760932f28426911003e84930a323b","observation_id":"3b0ac152-3108-4221-b354-b3daadcaa692","resolution":{"observed_at":"2026-08-07T05:08:57.841668Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.09054","last_updated":"2021-12-16T17:47:20Z","snapshot_observed_at":"2026-07-06T12:19:40.584963Z","submitted_at":"2021-12-16T17:47:20Z","title":"Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability","version":1},"cited_work":{"arxiv_id":"2112.09054","doi":null,"metadata_source":"pith","pith_arxiv_id":"2112.09054","snapshot_observed_at":"2026-08-07T05:09:01.669754Z","title":"Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability","venue":"cs.CL","work_id":"d3c63675-0f89-4ef8-bf7a-00563eff2054","year":2021},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.930035Z"},"links":{"cited_paper":"/paper/2112.09054","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:f262ad2fdd7606584812d2268a4ed244d739961b8b1ed8abfd84fec4cea89afc","observation_id":"c5b534f9-25af-4e80-b41b-adec5e09d324","resolution":{"observed_at":"2026-08-07T05:09:01.804517Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.03685","last_updated":"2019-03-12T00:56:48Z","snapshot_observed_at":"2026-08-01T01:23:29.214436Z","submitted_at":"2018-02-11T03:04:28Z","title":"Learning a SAT Solver from Single-Bit Supervision","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1802.03685","snapshot_observed_at":"2026-08-07T05:08:58.129881Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.129881Z"},"links":{"cited_paper":"/paper/1802.03685","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:046eb353f44cc91472558e5c56902a832f55c1e73ced5800ace81cfcbb68c5ea","observation_id":"163dd785-7147-42a1-84be-7bb71ce8231f","resolution":{"observed_at":"2026-08-07T05:08:58.129881Z","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.acl-short.154","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:09:00.361518Z","title":"She, Christopher Potts, Samuel R","venue":null,"work_id":"b6d35674-4d53-4b54-95e1-611dc07387c1","year":2023},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.246091Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:085eb32d7a7df378295a8bdbb99bbcbfd789c39cdd2b0f528413b45ae16f98e0","observation_id":"bcb62853-86f5-4eec-b062-94140a410ec4","resolution":{"observed_at":"2026-08-07T05:09:00.516782Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:09:02.865726Z","title":null,"venue":null,"work_id":"a1961fc6-56ca-4de6-a2b8-7ca76ff6c7df","year":2019},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.395896Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:5eb1bff167f98a0ab8769ab2029de49316cf999932d12ab0771fcc11cb1adc54","observation_id":"1b825f0a-e57e-4288-97ce-97f33a3ca829","resolution":{"observed_at":"2026-08-07T05:09:02.999922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:08:58.501315Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.501315Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:47b0a836bfe4cb0ed182deca28a0bfeabf8216cb21f132a4d9ff57f368492547","observation_id":"bb5a20b4-a96a-4d88-8cb8-880e9c31661b","resolution":{"observed_at":"2026-08-07T05:08:58.501315Z","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-07T05:08:58.681825Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.681825Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:c89335be5445d145c65b1348cddc39b8ed90e38884dd876d07ed6747673cfef1","observation_id":"2af2a327-90ff-456f-a418-e82adbb53b68","resolution":{"observed_at":"2026-08-07T05:08:58.681825Z","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-07T05:08:58.823682Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.823682Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:b115c2d8978cb410ec1a426f5d71eac178a57dc10dc81fbd7c198be3ba17f505","observation_id":"1ef92496-c797-4305-82be-68b928733b0d","resolution":{"observed_at":"2026-08-07T05:08:58.823682Z","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-07T05:09:02.612198Z","title":null,"venue":null,"work_id":"2309ed00-c784-45c4-9562-33c01fbd3630","year":2017},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:58.992258Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:3becd92818f4d3b12aed16801d7d655fd723ff4a8671278343e0210451c6f0c8","observation_id":"0a26205e-346a-4941-a3d9-3996110795bc","resolution":{"observed_at":"2026-08-07T05:09:02.715800Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.1405781","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:09:00.075216Z","title":null,"venue":null,"work_id":"8192c5c7-2c43-4919-8de2-2caa66f2f012","year":2018},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.198326Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:17bc0a24a8ace8fdd36bde18bbcdf7f49d052ec191e4a7aa315d85de0a1bcb3e","observation_id":"0051c331-16c6-4d17-a550-7692af2be7dc","resolution":{"observed_at":"2026-08-07T05:09:00.195791Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.00757","last_updated":"2024-10-08T14:34:37Z","snapshot_observed_at":"2026-08-07T23:34:28.522701Z","submitted_at":"2024-01-01T13:53:53Z","title":"LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.00757","snapshot_observed_at":"2026-08-07T05:08:59.362108Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.362108Z"},"links":{"cited_paper":"/paper/2401.00757","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:a754192f9bf3afdcbd3a4e02e16fbfa09046bcad1014e9c801fb3727a75af3d6","observation_id":"a7295428-f7aa-4720-8b45-9f1a92d1ba0b","resolution":{"observed_at":"2026-08-07T05:08:59.362108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.13986","last_updated":"2022-02-24T18:43:41Z","snapshot_observed_at":"2026-07-06T11:52:19.105210Z","submitted_at":"2021-09-28T18:50:15Z","title":"Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics","version":2},"cited_work":{"arxiv_id":"2109.13986","doi":null,"metadata_source":"pith","pith_arxiv_id":"2109.13986","snapshot_observed_at":"2026-08-07T05:09:01.375823Z","title":"Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics","venue":"cs.LG","work_id":"2e3d6569-0321-43b8-a9d0-fea928e2be28","year":2021},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.501024Z"},"links":{"cited_paper":"/paper/2109.13986","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:7cb13b77e9b8ab5304c8a54c3c30b98415acffaf9ce1d5076b1678759f3fbf05","observation_id":"d6871acf-665c-4233-9767-1976ce24f526","resolution":{"observed_at":"2026-08-07T05:09:01.449021Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:09:02.323296Z","title":null,"venue":null,"work_id":"f8b9eb14-bcfb-4585-85a7-30323e16af1c","year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.602819Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:3d306d3eec77f7705ff77fd9094be47f93b79777e77f41a0c62cc7380789da81","observation_id":"5c5ca1eb-fe2a-4e1a-86c1-2ab32e089fdd","resolution":{"observed_at":"2026-08-07T05:09:02.413506Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:09:02.093184Z","title":null,"venue":null,"work_id":"3d8d785b-6f62-4f51-9ab6-07b9d5882655","year":null},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.771771Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:c4f0b556bee29c572e6f6a3bbe3d904c2e68175725ee6098179dfe4b17ea35a5","observation_id":"9b99b83a-bf49-479b-af0d-da8415c4d78c","resolution":{"observed_at":"2026-08-07T05:09:02.202542Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.11502","last_updated":"2022-05-24T20:56:39Z","snapshot_observed_at":"2026-07-06T13:12:59.688989Z","submitted_at":"2022-05-23T17:56:48Z","title":"On the Paradox of Learning to Reason from Data","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.11502","snapshot_observed_at":"2026-08-07T05:08:59.895825Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:59.895825Z"},"links":{"cited_paper":"/paper/2205.11502","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:fde1cf4e94a8771aa0c8d73a4c7e69d1f54327f11b5eca9a8241a000f6bc3ceb","observation_id":"e4a1d03f-6a28-4fff-8b7b-ce73a2f710f7","resolution":{"observed_at":"2026-08-07T05:08:59.895825Z","resolver_source":null,"status":"malformed_identifier"},"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-07T05:09:04.546457Z","title":null,"venue":null,"work_id":"cce6c5d2-6e25-4cf2-bf34-794b115c63ef","year":2022},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:54.373680Z"},"links":{"citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:565d871929a2d23617442a847faceb94c53272ad69fb28e65cda0e78e3dff388","observation_id":"862182c2-b2d3-47d4-95a5-df9fcc9cbeab","resolution":{"observed_at":"2026-08-07T05:09:04.673833Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T04:55:25.042010Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":32,"verified_exact":7,"verified_fuzzy":3},"total_outbound_references":44},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.08978."}