Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility | Paper Citation Record

Observation bd123b65-eaf3-46c1-ab13-0c2bceabad4e · outbound

This paper cites Phi-4 Technical Report.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Phi-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.849911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51411db2-8c95-427b-ad8f-98b3f1b27c3e · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.860308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f547a1c-a9fc-47d6-aeed-b25efde1c6c4 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.871101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e19b4079-6306-4440-907f-96ea7c1202a5 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.906376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27fa402a-fc07-4e67-a5b7-8bf7180e1db0 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.920173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ca3996f-5305-417f-86a2-e3e2e34cfb33 · outbound

This paper cites Synthetic Pre-Pre-Training Improves Language Model Robustness to Noisy Pre-Training Data.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Synthetic Pre-Pre-Training Improves Language Model Robustness to Noisy Pre-Training Data

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:33:56.215173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c4580ec4-2531-4c3c-8e22-d37c94991838 · outbound

This paper cites Verbalizable Representations Form a Global Workspace in Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Verbalizable Representations Form a Global Workspace in Language Models

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:33:56.173652Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 22393c48-766e-4869-bd21-14cd33e8de5b · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.942462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ca1725a-0ca9-43fc-be67-f42aa093d957 · outbound

This paper cites Mistral 7B.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Mistral 7B

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.969212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e03d532-a329-4060-8373-0b2473603d08 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.975696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2263fffb-73d7-4c10-b35b-6273ef3dc736 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:53.991931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e61514a0-64ff-46a5-bad9-f4083b2aa2f5 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.961844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2f78b25d-440f-4f3b-b24a-e89fd23359a0 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 19

Resolution: verified exact; raw_fallback, observed 2026-08-05T05:33:56.089985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a54f48bc-2f07-46dd-8f4b-3c80fe2622cc · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.027473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e47bd0bb-98c2-4c38-8fd9-dfbf0396f9db · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.912655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 164b8dba-b550-4aa5-a034-9f6f7444cef7 · outbound

This paper cites What do Language Models Learn and When? The Implicit Curriculum Hypothesis.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility What do Language Models Learn and When? The Implicit Curriculum Hypothesis

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:33:55.878631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 92b8f765-4997-4c64-aaef-6c835a8e2021 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.880540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d9118933-51ed-4228-8e7d-6c8384f74e0d · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.845190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 080c76b7-01aa-40cd-b2fe-7343d40f6e30 · outbound

This paper cites 2 OLMo 2 Furious.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2 OLMo 2 Furious

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.117993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e7e87c1-3907-463c-a1ac-c20b5dcb9af7 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.811100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a0872175-665a-42eb-bb54-577ea85334f7 · outbound

This paper cites A Simple and Effective Pruning Approach for Large Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility A Simple and Effective Pruning Approach for Large Language Models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.149081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcadb236-58d1-4487-87c4-ccb5dfb4f7d0 · outbound

This paper cites Qwen3 Technical Report.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Qwen3 Technical Report

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.169364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c069454-da16-4af0-b71c-964d5179bb02 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.785506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 536644b7-49c1-48b8-a2d3-9b30c485b561 · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 36

Resolution: malformed identifier; no resolver link, observed 2026-08-05T05:33:54.186154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bb47322-6c5f-4e21-a476-8b3cb2db13fc · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:33:57.760084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bdf72c0d-066d-4470-973c-49e4fecdab42 · outbound

This paper cites Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.207759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03718775-31e8-44ab-9f8f-9c010cc723ff · outbound

This paper cites Pretraining Induces a Reusable Spectral Basis for Downstream Task Adaptation.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Pretraining Induces a Reusable Spectral Basis for Downstream Task Adaptation

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:33:55.664647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a2b43401-f593-4b4d-b2fe-32d1f33c6db7 · outbound

This paper cites Approaching Deep Learning through the Spectral Dynamics of Weights.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Approaching Deep Learning through the Spectral Dynamics of Weights

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.226598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dbbed24-1ab8-4cf1-93b0-581807e36d89 · outbound

This paper cites LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.236682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c418d868-62df-41a4-95c4-f952e7d4f8ba · outbound

This paper cites Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models

Reference 44

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.277405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4691cc4e-d8ff-4323-a0d4-c9f66396c1c1 · outbound

This paper cites FOL -Traces: Verified First-Order Logic Reasoning Traces at Scale.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility FOL -Traces: Verified First-Order Logic Reasoning Traces at Scale

Reference 45

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.174548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 965f0b62-71c5-4125-9891-d77066071a4b · outbound

This paper cites Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.272863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8529ecb7-aa25-4397-91ab-92046098b638 · outbound

This paper cites Enhancing Logical Reasoning in Language Models via Symbolically-Guided M onte C arlo Process Supervision.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Enhancing Logical Reasoning in Language Models via Symbolically-Guided M onte C arlo Process Supervision

