Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:45:50.146364Z
Paper Citation Record · LEDGER
As of 19 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 9 inbound Pith citation observations for arXiv:2506.15211.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:45:50.146364Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T14:54:18.678198Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-03T20:38:55.905658Z
43 of 43 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 819069a3-b201-4d28-9abf-3c1f3149f4bb · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs International planning competition
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8eeedcf9-648a-4718-abd1-b04c38934106 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs URLhttps://artofproblemsolving.com/wiki/index
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c4f69ccd-f7b8-41c9-afb1-b2e3f8cd1f95 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Pddl| the planning domain definition language
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4ee6ec31-9c3a-4d95-942e-f73351ada631 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Reliable reasoning beyond natural language.arXiv preprint arXiv:2407.11373, 2024
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d5a8a18-740a-4779-9825-8fa302903217 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d66e2d69-4f85-4598-8c63-671273e558d3 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59dc3eb2-29b4-4080-aca4-0f4c2cc0ba43 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Prentice hall Upper Saddle River, 1994
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 5d709f08-dd4f-4634-b8cf-ceef9823acd3 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Elsevier, 2001
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ac2f5bf-6219-433b-bac9-9a6e754a5c4f · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Pal: Program-aided language models
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 774b51d5-41a0-4de6-a8f6-212f76c247e9 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9723c1a3-e9d9-48d6-a10f-2d2cab24222a · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 27e51599-ac71-4079-8098-c8ed705475d7 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8142664f-11fb-4db8-9e4e-373e67d9f050 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Measuring Massive Multitask Language Understanding
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5e95514-a41b-4f03-876d-cf827c48bc48 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3240855a-6833-4a8d-8996-36fa291d3aad · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs LLM Post-Training: A Deep Dive into Reasoning Large Language Models
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6db0cdfa-20d9-4ccf-8516-f51378ae5d65 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Learning to reason with llms, 2024
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37d6aa52-d592-4122-846d-62f07262cdae · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a946ca28-f4ec-4f2e-aa5f-ff95a626f690 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Qwen2.5 Technical Report
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db4ed22d-ee92-4bca-8c6d-8f045d2994c5 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Proximal Policy Optimization Algorithms
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31391851-489a-4b7a-b197-bc603c4f643f · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Seed-thinking-v1
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4eac2266-9518-4aee-b4e8-13b53a326645 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs PDDL generators.https://doi.org/10.5281/zenodo
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d337e454-418c-41c9-abd0-ae28e69e9eaa · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6dc7d790-9d6b-40f5-9ffa-2d8b4ad81c93 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Kimi k1.5: Scaling Reinforcement Learning with LLMs
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation edd3f8f3-9041-433a-b552-7e05370b45a6 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Nexusraven-v2: Surpassing gpt-4 for zero-shot function calling, 2023
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 886af5a8-a250-4035-af6b-c43da37aec7f · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Chain-of-thought prompting elicits reasoning in large language models.Advancesin neural information processing systems, 35:24824–24837, 2022
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db239e65-294b-4597-ad99-1dbe13c5ad9f · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Swi-prolog and the web.Theory and practice of logic programming, 8(3):363–392, 2008
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3cc3f9ed-9e86-4e37-a326-31183860e6af · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Swi-prolog.Theory and Practice of Logic Programming, 12(1-2):67–96, 2012
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d891dc48-79f6-43d3-b596-ea99b68c5f1e · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs On memorization of large language models in logical reasoning
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8c3bfcd9-6721-4492-9bb6-ae174b0f67c1 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 829c0aff-4a38-4d10-8695-a3b04c60848e · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Qwen3 Technical Report
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d97ae74f-0e6a-4e09-afae-9f81028565f6 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8878382b-3dd8-4836-bd9b-bbe338d8fe02 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Arithmetic reasoning with llm: Prolog generation & permutation
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0ac0a848-2ba0-4e18-ba8d-225719edbe3c · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Satlm: Satisfiability-aided language models using declarative prompting
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 97994574-6b0e-48af-a198-aa6829222efc · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs DAPO: An Open-Source LLM Reinforcement Learning System at Scale
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82ab0175-1988-4299-bf8c-e383ff305144 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Learning to Reason via Mixture-of-Thought for Logical Reasoning
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 428f32a4-dc5f-481a-9960-9bbd1e858c5b · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23e0d614-6dba-4187-83b1-5d26c01c5d0b · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6a12c092-23e3-4f5d-a737-eb8d42a9a0f6 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs result”: “No valid solution found
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 874152ec-c35f-4e60-915d-30ad3295d39e · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 90032a2e-66ab-48fb-b5c6-9a97731cb6b4 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs result”: “No valid solution found
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 35b31971-583d-4243-b315-2eb9b924bc3f · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation cd4d271d-c271-4f84-bea9-552b31f2703a · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs what" (problem definition) rather than the
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7c153831-d1a7-4c86-b86f-860318272b96 · outbound
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs doi: 10.1613/jair.1705
Reference 2006
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c3e3710-6762-4055-a78f-5ea6c639ec9b · inbound
Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 245
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7698d29e-1d54-4b0d-9dfe-a39678b756ee · inbound
A Survey of Reinforcement Learning for Large Reasoning Models ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 186
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bbea605d-7c17-468e-b0b3-0c2454daf9d6 · inbound
Towards Effective In-context Cross-domain Knowledge Transfer via Domain-invariant-neurons-based Retrieval ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8b98b741-d42d-4c3e-a965-fb54b0849ccc · inbound
HEALing Entropy Collapse: Enhancing Exploration in Few-Shot RLVR via Hybrid-Domain Entropy Dynamics Alignment ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 5a8ef766-02c3-4502-a8e9-e494f2cbdbfc · inbound
The Scaling Properties of Implicit Deductive Reasoning in Transformers ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 67
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ae377bd7-e23c-4e33-8c52-a26ee4049065 · inbound
The Scaling Properties of Implicit Deductive Reasoning in Transformers ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 67
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 58d407e0-97fa-4b88-b3a9-03be5d5850c3 · inbound
Harmony in Diversity: Multi-domain Contrastive Policy Optimization for Large Reasoning Models ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4fcc97be-5bd1-476d-8ce5-e82d0cb265f9 · inbound
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3faec7a0-a682-4410-bfac-1abc681f6ce5 · inbound
From Reasoning Traces to Reusable Modules: Understanding Compositional Generalization in Language Model Reasoning ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Reference 93
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.