{"as_of":"2026-08-10T06:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2823b67ac7cae75b98cac7745918007c376e16ffb69f45a02db73cc208c0edde","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-10T06:31:04.303077+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-08T09:47:00.737935Z","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:0478c187221b0ef8e931e49209cbca097a990acfad15f942c4c454ff7040152a","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-08T09:47:00.737935Z","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:6de2b6c7650d6b2d109ba168ec8dbd42135ce6814c0d91566f24b65c6619cad9","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-08T09:47:00.737935Z","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:7dc38fa4d2935ceb2d23bd355efcfdb3f0daa5dcd04bb0b4626a6779b500b72d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:bfbcac7515ca639ac141edf347c6d3d5602530a008140b3d29f53ae4ad375f04","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:f116d51970c257e92a4113aa175cb81fdefb41faaabf577c9e2a90103180ba56","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-08T09:47:00.737935Z","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:ee86f7941ca3fff4240561de85e9f286a71f181f3ffaea9ef2ac1cdc8e1cdfef","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:3bc1147de32f3d4e24374e58d13333e139c32213ff0bd026118b6d6eee5cb15e","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-08T09:47:00.737935Z","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:0ea99e56b0fc0ee70461a3c697fc1a5b677faf7152ebf60d663f27b3189e2af7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:3388131f23e26cb803eaa799833a3eb69a51820c389addce1f78ae5972307825","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-10T05:30:23.456663Z","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-08T09:47:00.737935Z","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:8293049ce06d48f0abe2225bc826cf9aa5d631e0602be1ddfbd60ce14fa96e61","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24432/c5w300","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"UC Irvine","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-08T09:47:00.737935Z","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:e79e1aef5f4a192d2f1499ea01f3acdeb88fb7555f3e71e39f0e821b4eb663cf","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:53366d468a76b965bd611fa0ee5e46a249aa14db587f726881b02b17fcef77a1","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-08T09:47:00.737935Z","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:1bfc8af4e131d9a6edb9dd5b95dc1b68022aa4e18f6943a0efda9f8e8f572761","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-08T09:47:00.737935Z","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:6b5410f4cd111c2ca3cf017d8643fa6ed4ee4b8ecb34f132e4dd0ba5c562ab57","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-08T09:47:00.737935Z","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:19696e65d1e70507b7c747559e100bda5baddc2e759d44d7012c1c481851713b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:12d5b7bce87ddfaa4faf43654814e07eb660e924dd1eae51e557f7c13d344706","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-08-09T15:30:04.999774Z","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-08T09:47:00.737935Z","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:e5ce4f5b71ae7da1efdf6509a1bcee2458ee670dfe82a2bc1b19e670f548e32e","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-08T09:47:00.737935Z","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:c43dbd03b8ba4916aedb27c55f4d7ef21e45665fb6563c78181ab561f538e013","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-08T09:47:00.737935Z","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:014b872343185847c7d328e7fc2a366aaabfb5c2bd093dab86620e7700257275","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-08T09:47:00.737935Z","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:257967a5f9ae5188130efdcac910702ee3adf92b3e6b42bb049bf4f8f7916410","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-08T09:47:00.737935Z","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:2d218c7064c65ee1164f83a1cd93ce1cb293a83a67b15f85b0907d6e48558edf","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:161b76a13918cbf4f019cb3817ec936722c95c04b7683d59b5ad9f1fb41c1e86","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-08T09:47:00.737935Z","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:d65af3b2ba7ee88b828b38342b2711feaa4efa9a6fd5fcc65f832327e0c69b6a","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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-08T09:47:00.737935Z","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:1e1e2bcfe07943f3010e7aff6d3779bc73495177773d329b6e51dd9253750649","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:3028903c9f2fa8452d9dd4e378c5f4813b295d95cae6d34fea992bd9c3fcbad2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:a1f3f47db05b69bd295ee031df089891311edf4d0820ec4bb83977195aa8353e","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-08T09:47:00.737935Z","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:93d05a2d1de9924243634d3b8d28fe3eb39978863d06ffa0a855cbc8c1447d2e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:4671bcffd34c54e1caeee8ed44c9409218b8aecd33fa40a2be702969f89542ba","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-08T09:47:00.737935Z","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:6072e17ebf0dcb28f72aaf7392bb21775493308ad72ff69c7926d4f8cfe45a35","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-08-09T23:58:54.031155Z","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-08T09:47:00.737935Z","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:b49466bad64bad143d5bbc4e9995b889aed859c9e4544cb8ced9d97df09c85d4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:83432ea8c55712607792cad133c757a86a42adf011f8e8166c6865f51c3f7824","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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-08T09:47:00.737935Z","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:7d90d067fcd3c5015656ee1646b963406176bf4cc71b74a5d61cb7c7e02764ae","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:d30efac6a12287d6fa5d88a0a33be55d107fb3de3b7d35217e97979c86139556","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:f294b22cc644bb19c15a0d825fdac67d5a4154f22d95cae91e2ef81a0ba580a5","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-08T09:47:00.737935Z","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:b82f2003de0c14b9d2d77ccc3eacefa455499e00f4be5bb850a5a6b8bae0443b","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-08T09:47:00.737935Z","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:87f7b0805b2be076fe79b82d04be4ca0ae44afdd9bd0f0de7a42f4d4288b6362","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-08T09:47:00.737935Z","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:ec2f9ec9ecdbb2d892ee245b5641e6a055b0068db08c23ed760f31e0a07f53b7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.1405781","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Figshare","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-08T09:47:00.737935Z","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:3a684701af3c4df61e324131f07f8d587191749b32bf0cdb590e1212b1ce3397","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:2cb561426458326147fc014411f182385ca74337dd7df4d61885ade7ed021196","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-08T09:47:00.737935Z","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:d6d21ebde4048316aa68c85f62f2243cb3d290627b9cce2629ee66c4378ad988","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:fb5020250e7dc7cbff51db0f2da3a889206b8228a697fc4beaaccfdd2814e34d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:182b9b72a3c7f835279d343a09b8bc5d5b6bc98e583b254ebe7606f7dd518663","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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:866fb7df5d76eaf5104dc5b8f9064df16380056b4fe8641f9a75d0a8b54bc5a3","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-08T09:47:00.737935Z","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:161435cfea2670f962db6acc22d25ef97f3317765e2f990224f48f0edad59f74","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T09:47:00.737935Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.08978."}