Reference 47

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.010876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d98d27bf-9181-4392-ad3d-0131e37d6316 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Advances in Neural Information Processing Systems , volume=

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.690105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 05c9f7d5-7193-4561-99cb-a6be9016c7b8 · outbound

This paper cites Fine-Tuned Transformers Show Clusters of Similar Representations Across Layers.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Fine-Tuned Transformers Show Clusters of Similar Representations Across Layers

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.299941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81ec2ef0-bd01-4d9c-b038-41731e17aa90 · outbound

This paper cites A Structural Probe for Finding Syntax in Word Representations.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility A Structural Probe for Finding Syntax in Word Representations

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.306124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7f6a0c3-5326-4933-9a25-f41ac13e7482 · outbound

This paper cites The Proper Treatment of Quntification in Ordinary English , booktitle =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility The Proper Treatment of Quntification in Ordinary English , booktitle =

Reference 51

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.098510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d7a50414-bbe0-42ad-b827-e191fc627015 · outbound

This paper cites What do RNN Language Models Learn about Filler -- Gap Dependencies?.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility What do RNN Language Models Learn about Filler -- Gap Dependencies?

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.320892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0301dfd-52a9-49f3-8953-6ec94162d4cd · outbound

This paper cites and McGuinness, Brian.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility and McGuinness, Brian

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.646353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1fe4f9e3-452f-43fa-aff6-3e7c280a7521 · outbound

This paper cites 2001 , publisher=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2001 , publisher=

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.337141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4667f4d2-ee80-49d4-a52a-f921a2e16a55 · outbound

This paper cites 1994 , publisher=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 1994 , publisher=

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.573428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0da91634-0802-4313-8ae0-abff817be734 · outbound

This paper cites Logical Syntax and Semantics: Their Linguistic Relevance , volume =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Logical Syntax and Semantics: Their Linguistic Relevance , volume =

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.519367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7feca08d-d938-4c6e-8da7-9c8b5b885bb2 · outbound

This paper cites Theoria , volume =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Theoria , volume =

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.365628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e096594-ff10-4291-9f30-10cb8f53aba2 · outbound

This paper cites , title =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility , title =

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.371710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31680023-9d31-4de1-a9a9-b04bc4f7a55c · outbound

This paper cites 2025 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2025 , eprint=

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.382190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c164348-ad91-464a-b325-7e31e0575133 · outbound

This paper cites P roof W riter: Generating Implications, Proofs, and Abductive Statements over Natural Language.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility P roof W riter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.395646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e575b2d4-7b79-4b9e-b06c-55bce8d95cff · outbound

This paper cites Analyzing the Mono- and Cross-Lingual Pretraining Dynamics of Multilingual Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Analyzing the Mono- and Cross-Lingual Pretraining Dynamics of Multilingual Language Models

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.402265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8acd51e-3ac4-4152-8dac-9c8447499353 · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.455143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e2c767ca-6cb9-4e97-ac12-6552e18f8fed · outbound

This paper cites Understanding the Inner-workings of Language Models Through Representation Dissimilarity.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Understanding the Inner-workings of Language Models Through Representation Dissimilarity

Reference 63

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.305822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e6404756-0719-4db3-a019-847f8cac8141 · outbound

This paper cites alpha-ReQ : Assessing Representation Quality in Self-Supervised Learning by measuring eigenspectrum decay , url =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility alpha-ReQ : Assessing Representation Quality in Self-Supervised Learning by measuring eigenspectrum decay , url =

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.410588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c7d4f3ec-16bb-435b-9021-7e6b018d90a4 · outbound

This paper cites 2023 , url=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2023 , url=

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.374455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2bf5a4ae-b7b6-47d9-b7e5-90fde98a97b8 · outbound

This paper cites International conference on machine learning , pages=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility International conference on machine learning , pages=

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.446896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 168f014d-b258-4d92-be90-5c2a8ba0a76e · outbound

This paper cites 2023 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2023 , eprint=

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.455601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95573d7d-5f9e-49f6-ba7b-6f0356d9ade2 · outbound

This paper cites Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations) , address=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations) , address=

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.465364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 264ba89a-7a0b-45ef-8352-999cb880059e · outbound

This paper cites Enhancing Linguistic Competence of Language Models through Pre-training with Language Learning Tasks.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Enhancing Linguistic Competence of Language Models through Pre-training with Language Learning Tasks

Reference 69

Resolution: verified exact; doi, observed 2026-08-05T05:33:54.928691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2dc86a10-c990-4026-8610-57d3dd876dd2 · outbound

This paper cites 2025 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2025 , eprint=

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.477250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73a9d18c-c317-48ac-8940-4b41a733aa73 · outbound

This paper cites doi:10.57967/hf/2497 , publisher =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility doi:10.57967/hf/2497 , publisher =

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.483306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc0f11d3-0fd8-45ff-a1c9-19e637b9e96a · outbound

