{"as_of":"2026-08-17T12:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:76ef6147cf8e427b212f1513aec5928e8a07516397346522339ed90fc38e0720","coverage":[{"denominator":87,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":87,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T05:33:54.778082Z","state":"measured"},{"denominator":87,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":87,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.03930/citation-record","integrity":"/paper/2608.03930/integrity","json":"/paper/2608.03930/citation-record.json","paper":"/paper/2608.03930"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.08905","last_updated":"2024-12-12T03:37:41Z","snapshot_observed_at":"2026-08-14T03:45:52.225630Z","submitted_at":"2024-12-12T03:37:41Z","title":"Phi-4 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.08905","snapshot_observed_at":"2026-08-05T05:33:53.849911Z","title":"Hewett, Mojan Javaheripi, Piero Kauffmann, James R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.849911Z"},"links":{"cited_paper":"/paper/2412.08905","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:85a793225353cdfdf7d6ae74b2e1b73b611a53682126337ca58182c0abd1c018","observation_id":"bd123b65-eaf3-46c1-ab13-0c2bceabad4e","resolution":{"observed_at":"2026-08-05T05:33:53.849911Z","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-05T05:33:53.860308Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.860308Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:4ab6c87c6b7c1d12365a0e4fb5188cbb658ceebb4830ad7ab0721697350b7aa2","observation_id":"51411db2-8c95-427b-ad8f-98b3f1b27c3e","resolution":{"observed_at":"2026-08-05T05:33:53.860308Z","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-05T05:33:53.871101Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.871101Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:1b8e312fbb7008de7d9c1f4e73e6a56e524f8b4b151bf241ad5f25d2dcd45205","observation_id":"8f547a1c-a9fc-47d6-aeed-b25efde1c6c4","resolution":{"observed_at":"2026-08-05T05:33:53.871101Z","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-05T05:33:53.906376Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.906376Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d650f0b81b6f75bd1cc4ebe198f569fba83bdd601e0f93951527deb95c93c5b3","observation_id":"e19b4079-6306-4440-907f-96ea7c1202a5","resolution":{"observed_at":"2026-08-05T05:33:53.906376Z","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-05T05:33:53.920173Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.920173Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:cd75b2246c331300c39d31c3b8a242f8336c300942d578e2837cad5bdf9baf9c","observation_id":"27fa402a-fc07-4e67-a5b7-8bf7180e1db0","resolution":{"observed_at":"2026-08-05T05:33:53.920173Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.10129","last_updated":"2026-05-11T07:40:39Z","snapshot_observed_at":"2026-08-14T06:16:09.741529Z","submitted_at":"2026-05-11T07:40:39Z","title":"Synthetic Pre-Pre-Training Improves Language Model Robustness to Noisy Pre-Training Data","version":1},"cited_work":{"arxiv_id":"2605.10129","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.10129","snapshot_observed_at":"2026-08-05T05:33:56.202284Z","title":"Synthetic Pre-Pre-Training Improves Language Model Robustness to Noisy Pre-Training Data","venue":"cs.CL","work_id":"6d3c7958-a357-4335-962f-d2121212d166","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.927154Z"},"links":{"cited_paper":"/paper/2605.10129","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:dcbb31f3b5bb80acbcff4b9cf8b88b523b68057eee25373bc37d37cf873cbf96","observation_id":"5ca3996f-5305-417f-86a2-e3e2e34cfb33","resolution":{"observed_at":"2026-08-05T05:33:56.215173Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2607.15495","last_updated":"2026-07-16T22:54:30Z","snapshot_observed_at":"2026-08-17T09:45:46.670808Z","submitted_at":"2026-07-16T22:54:30Z","title":"Verbalizable Representations Form a Global Workspace in Language Models","version":1},"cited_work":{"arxiv_id":"2607.15495","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.15495","snapshot_observed_at":"2026-08-05T05:33:56.166169Z","title":"Verbalizable Representations Form a Global Workspace in Language Models","venue":"cs.CL","work_id":"bc2d5f62-7fab-44f4-b68c-79d4c81cfd7a","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.935027Z"},"links":{"cited_paper":"/paper/2607.15495","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:32f1ff282936d0df3a8327ad190250b14a949578ad73f928569331ddb59dd81d","observation_id":"c4580ec4-2531-4c3c-8e22-d37c94991838","resolution":{"observed_at":"2026-08-05T05:33:56.173652Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:53.942462Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.942462Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:309fa7267dbd0c09aa772242c17aea68285db8e1e7e999f2cacf5cdb6c8c4a5a","observation_id":"22393c48-766e-4869-bd21-14cd33e8de5b","resolution":{"observed_at":"2026-08-05T05:33:53.942462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-08-17T02:13:39.510069Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-05T05:33:53.969212Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.969212Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:2d67b4168cbd963e74c7d0e72983695bb3734725a3e1daf64e6960c21882dcb9","observation_id":"2ca1725a-0ca9-43fc-be67-f42aa093d957","resolution":{"observed_at":"2026-08-05T05:33:53.969212Z","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-05T05:33:53.975696Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.975696Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:52c3d7f2718108b1e50e610b1d94f459965e46a83b89880e384e2729547a5996","observation_id":"0e03d532-a329-4060-8373-0b2473603d08","resolution":{"observed_at":"2026-08-05T05:33:53.975696Z","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-05T05:33:53.991931Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:53.991931Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:a017c687ce22d6e85d11bfd97977209250df50daf323a4fedc195d1e080ead91","observation_id":"2263fffb-73d7-4c10-b35b-6273ef3dc736","resolution":{"observed_at":"2026-08-05T05:33:53.991931Z","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-05T05:33:57.947348Z","title":null,"venue":null,"work_id":"9d0143fc-6bde-415b-8b38-10690e7f1a45","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.001679Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:ced2bd015acac073f54494f8eee5ff2c56568798b6043d5d08fc19cf91a61dde","observation_id":"e61514a0-64ff-46a5-bad9-f4083b2aa2f5","resolution":{"observed_at":"2026-08-05T05:33:57.961844Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.02208","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.079349Z","title":null,"venue":null,"work_id":"a679ba1f-df5c-406c-870f-0bb5523341ec","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.013690Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:e18190ece0d32be18f1711088984e9df303d3adce0fea9fb2d9b3fb12c5ffde8","observation_id":"2f78b25d-440f-4f3b-b24a-e89fd23359a0","resolution":{"observed_at":"2026-08-05T05:33:56.089985Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.027473Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.027473Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:5eb9f73f521304bfe8dad82a11a11c3ad9f5d5c62425db5a63d84f2cfe5de6d7","observation_id":"a54f48bc-2f07-46dd-8f4b-3c80fe2622cc","resolution":{"observed_at":"2026-08-05T05:33:54.027473Z","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-05T05:33:57.896928Z","title":null,"venue":null,"work_id":"fc249aff-2697-4721-885a-097c6b353a16","year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.060422Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:4d6c093146485f520bc7cec3b43ea5a874ca2d7f97b65df7dd57c9cffde2ebc9","observation_id":"e47bd0bb-98c2-4c38-8fd9-dfbf0396f9db","resolution":{"observed_at":"2026-08-05T05:33:57.912655Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.08510","last_updated":"2026-04-09T17:50:12Z","snapshot_observed_at":"2026-08-12T19:37:25.141400Z","submitted_at":"2026-04-09T17:50:12Z","title":"What do Language Models Learn and When? The Implicit Curriculum Hypothesis","version":1},"cited_work":{"arxiv_id":"2604.08510","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.08510","snapshot_observed_at":"2026-08-05T05:33:55.868571Z","title":"What do Language Models Learn and When? The Implicit Curriculum Hypothesis","venue":"cs.CL","work_id":"ed05bf23-f8b1-41a5-a151-42042db90e2f","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.066069Z"},"links":{"cited_paper":"/paper/2604.08510","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:a1538f1fb725b784c1eddf31b276e56c5c610079ebeeefdd53985842b862c6cd","observation_id":"164b8dba-b550-4aa5-a034-9f6f7444cef7","resolution":{"observed_at":"2026-08-05T05:33:55.878631Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.865011Z","title":null,"venue":null,"work_id":"969373b5-5c9a-4033-b34d-b998a531638e","year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.082701Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:12f33add0746d00feee4360a2d89a8d2f302f088e12819796b554d64e09c2d24","observation_id":"92b8f765-4997-4c64-aaef-6c835a8e2021","resolution":{"observed_at":"2026-08-05T05:33:57.880540Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.839336Z","title":null,"venue":null,"work_id":"f7952f89-f608-4455-9bf7-2499862fad56","year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.111731Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:3175a2fc01802c1d50b44ba8a5689539cd7e9f2897a903bad764d0dfdb7fd450","observation_id":"d9118933-51ed-4228-8e7d-6c8384f74e0d","resolution":{"observed_at":"2026-08-05T05:33:57.845190Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.00656","last_updated":"2025-10-08T07:50:45Z","snapshot_observed_at":"2026-08-08T06:58:44.493777Z","submitted_at":"2024-12-31T21:55:10Z","title":"2 OLMo 2 Furious","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.00656","snapshot_observed_at":"2026-08-05T05:33:54.117993Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.117993Z"},"links":{"cited_paper":"/paper/2501.00656","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:db7c11fdd0ddd400227f7725d23288d7b374cc30564c294636b042a5def4fe51","observation_id":"080c76b7-01aa-40cd-b2fe-7343d40f6e30","resolution":{"observed_at":"2026-08-05T05:33:54.117993Z","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-05T05:33:57.803107Z","title":null,"venue":null,"work_id":"3983858c-7fb5-47b4-bdfb-6937f604677f","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.138579Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:43f0bb4749001bb4c3434a848c9f3aba59975845d2e0f223ed50c8c6893f46fd","observation_id":"1e7e87c1-3907-463c-a1ac-c20b5dcb9af7","resolution":{"observed_at":"2026-08-05T05:33:57.811100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.11695","last_updated":"2024-05-06T17:47:01Z","snapshot_observed_at":"2026-08-13T04:32:33.562415Z","submitted_at":"2023-06-20T17:18:20Z","title":"A Simple and Effective Pruning Approach for Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.11695","snapshot_observed_at":"2026-08-05T05:33:54.149081Z","title":"Zico Kolter","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.149081Z"},"links":{"cited_paper":"/paper/2306.11695","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:59fcaee4238d78d0a5e014e1f000df6d7af40fcceefa67e7d51015ced1e886ad","observation_id":"a0872175-665a-42eb-bb54-577ea85334f7","resolution":{"observed_at":"2026-08-05T05:33:54.149081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-05T05:33:54.169364Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.169364Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:55d38ed4213442f4d749c4a378fe4abcb9e9cd2a3080e5620059aeedec97ea29","observation_id":"fcadb236-58d1-4487-87c4-ccb5dfb4f7d0","resolution":{"observed_at":"2026-08-05T05:33:54.169364Z","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-05T05:33:57.774797Z","title":null,"venue":null,"work_id":"3b7bb31f-79ef-4c39-9cd9-63991bd436f4","year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.177974Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7a14b788150c9b26920dfdec7dc58706b74370282aa84018acd24520c09bf55f","observation_id":"1c069454-da16-4af0-b71c-964d5179bb02","resolution":{"observed_at":"2026-08-05T05:33:57.785506Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.186154Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.186154Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:df513b76be64e72dd451eb1d9261cfcaee0375622b37c6e5a3c68d0c5c02812e","observation_id":"536644b7-49c1-48b8-a2d3-9b30c485b561","resolution":{"observed_at":"2026-08-05T05:33:54.186154Z","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-05T05:33:57.733619Z","title":null,"venue":null,"work_id":"96e084cd-928e-4f90-8d90-5f45c4bf6173","year":2022},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.201947Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:acea3507f6efcd193ec0c0ef959356edc33f6ba710b4da9ba45cbee0ad25e48a","observation_id":"5bb47322-6c5f-4e21-a476-8b3cb2db13fc","resolution":{"observed_at":"2026-08-05T05:33:57.760084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.14768","last_updated":"2025-02-20T17:49:26Z","snapshot_observed_at":"2026-08-15T06:02:45.207770Z","submitted_at":"2025-02-20T17:49:26Z","title":"Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.14768","snapshot_observed_at":"2026-08-05T05:33:54.207759Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.207759Z"},"links":{"cited_paper":"/paper/2502.14768","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:f0ea6ecfe8cf89b755fb0ccf51fb8fc377b43e71b433c0755472b02530bc1c86","observation_id":"bdf72c0d-066d-4470-973c-49e4fecdab42","resolution":{"observed_at":"2026-08-05T05:33:54.207759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.07302","last_updated":"2026-05-08T06:12:43Z","snapshot_observed_at":"2026-08-12T12:38:10.970438Z","submitted_at":"2026-05-08T06:12:43Z","title":"Pretraining Induces a Reusable Spectral Basis for Downstream Task Adaptation","version":1},"cited_work":{"arxiv_id":"2605.07302","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.07302","snapshot_observed_at":"2026-08-05T05:33:55.655900Z","title":"Pretraining Induces a Reusable Spectral Basis for Downstream Task Adaptation","venue":"cs.LG","work_id":"3cff24a3-0b85-4916-a1cd-8e64f86711c5","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.220349Z"},"links":{"cited_paper":"/paper/2605.07302","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7ff046d0525e9721c0e1e5a8a23fed0a16c5626c4cb188a28c9b29f22afd45b4","observation_id":"03718775-31e8-44ab-9f8f-9c010cc723ff","resolution":{"observed_at":"2026-08-05T05:33:55.664647Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.11804","last_updated":"2024-08-21T17:48:01Z","snapshot_observed_at":"2026-08-17T02:40:44.440849Z","submitted_at":"2024-08-21T17:48:01Z","title":"Approaching Deep Learning through the Spectral Dynamics of Weights","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.11804","snapshot_observed_at":"2026-08-05T05:33:54.226598Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.226598Z"},"links":{"cited_paper":"/paper/2408.11804","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:83cef929d7348ba47e12d1b2d8dc2291651c61dcf128c3a888f084f025c93e1e","observation_id":"a2b43401-f593-4b4d-b2fe-32d1f33c6db7","resolution":{"observed_at":"2026-08-05T05:33:54.226598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.13372","last_updated":"2024-06-27T22:44:48Z","snapshot_observed_at":"2026-08-17T02:51:06.474773Z","submitted_at":"2024-03-20T08:08:54Z","title":"LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.13372","snapshot_observed_at":"2026-08-05T05:33:54.236682Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.236682Z"},"links":{"cited_paper":"/paper/2403.13372","citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:2d5088ced39ce19a1c39a452c68257c5e61d2bfeb27f15c11367a481cd22e5b7","observation_id":"0dbbed24-1ab8-4cf1-93b0-581807e36d89","resolution":{"observed_at":"2026-08-05T05:33:54.236682Z","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/2026.findings-acl.1653","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:55.270303Z","title":"Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models","venue":null,"work_id":"7c2ee312-1d53-463a-8d30-8a9f95382032","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.247250Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:8cf7829846fcb05f1b6681349f929d4423b97442530d22340ae8e91dc70cb598","observation_id":"c418d868-62df-41a4-95c4-f952e7d4f8ba","resolution":{"observed_at":"2026-08-05T05:33:55.277405Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2026.findings-eacl.115","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"FOL -Traces: Verified First-Order Logic Reasoning Traces at Scale","venue":null,"work_id":"ccc500b5-113e-4476-b399-d72aa1383625","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.253422Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d3a60bc8cd8a8fd1e123121261fb2bdde037d872b5d451530ab05e14956849f6","observation_id":"4691cc4e-d8ff-4323-a0d4-c9f66396c1c1","resolution":{"observed_at":"2026-08-05T05:33:55.174548Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.272863Z","title":"Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.272863Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7cb4ef46eb3782dc37c5859b6557e68cf7c15f512d04cceba5f39743b8b3b851","observation_id":"965f0b62-71c5-4125-9891-d77066071a4b","resolution":{"observed_at":"2026-08-05T05:33:54.272863Z","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/2025.emnlp-main.1624","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Enhancing Logical Reasoning in Language Models via Symbolically-Guided M onte C arlo Process Supervision","venue":null,"work_id":"9875b27f-eef3-4336-ac1f-c1d09fd9f22e","year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.284789Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7bb5804e5cfb76e40426bc3e77233aad94645462cfd7a218b3beea0021dcbe5f","observation_id":"8529ecb7-aa25-4397-91ab-92046098b638","resolution":{"observed_at":"2026-08-05T05:33:55.010876Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.679671Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":"d9b36b41-9bd1-4e2b-b8c0-ad703ab67c71","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.290847Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:ff3dcd486ee5256f65b7e96a427ae0039c87d1b1b03f9eda9bb7c1609d8489f8","observation_id":"d98d27bf-9181-4392-ad3d-0131e37d6316","resolution":{"observed_at":"2026-08-05T05:33:57.690105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.299941Z","title":"Fine-Tuned Transformers Show Clusters of Similar Representations Across Layers","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.299941Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b2e1743df128db840bc79142f65680d101eef3ba5ec174d099a11092601638a7","observation_id":"05c9f7d5-7193-4561-99cb-a6be9016c7b8","resolution":{"observed_at":"2026-08-05T05:33:54.299941Z","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-05T05:33:54.306124Z","title":"A Structural Probe for Finding Syntax in Word Representations","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.306124Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:895c37667642e76ee174ab5387b295f51a4811ca8c546003bda9916daa14b6ff","observation_id":"81ec2ef0-bd01-4d9c-b038-41731e17aa90","resolution":{"observed_at":"2026-08-05T05:33:54.306124Z","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.1002/9780470758335.ch1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T06:12:12.796739Z","title":"The Proper Treatment of Quntification in Ordinary English , booktitle =","venue":null,"work_id":"fcebbe59-9acf-4d31-ac70-8ed130e4c921","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.314488Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:94c0e2be52058fde8f76cdd62d010abecae936069b8bd70d203d6670e568f623","observation_id":"d7f6a0c3-5326-4933-9a25-f41ac13e7482","resolution":{"observed_at":"2026-08-05T05:33:55.098510Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.320892Z","title":"What do RNN Language Models Learn about Filler -- Gap Dependencies?","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.320892Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:a2284ffd689521b6f04dff133df6bccf6adb1b2b60903a703c2ad1b86e51d5e2","observation_id":"d7a50414-bbe0-42ad-b827-e191fc627015","resolution":{"observed_at":"2026-08-05T05:33:54.320892Z","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-05T05:33:57.630862Z","title":"and McGuinness, Brian","venue":null,"work_id":"d932515b-d737-48dd-a331-111a0411489e","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.331189Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b7864cd3a9932303b45de842b7d2025be3391c3f43966b3ad600e667cd292cac","observation_id":"a0301dfd-52a9-49f3-8953-6ec94162d4cd","resolution":{"observed_at":"2026-08-05T05:33:57.646353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.337141Z","title":"2001 , publisher=","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.337141Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:49577cf9364fa6cdfed4ce3812fcac0e76b815c23d908b01ac6b229a16b99948","observation_id":"1fe4f9e3-452f-43fa-aff6-3e7c280a7521","resolution":{"observed_at":"2026-08-05T05:33:54.337141Z","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-05T05:33:57.552996Z","title":"1994 , publisher=","venue":null,"work_id":"47b5db6f-a886-4651-a11e-1107db257dcf","year":1994},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.345105Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:06a272e4a9ec73273c7b5a030769d2b2264a2fa5efc3e949bf690a07cdd35311","observation_id":"4667f4d2-ee80-49d4-a52a-f921a2e16a55","resolution":{"observed_at":"2026-08-05T05:33:57.573428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.508810Z","title":"Logical Syntax and Semantics: Their Linguistic Relevance , volume =","venue":null,"work_id":"6a9de98e-d414-4e03-ad14-65176b721555","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.350584Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:42a28bfface107bb6f9575e0a12eecb965bef3fb7457d524eab7d5e04751ecba","observation_id":"0da91634-0802-4313-8ae0-abff817be734","resolution":{"observed_at":"2026-08-05T05:33:57.519367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.365628Z","title":"Theoria , volume =","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.365628Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:8697faac2d43d89414cbb2a0a565952617999f4ad9e608c46d132efc796111fa","observation_id":"7feca08d-d938-4c6e-8da7-9c8b5b885bb2","resolution":{"observed_at":"2026-08-05T05:33:54.365628Z","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-05T05:33:54.371710Z","title":", title =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.371710Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:1b9ceb2de0b9f5ea9a34a5a352ca70979f681ee3f94c5ceec7e9e7a2539e990a","observation_id":"5e096594-ff10-4291-9f30-10cb8f53aba2","resolution":{"observed_at":"2026-08-05T05:33:54.371710Z","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-05T05:33:54.382190Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.382190Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:f61df58c056d098141ed6974382737618630a44cfe82b67fdbdab61ea8584e06","observation_id":"31680023-9d31-4de1-a9a9-b04bc4f7a55c","resolution":{"observed_at":"2026-08-05T05:33:54.382190Z","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-05T05:33:54.395646Z","title":"P roof W riter: Generating Implications, Proofs, and Abductive Statements over Natural Language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.395646Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:9f0a609857aa2683fe7f496ac1e493961f68cc8861e02b40005943b0a1bf10db","observation_id":"3c164348-ad91-464a-b325-7e31e0575133","resolution":{"observed_at":"2026-08-05T05:33:54.395646Z","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-05T05:33:54.402265Z","title":"Analyzing the Mono- and Cross-Lingual Pretraining Dynamics of Multilingual Language Models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.402265Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b84389ab6a4d5b9b7a2d757d6e86f56fb07cde849d8f8e9ed6ec03f2aba9a42c","observation_id":"e575b2d4-7b79-4b9e-b06c-55bce8d95cff","resolution":{"observed_at":"2026-08-05T05:33:54.402265Z","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-05T05:33:57.435087Z","title":"2026 , eprint=","venue":null,"work_id":"3bb477da-8911-4c48-a50e-750fd1389a1c","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.409198Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:e843b9783a319cd35f4f05735931a3a1653b983f2213e898a8e0fc4aef485f4d","observation_id":"a8acd51e-3ac4-4152-8dac-9c8447499353","resolution":{"observed_at":"2026-08-05T05:33:57.455143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-main.403","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Understanding the Inner-workings of Language Models Through Representation Dissimilarity","venue":null,"work_id":"2aab87f7-350d-4bae-84a8-ae07fdb842fe","year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.416022Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:09a23cc74bb4ccd3ceb3f4e9391ba3873ab99be512c194caa7ffc2e1542e3342","observation_id":"e2c767ca-6cb9-4e97-ac12-6552e18f8fed","resolution":{"observed_at":"2026-08-05T05:33:55.305822Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.399210Z","title":"alpha-ReQ : Assessing Representation Quality in Self-Supervised Learning by measuring eigenspectrum decay , url =","venue":null,"work_id":"92e62890-b8f3-4fd3-9e81-b890d036013c","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.429567Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d68a0e1e3bedcc79b961680b1d7d699c731c01db791102ef13159596ebdb31e6","observation_id":"e6404756-0719-4db3-a019-847f8cac8141","resolution":{"observed_at":"2026-08-05T05:33:57.410588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.364103Z","title":"2023 , url=","venue":null,"work_id":"a3424ece-48d6-4c2d-9bf1-9dd107459beb","year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.440142Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:be1338b0336cd27aa77d70346b0b83b22c561de3a2d6a1487bd3804a1f282a5c","observation_id":"c7d4f3ec-16bb-435b-9021-7e6b018d90a4","resolution":{"observed_at":"2026-08-05T05:33:57.374455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.446896Z","title":"International conference on machine learning , pages=","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.446896Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:f69200f0ba0fa904e46fa70b56cd16e5b62558a2423ebf502fa4689da6b11fc9","observation_id":"2bf5a4ae-b7b6-47d9-b7e5-90fde98a97b8","resolution":{"observed_at":"2026-08-05T05:33:54.446896Z","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-05T05:33:54.455601Z","title":"2023 , eprint=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.455601Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:753cad7fe02b4f834c6ee5edd98e8aa14557adbe33bbee6ade292fb016710ce9","observation_id":"168f014d-b258-4d92-be90-5c2a8ba0a76e","resolution":{"observed_at":"2026-08-05T05:33:54.455601Z","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-05T05:33:54.465364Z","title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations) , address=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.465364Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:9e4a7fe82c3627ed9ea0d9f805437005a7613d7d87cc523dce7d4cc5c8160a6d","observation_id":"95573d7d-5f9e-49f6-ba7b-6f0356d9ade2","resolution":{"observed_at":"2026-08-05T05:33:54.465364Z","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/2026.acl-short.27","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.902384Z","title":"Enhancing Linguistic Competence of Language Models through Pre-training with Language Learning Tasks","venue":null,"work_id":"05110f4f-fccc-4198-b38c-e4c471f7b6d1","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.470725Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:896d725507cd1992c602741ea5eb0fd708c0790b13cd76acc080f2452f64fb06","observation_id":"264ba89a-7a0b-45ef-8352-999cb880059e","resolution":{"observed_at":"2026-08-05T05:33:54.928691Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.477250Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.477250Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d893deebe752982036ca93214ba377ae8517e1c4a17cd9272f60cc8aa0c73374","observation_id":"2dc86a10-c990-4026-8610-57d3dd876dd2","resolution":{"observed_at":"2026-08-05T05:33:54.477250Z","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-05T05:33:54.483306Z","title":"doi:10.57967/hf/2497 , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.483306Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:36e10fda4d1f9477c21c53ad2d863285df22110506e037bb93ae36357132082d","observation_id":"73a9d18c-c317-48ac-8940-4b41a733aa73","resolution":{"observed_at":"2026-08-05T05:33:54.483306Z","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-05T05:33:54.489107Z","title":"Language acquisition: do children and language models follow similar learning stages?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.489107Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:45a7ebdd481646efd8a56b5de16c1037ffe52e67ba942fcffd75719d0c248396","observation_id":"dc0f11d3-0fd8-45ff-a1c9-19e637b9e96a","resolution":{"observed_at":"2026-08-05T05:33:54.489107Z","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-05T05:33:57.222046Z","title":"Enhancing Reasoning Capabilities of","venue":null,"work_id":"37e905fc-4e3a-49e5-991f-a32615ad4bd9","year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.495957Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:76f48492f720cfd5c7f0bd259b2563c32ae8b3c25e500c9cd124b586ec8dfd16","observation_id":"60cfc711-c7fb-4795-b7a2-76375bb2cf58","resolution":{"observed_at":"2026-08-05T05:33:57.229029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.152498Z","title":"The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=","venue":null,"work_id":"e650ca3b-b8cc-4ca4-8e95-98f3f04af61f","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.507505Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:6cf237efc203c22ae4c36bcf473ae83484e2cbf0e99cedef0b204072670b8ac0","observation_id":"3d86954f-a478-4b68-8569-92c8866b0ba1","resolution":{"observed_at":"2026-08-05T05:33:57.159624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.512750Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.512750Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:9342f92f76c7a0b7a7df7353bef59d1ad15fb48a0cfe0dacd60ad8478aa6414c","observation_id":"485e47a6-f774-40f7-985e-352b96ecde1f","resolution":{"observed_at":"2026-08-05T05:33:54.512750Z","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-05T05:33:54.520291Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.520291Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:33f30d2b90962887df01fe48e9019c95f1e36008d701cf9cbf0b1b4f998d6688","observation_id":"c0d9e78d-90d7-40b6-9c30-000bf7404db0","resolution":{"observed_at":"2026-08-05T05:33:54.520291Z","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-05T05:33:57.037193Z","title":"2026 , eprint=","venue":null,"work_id":"7b84cc15-9692-478f-a04a-4ed8b01a3dae","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.528749Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7b528733a2b78c003dfb4aab6c09416d2da6a0c3b84f76d53f60f8915d426f5b","observation_id":"a3d2cd1c-3373-4360-baf0-b8d958c19424","resolution":{"observed_at":"2026-08-05T05:33:57.046938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:57.004289Z","title":"2026 , eprint=","venue":null,"work_id":"a2dafda6-3f84-4013-8b42-82aac2f2df21","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.536165Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:32bdd9faf5c04e72c27f2bb1f33fbdf4c304971047967a5fa15e70c79345510b","observation_id":"68e6cf9a-f5eb-45dc-b1a4-d141138c36e3","resolution":{"observed_at":"2026-08-05T05:33:57.014030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.966431Z","title":"Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , month =","venue":null,"work_id":"d4cd132b-9e39-4fe7-8b08-4b37d0e561b5","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.543973Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:e3c7fd65b55959685a855a441a9c7e4899684a679e93c6433094a39f58f6b9c1","observation_id":"0c8acb33-bb33-426e-99dc-355682c9b0c8","resolution":{"observed_at":"2026-08-05T05:33:56.977173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.932980Z","title":"2026 , eprint=","venue":null,"work_id":"b219f69e-9f77-49c7-bbf3-b3f67787a882","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.551514Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:7a0cc580f07a4dba53348063b5dd900aba025c53e3f3d31e8b68cc1332eb1053","observation_id":"396b2d79-4d74-4cec-8549-7cb23fbcef4b","resolution":{"observed_at":"2026-08-05T05:33:56.941369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.560412Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.560412Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:2a0e73a0e6df836e45c862bd0f35a75200c248e9932ac566a8ac833a539413e8","observation_id":"13cecb2b-a711-4cbf-acf2-9df07af402a6","resolution":{"observed_at":"2026-08-05T05:33:54.560412Z","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-05T05:33:54.575649Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.575649Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:a565b5b42f880eefe37d2caa60636f25792a8d801c14b0e38a67512b5f698a75","observation_id":"ef1455d5-01d4-4efb-9d15-dfbfb94cc7e5","resolution":{"observed_at":"2026-08-05T05:33:54.575649Z","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-05T05:33:56.862278Z","title":"2026 , eprint=","venue":null,"work_id":"b9861e46-2690-481b-867b-a8016b52b4d1","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.588571Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:11d52b6ccc887567d6258b72f3ec2f5c387b308c8a418bb47b27def7fcd5f38b","observation_id":"53c42e4d-e0c4-4421-aec8-ff9751752fdb","resolution":{"observed_at":"2026-08-05T05:33:56.870209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.828640Z","title":"Forty-third International Conference on Machine Learning , year=","venue":null,"work_id":"ffbd36b9-df31-455e-81d9-5d9504bd5ae4","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.595219Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:8fac3d1c1e05d88ce550f2fbb6d06568cd8d10328e5bd8fa530aee5741ea0e62","observation_id":"2667b8ef-4b19-4b54-8e08-14cbdd477075","resolution":{"observed_at":"2026-08-05T05:33:56.836627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.603644Z","title":"The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.603644Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:cfbeca7348262e8e69bd279c1b0427691bf65d0a678e6012256182e3d0e25958","observation_id":"b81e3187-a033-420f-b273-91170aab0efe","resolution":{"observed_at":"2026-08-05T05:33:54.603644Z","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-05T05:33:56.581297Z","title":"2023 , journal=","venue":null,"work_id":"b8412c6a-320c-4d06-8191-88dcac36e077","year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.612496Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:9ba8f7bbf34a49b9eaaf923b012ee64de03d1ca2a67f38d116b890171ff4c224","observation_id":"5a5aed26-3ab4-4f85-83c0-6572e2e940dc","resolution":{"observed_at":"2026-08-05T05:33:56.589198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.547694Z","title":"LogiConBench: Benchmarking Logical Consistencies of","venue":null,"work_id":"f2ef3fe7-41bd-486a-8c9a-e19b7c4d2279","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.624464Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b657a3d18aedee8d9d5fa1ce87f86f33ac6a65bd7c6d64da135f2f70db34ddbd","observation_id":"bf8147ca-a01b-4486-a960-52c325e86f99","resolution":{"observed_at":"2026-08-05T05:33:56.558752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.517452Z","title":"LogicTree: Improving Complex Reasoning of","venue":null,"work_id":"c773eaa2-d886-48a4-bbea-cc425963d0d8","year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.637130Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:865760c3b8a854c0ba05b5d06a79f3f4f0304bf56e9c316a40bbc66d40659c33","observation_id":"e8719115-7f72-49b1-826a-cd87c8252ca1","resolution":{"observed_at":"2026-08-05T05:33:56.529952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.651276Z","title":"Proceedings of the 40th International Conference on Machine Learning , articleno =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.651276Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:11036429a62b2a6ed82914e0f2fbd5e71df06f16a3f40eb1978568b9971a787b","observation_id":"d3c74e66-8fd1-44ee-8cfd-d42444cb3421","resolution":{"observed_at":"2026-08-05T05:33:54.651276Z","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-05T05:33:54.673798Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.673798Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:20fe4250b5a25819bd850b89ad2c508be759310468dcae12fff7f030e2090a16","observation_id":"e46ac06b-293f-4f20-9b06-1973cd87ef26","resolution":{"observed_at":"2026-08-05T05:33:54.673798Z","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/2026.acl-long.895","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:55.123148Z","title":"Language Acquisition Device in Large Language Models","venue":null,"work_id":"71d5fc88-7a60-4285-8a94-c7f4eb4a9f48","year":2026},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.679662Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b96c85e369d6f8cf8f1d4b39b975325bb2c37f41347776193022ef7d57811aa2","observation_id":"8f703077-1def-4ed9-b0c1-edd96a95649c","resolution":{"observed_at":"2026-08-05T05:33:55.131070Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.687231Z","title":"and Petty, Jackson and Shi, Chuan and Merrill, William and Linzen, Tal","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.687231Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:951a04066cf0440e1ed802d555b34eb809f2207478e03af8a3c7cc22041b9ce0","observation_id":"e9d18137-d713-4371-8e7a-8fa653c0ab8d","resolution":{"observed_at":"2026-08-05T05:33:54.687231Z","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-05T05:33:56.433371Z","title":"Forty-third International Conference on Machine Learning , year=","venue":null,"work_id":"cc1a413b-39af-4638-9b53-98fe513b1f51","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.698101Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:37475e5f99291d675a6c074888fbd210fa13e784dde24126058521767f3f929a","observation_id":"e11e19c2-5e1a-40fa-b5e3-8d26794c8419","resolution":{"observed_at":"2026-08-05T05:33:56.444141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:56.404272Z","title":"The Fourteenth International Conference on Learning Representations , year=","venue":null,"work_id":"792cf882-91a1-4696-9bd2-ee8a832da242","year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.707141Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:bf78a387f9ce1290b13363a8170e38683ff46eafec7e42b4e91fbddbb750cc24","observation_id":"4d0e482d-8220-44d4-b8a9-083905972284","resolution":{"observed_at":"2026-08-05T05:33:56.414475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.717317Z","title":"Aho and Jeffrey D","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.717317Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:ba557a6acf58a5daf87db624cd168c75a96c43cfd68db26cc9bfb974b8cca303","observation_id":"e9e17fd1-26b1-4ce6-b3de-017ea04173fe","resolution":{"observed_at":"2026-08-05T05:33:54.717317Z","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-05T05:33:54.725896Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.725896Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:32809f28d48c13f1ad9c1354b8b9bdead27a81f47361b3191c7954dcf1aaf5d5","observation_id":"c1a5ddac-0ca4-479b-ae95-f09f33345a4a","resolution":{"observed_at":"2026-08-05T05:33:54.725896Z","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":"2234.32224","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:55.433753Z","title":"Chandra and Dexter C","venue":null,"work_id":"03fe1fc8-7cb3-4df1-b196-bd111b06b5d3","year":1981},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.736608Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:be9f421265aa19d84cbfe018cf105ae1af9ac6dbe2b85fab5c5ad1dcc788f8ef","observation_id":"41e3c943-2d83-4cde-83b2-4f64e09b4355","resolution":{"observed_at":"2026-08-05T05:33:55.449014Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:33:54.747759Z","title":"Scalable training of","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.747759Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d8be3876cd46fe2de04aefb0b7718ce99ae5dfa0f7561546b3254a34100d2b10","observation_id":"312ac15b-4f7b-45ef-a80c-7ce6923ff662","resolution":{"observed_at":"2026-08-05T05:33:54.747759Z","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-05T05:33:54.756108Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.756108Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:4290670dde54f645b61bd08ede0e55141929ea38699522235ced6d1a91ad31f1","observation_id":"3f8a7c01-fcaf-4f77-95dd-fe3ac30271dd","resolution":{"observed_at":"2026-08-05T05:33:54.756108Z","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-05T05:33:54.768746Z","title":"Tetreault , title =","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.768746Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:d521188f482e86a41209403bbc94445c4f0bd4668f56dbaac0d63231de8cc9f3","observation_id":"12467d0b-73b3-4b4b-8a9b-5298a9d694ad","resolution":{"observed_at":"2026-08-05T05:33:54.768746Z","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-05T05:33:54.778082Z","title":"A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility","version":1},"reference_index":101,"source":"arxiv_source","source_observed_at":"2026-08-05T05:33:54.778082Z"},"links":{"citing_paper":"/paper/2608.03930"},"observation_digest":"sha256:b0f9c2ab51b0f667151095145d73d53744aececb97fe7fe8540cab260f7ca441","observation_id":"98103749-3308-4d8e-a4c7-b27a3b648a23","resolution":{"observed_at":"2026-08-05T05:33:54.778082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.03930","last_updated":"2026-08-04T17:02:34Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-14T10:01:10.740256Z","submitted_at":"2026-08-04T17:02:34Z","title":"Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility"},"reference_resolution":{"displayed":87,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":53,"verified_exact":12,"verified_fuzzy":20},"total_outbound_references":87},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 87 of 87 outbound references and 0 inbound Pith citation observations for arXiv:2608.03930."}