Paper Citation Record · LEDGER

Propositional Logic for Probing Generalization in Neural Networks

As of 7 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.08978.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.08978 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:08:59.895825Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact7
verified fuzzy3
unresolved32
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 95dd4023-7367-494d-b60f-87f951f8e5d6 · outbound

This paper cites Transferring Inductive Biases through Knowledge Distillation.

Propositional Logic for Probing Generalization in Neural Networks Transferring Inductive Biases through Knowledge Distillation

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:53.863144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd20fa18-1ea2-4161-bc85-afcb18cd5fb1 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:54.003478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e09dfe88-4678-4b0f-9417-f0afb44e8727 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:05.138990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fbb43bdc-2b5b-4b45-b6b1-52cf5f223009 · outbound

This paper cites Lamb, Leo de Penning, B.

Propositional Logic for Probing Generalization in Neural Networks Lamb, Leo de Penning, B

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:09:04.914325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5ee9d618-d8c8-4053-8f2c-a1866bab482a · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

Propositional Logic for Probing Generalization in Neural Networks DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:54.532746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42577723-6612-4d74-b404-98191ec69a0b · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:04.494585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 97d61408-053b-4cb6-86e8-bef8f8689bad · outbound

This paper cites Fodor and Zenon W.

Propositional Logic for Probing Generalization in Neural Networks Fodor and Zenon W

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:54.755973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c04d7467-3fc3-451c-8d40-8aa782155ded · outbound

This paper cites Kreber, Markus N.

Propositional Logic for Probing Generalization in Neural Networks Kreber, Markus N

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:09:04.298556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0903750d-b336-45d9-8863-e872f7b3eabc · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:55.051341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dd83d4b-82ef-44b9-90e3-1ddb84fc0e59 · outbound

This paper cites Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition.

Propositional Logic for Probing Generalization in Neural Networks Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:09:01.237886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 471737eb-575f-41dd-9dbc-e87603e6765a · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T05:09:01.043056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0a92e840-0904-4a0d-8c38-271474719d87 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:55.427228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fce4cfcd-488b-4f22-955b-3febe63adfe2 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:55.591747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c3ccb90-ea41-4e1f-91eb-0f0e9904a180 · outbound

This paper cites State-of-the-art generalisation research in NLP: A taxonomy and review.

Propositional Logic for Probing Generalization in Neural Networks State-of-the-art generalisation research in NLP: A taxonomy and review

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:55.692053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc1b7026-f9f0-495e-9243-512108dc317b · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:04.032049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 68a61623-0b5d-455b-b631-6bd77ad9bb0e · outbound

This paper cites Transparency at the Source: Evaluating and Interpreting Language Models With Access to the True Distribution.

Propositional Logic for Probing Generalization in Neural Networks Transparency at the Source: Evaluating and Interpreting Language Models With Access to the True Distribution

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:55.944418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54c7b560-f37c-4d79-8617-15bdfe3bf073 · outbound

This paper cites Negated and Misprimed Probes for Pretrained Language Models: Birds Can Talk, But Cannot Fly.

Propositional Logic for Probing Generalization in Neural Networks Negated and Misprimed Probes for Pretrained Language Models: Birds Can Talk, But Cannot Fly

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:56.083015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c51d857-6a8f-4c6f-af7e-15a99ea24a81 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:56.271506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 405d7ffa-59ca-4054-b514-dabea35a8378 · outbound

This paper cites Semi-Supervised Classification with Graph Convolutional Networks.

Propositional Logic for Probing Generalization in Neural Networks Semi-Supervised Classification with Graph Convolutional Networks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:56.443659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db6e503f-1a54-47c8-b813-f544d074cc7f · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:56.560966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c8f102b-692f-4920-843b-ed97d937058f · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:03.789660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation dd7fc1c2-1db2-42f7-94cd-3a91293d2260 · outbound

This paper cites Lake, Tomer D.

Propositional Logic for Probing Generalization in Neural Networks Lake, Tomer D

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:56.855677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df88c1d7-df53-452e-8700-aca5ba475dde · outbound

This paper cites SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond.

Propositional Logic for Probing Generalization in Neural Networks SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:57.015831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df4e1ae1-cf0f-4101-888f-82d971ec97ef · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T05:09:00.808454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b441f157-e047-4608-a728-4c0e6895940c · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:03.514579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 11a4425f-5264-4422-a422-36988b11994e · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:57.447450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b551e2e-909e-40ff-a1cc-99df8b85a8b9 · outbound

This paper cites Thomas McCoy, Ellie Pavlick, and Tal Linzen.

Propositional Logic for Probing Generalization in Neural Networks Thomas McCoy, Ellie Pavlick, and Tal Linzen

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:09:03.252380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ee5f1057-1385-4871-b8bd-00f9d536a1e2 · outbound

This paper cites Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey.

Propositional Logic for Probing Generalization in Neural Networks Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:57.700850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b0ac152-3108-4221-b354-b3daadcaa692 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 29

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:08:57.841668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5b534f9-25af-4e80-b41b-adec5e09d324 · outbound

This paper cites Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.

Propositional Logic for Probing Generalization in Neural Networks Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:09:01.804517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 163dd785-7147-42a1-84be-7bb71ce8231f · outbound

This paper cites Learning a SAT Solver from Single-Bit Supervision.

Propositional Logic for Probing Generalization in Neural Networks Learning a SAT Solver from Single-Bit Supervision

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:58.129881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcb62853-86f5-4eec-b062-94140a410ec4 · outbound

This paper cites She, Christopher Potts, Samuel R.

Propositional Logic for Probing Generalization in Neural Networks She, Christopher Potts, Samuel R

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T05:09:00.516782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1b825f0a-e57e-4288-97ce-97f33a3ca829 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:02.999922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bb5a20b4-a96a-4d88-8cb8-880e9c31661b · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:58.501315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2af2a327-90ff-456f-a418-e82adbb53b68 · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:58.681825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ef92496-c797-4305-82be-68b928733b0d · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:58.823682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a26205e-346a-4941-a3d9-3996110795bc · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:02.715800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0051c331-16c6-4d17-a550-7692af2be7dc · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 38

Resolution: verified exact; doi, observed 2026-08-07T05:09:00.195791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a7295428-f7aa-4720-8b45-9f1a92d1ba0b · outbound

This paper cites LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models.

Propositional Logic for Probing Generalization in Neural Networks LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:59.362108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6871acf-665c-4233-9767-1976ce24f526 · outbound

This paper cites Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics.

Propositional Logic for Probing Generalization in Neural Networks Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics

Reference 40

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:09:01.449021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c5ca1eb-fe2a-4e1a-86c1-2ab32e089fdd · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:02.413506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9b99b83a-bf49-479b-af0d-da8415c4d78c · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:02.202542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e4a1d03f-6a28-4fff-8b7b-ce73a2f710f7 · outbound

This paper cites On the Paradox of Learning to Reason from Data.

Propositional Logic for Probing Generalization in Neural Networks On the Paradox of Learning to Reason from Data

Reference 43

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:08:59.895825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 862182c2-b2d3-47d4-95a5-df9fcc9cbeab · outbound

This paper cites an unresolved cited work.

Propositional Logic for Probing Generalization in Neural Networks Unresolved cited work

Reference 2022

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:09:04.673833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.