This paper cites Language acquisition: do children and language models follow similar learning stages?.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Language acquisition: do children and language models follow similar learning stages?

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.489107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60cfc711-c7fb-4795-b7a2-76375bb2cf58 · outbound

This paper cites Enhancing Reasoning Capabilities of.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Enhancing Reasoning Capabilities of

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.229029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3d86954f-a478-4b68-8569-92c8866b0ba1 · outbound

This paper cites The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.159624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 485e47a6-f774-40f7-985e-352b96ecde1f · outbound

This paper cites 2025 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2025 , eprint=

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.512750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0d9e78d-90d7-40b6-9c30-000bf7404db0 · outbound

This paper cites 2024 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2024 , eprint=

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.520291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3d2cd1c-3373-4360-baf0-b8d958c19424 · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.046938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 68e6cf9a-f5eb-45dc-b1a4-d141138c36e3 · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:57.014030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0c8acb33-bb33-426e-99dc-355682c9b0c8 · outbound

This paper cites Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , month =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , month =

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.977173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 396b2d79-4d74-4cec-8549-7cb23fbcef4b · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.941369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 13cecb2b-a711-4cbf-acf2-9df07af402a6 · outbound

This paper cites 2024 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2024 , eprint=

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.560412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef1455d5-01d4-4efb-9d15-dfbfb94cc7e5 · outbound

This paper cites 2024 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2024 , eprint=

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.575649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53c42e4d-e0c4-4421-aec8-ff9751752fdb · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.870209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2667b8ef-4b19-4b54-8e08-14cbdd477075 · outbound

This paper cites Forty-third International Conference on Machine Learning , year=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Forty-third International Conference on Machine Learning , year=

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.836627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b81e3187-a033-420f-b273-91170aab0efe · outbound

This paper cites The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.603644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a5aed26-3ab4-4f85-83c0-6572e2e940dc · outbound

This paper cites 2023 , journal=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2023 , journal=

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.589198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bf8147ca-a01b-4486-a960-52c325e86f99 · outbound

This paper cites LogiConBench: Benchmarking Logical Consistencies of.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility LogiConBench: Benchmarking Logical Consistencies of

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.558752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e8719115-7f72-49b1-826a-cd87c8252ca1 · outbound

This paper cites LogicTree: Improving Complex Reasoning of.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility LogicTree: Improving Complex Reasoning of

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.529952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d3c74e66-8fd1-44ee-8cfd-d42444cb3421 · outbound

This paper cites Proceedings of the 40th International Conference on Machine Learning , articleno =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Proceedings of the 40th International Conference on Machine Learning , articleno =

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.651276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e46ac06b-293f-4f20-9b06-1973cd87ef26 · outbound

This paper cites 2026 , eprint=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility 2026 , eprint=

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.673798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f703077-1def-4ed9-b0c1-edd96a95649c · outbound

This paper cites Language Acquisition Device in Large Language Models.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Language Acquisition Device in Large Language Models

Reference 91

Resolution: verified exact; doi, observed 2026-08-05T05:33:55.131070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e9d18137-d713-4371-8e7a-8fa653c0ab8d · outbound

This paper cites and Petty, Jackson and Shi, Chuan and Merrill, William and Linzen, Tal.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility and Petty, Jackson and Shi, Chuan and Merrill, William and Linzen, Tal

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.687231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e11e19c2-5e1a-40fa-b5e3-8d26794c8419 · outbound

This paper cites Forty-third International Conference on Machine Learning , year=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Forty-third International Conference on Machine Learning , year=

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.444141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4d0e482d-8220-44d4-b8a9-083905972284 · outbound

This paper cites The Fourteenth International Conference on Learning Representations , year=.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility The Fourteenth International Conference on Learning Representations , year=

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T05:33:56.414475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e9e17fd1-26b1-4ce6-b3de-017ea04173fe · outbound

This paper cites Aho and Jeffrey D.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Aho and Jeffrey D

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.717317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1a5ddac-0ca4-479b-ae95-f09f33345a4a · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.725896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41e3c943-2d83-4cde-83b2-4f64e09b4355 · outbound

This paper cites Chandra and Dexter C.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Chandra and Dexter C

Reference 97

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T05:33:55.449014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 312ac15b-4f7b-45ef-a80c-7ce6923ff662 · outbound

This paper cites Scalable training of.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Scalable training of

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.747759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f8a7c01-fcaf-4f77-95dd-fe3ac30271dd · outbound

This paper cites an unresolved cited work.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Unresolved cited work

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.756108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12467d0b-73b3-4b4b-8a9b-5298a9d694ad · outbound

This paper cites Tetreault , title =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility Tetreault , title =

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.768746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98103749-3308-4d8e-a4c7-b27a3b648a23 · outbound

This paper cites A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =.

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-05T05:33:54.778082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers