{"as_of":"2026-08-19T18:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fd19ee6e5f260ddbf1e1883a3b9225af76c01b71ebf7e39f3673bd0f9846acd3","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:45:50.146364Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":9,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T14:54:18.678198Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T20:38:55.905658Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2503.09567","last_updated":"2025-07-18T15:57:54Z","snapshot_observed_at":"2026-08-08T22:33:20.124926Z","submitted_at":"2025-03-12T17:35:03Z","title":"Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models","version":5},"reference_index":245,"source":"pdf_text","source_observed_at":"2026-05-12T08:40:40.910461Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2503.09567"},"observation_digest":"sha256:4b677ece35742256f265f2ec2ba669c3e16e24aa63faefaedaec426c3941eab3","observation_id":"8c3e3710-6762-4055-a78f-5ea6c639ec9b","resolution":{"observed_at":"2026-05-12T08:40:41.488064Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2509.08827","last_updated":"2025-10-09T17:08:52Z","snapshot_observed_at":"2026-08-06T15:38:05.011922Z","submitted_at":"2025-09-10T17:59:43Z","title":"A Survey of Reinforcement Learning for Large Reasoning Models","version":3},"reference_index":186,"source":"arxiv_source","source_observed_at":"2026-05-18T00:02:24.352947Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2509.08827"},"observation_digest":"sha256:9b097b2ded2d63c4b570625fa81f898e4fc3e52a0309a24d55ad8dd83d45cda5","observation_id":"7698d29e-1d54-4b0d-9dfe-a39678b756ee","resolution":{"observed_at":"2026-05-18T00:05:31.647914Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2604.05383","last_updated":"2026-04-07T03:30:52Z","snapshot_observed_at":"2026-07-06T22:54:08.897942Z","submitted_at":"2026-04-07T03:30:52Z","title":"Towards Effective In-context Cross-domain Knowledge Transfer via Domain-invariant-neurons-based Retrieval","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T19:31:53.895388Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2604.05383"},"observation_digest":"sha256:134ec28083024a4c71d06c8b0b0a1e09605c922e76372f27acf6aba23c2012e8","observation_id":"bbea605d-7c17-468e-b0b3-0c2454daf9d6","resolution":{"observed_at":"2026-05-10T22:50:49.961788Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2604.17928","last_updated":"2026-04-20T08:09:01Z","snapshot_observed_at":"2026-08-14T00:24:03.820656Z","submitted_at":"2026-04-20T08:09:01Z","title":"HEALing Entropy Collapse: Enhancing Exploration in Few-Shot RLVR via Hybrid-Domain Entropy Dynamics Alignment","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-10T05:23:08.478393Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2604.17928"},"observation_digest":"sha256:7eab8cb157d51a58d0eb1524916e1b95a660e8a62fe0c67c5d2040cc16b58bd6","observation_id":"8b98b741-d42d-4c3e-a965-fb54b0849ccc","resolution":{"observed_at":"2026-05-10T09:23:37.529623Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2605.04330","last_updated":"2026-07-28T13:38:20Z","snapshot_observed_at":"2026-08-15T16:19:57.311930Z","submitted_at":"2026-05-05T22:35:46Z","title":"The Scaling Properties of Implicit Deductive Reasoning in Transformers","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-08T16:56:53.056292Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2605.04330"},"observation_digest":"sha256:d5538c8e2efcd6cba99be4be65f701e4332dc07de93f116b0cc88fb69532d333","observation_id":"5a8ef766-02c3-4502-a8e9-e494f2cbdbfc","resolution":{"observed_at":"2026-05-11T17:56:06.370528Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-08-02T14:54:18.678198Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in LLMs.arXiv preprint arXiv:2506.15211, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.04330","last_updated":"2026-07-28T13:38:20Z","snapshot_observed_at":"2026-08-15T16:19:57.311930Z","submitted_at":"2026-05-05T22:35:46Z","title":"The Scaling Properties of Implicit Deductive Reasoning in Transformers","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-02T14:54:18.678198Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2605.04330"},"observation_digest":"sha256:3a2d43b3891e13f3d360796a014b5ea2b9cb7b12b5240ddbd490b44229dad0b8","observation_id":"ae377bd7-e23c-4e33-8c52-a26ee4049065","resolution":{"observed_at":"2026-08-02T14:54:18.678198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2605.25443","last_updated":"2026-05-25T05:42:57Z","snapshot_observed_at":"2026-08-15T03:37:29.803795Z","submitted_at":"2026-05-25T05:42:57Z","title":"Harmony in Diversity: Multi-domain Contrastive Policy Optimization for Large Reasoning Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-29T22:18:10.508034Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2605.25443"},"observation_digest":"sha256:f5ab96c79fe3dfbe35a99c1a8d9ab356e199c34e62b537ba153c1a61aeb67497","observation_id":"58d407e0-97fa-4b88-b3a9-03be5d5850c3","resolution":{"observed_at":"2026-06-29T22:24:00.450746Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2606.14935","last_updated":"2026-06-19T14:45:30Z","snapshot_observed_at":"2026-08-14T15:17:39.189261Z","submitted_at":"2026-06-12T20:14:51Z","title":"PrologMCP: A Standardized Prolog Tool Interface for LLM Agents","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T04:26:22.116601Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2606.14935"},"observation_digest":"sha256:b4519db2b7974a5958d9e7043fbca2d97c2ddb77635b7a659b6b8abd806a7b36","observation_id":"4fcc97be-5bd1-476d-8ce5-e82d0cb265f9","resolution":{"observed_at":"2026-07-03T17:18:43.261543Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"cited_work":{"arxiv_id":"2506.15211","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.15211","snapshot_observed_at":"2026-07-03T20:38:55.905658Z","title":"Protoreasoning: Prototypes as the foundation for generalizable reasoning in llms","venue":null,"work_id":"99acf4d1-bd61-4f5a-94cf-551a26ed00b3","year":2025},"citing_paper":{"arxiv_id":"2606.18089","last_updated":"2026-07-05T17:40:26Z","snapshot_observed_at":"2026-07-12T13:34:39.011240Z","submitted_at":"2026-06-16T15:55:28Z","title":"From Reasoning Traces to Reusable Modules: Understanding Compositional Generalization in Language Model Reasoning","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-06-27T01:13:11.483599Z"},"links":{"cited_paper":"/paper/2506.15211","citing_paper":"/paper/2606.18089"},"observation_digest":"sha256:7698406cfa66bab51020e7f05abcae3e3169c7d402f8403b5baa7400fc8785ff","observation_id":"3faec7a0-a682-4410-bfac-1abc681f6ce5","resolution":{"observed_at":"2026-07-03T20:38:55.907381Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.15211/citation-record","integrity":"/paper/2506.15211/integrity","json":"/paper/2506.15211/citation-record.json","paper":"/paper/2506.15211"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:45:50.830699Z","title":"International planning competition","venue":null,"work_id":"3dbc4591-7344-49fc-acaf-7366d24bac8a","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.963751Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:f03a9a11c38f6367554d691db1a188ac115e35ef9bed9a31f5db218d133c418f","observation_id":"819069a3-b201-4d28-9abf-3c1f3149f4bb","resolution":{"observed_at":"2026-08-15T19:45:50.835041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.815442Z","title":"URLhttps://artofproblemsolving.com/wiki/index","venue":null,"work_id":"e544d956-a9d3-4006-914c-16e151f314e5","year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.968644Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:686ab7d85baaa3b2f3196c9fc8dc2b3ae14c95a54959f573cbe800b01d905d93","observation_id":"8eeedcf9-648a-4718-abd1-b04c38934106","resolution":{"observed_at":"2026-08-15T19:45:50.820465Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.801413Z","title":"Pddl| the planning domain definition language","venue":null,"work_id":"b70683a5-42af-40a2-921e-266545851442","year":1998},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.973246Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:81a607ba08fac6393aeddb1d926e6d48fcb828d33383167d20161c3392f4f12d","observation_id":"c4f69ccd-f7b8-41c9-afb1-b2e3f8cd1f95","resolution":{"observed_at":"2026-08-15T19:45:50.805902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:49.977941Z","title":"Reliable reasoning beyond natural language.arXiv preprint arXiv:2407.11373, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.977941Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:e0b91a3a0049018573faf1ca88283c08d9ba4f9e7d1451119da492bf6d884b54","observation_id":"4ee6ec31-9c3a-4d95-942e-f73351ada631","resolution":{"observed_at":"2026-08-15T19:45:49.977941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-15T19:45:49.982331Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.982331Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:e54baba05c0d6b7c6e317d2e9bc6195edd071f0d54c652797771267111152a5b","observation_id":"9d5a8a18-740a-4779-9825-8fa302903217","resolution":{"observed_at":"2026-08-15T19:45:49.982331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.09567","last_updated":"2025-07-18T15:57:54Z","snapshot_observed_at":"2026-08-08T22:33:20.124926Z","submitted_at":"2025-03-12T17:35:03Z","title":"Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.09567","snapshot_observed_at":"2026-08-15T19:45:49.986918Z","title":"Towards reasoning era: A survey of long chain-of-thought for reasoning large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.986918Z"},"links":{"cited_paper":"/paper/2503.09567","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:1c898608191e28c53453509395b8a03078df843504062d9d03d33578b9713f22","observation_id":"d66e2d69-4f85-4598-8c63-671273e558d3","resolution":{"observed_at":"2026-08-15T19:45:49.986918Z","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-15T19:45:50.787249Z","title":"Prentice hall Upper Saddle River, 1994","venue":null,"work_id":"2444fb26-bc58-41ca-8aad-aab8cc787848","year":1994},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.991895Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:73d3b8f5eefd79e39233b33beb79c89c896c36c7fd0468dd8f60c7a614c7d825","observation_id":"59dc3eb2-29b4-4080-aca4-0f4c2cc0ba43","resolution":{"observed_at":"2026-08-15T19:45:50.791611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:49.996685Z","title":"Elsevier, 2001","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.996685Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:d537b7aec7fa93832616c84f84da4483be8c94aa7162dc4425d60c83a344ba52","observation_id":"5d709f08-dd4f-4634-b8cf-ceef9823acd3","resolution":{"observed_at":"2026-08-15T19:45:49.996685Z","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-15T19:45:50.000641Z","title":"Pal: Program-aided language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.000641Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:ad4c128c782d9a8d61881f697fb52c18d76bbf82f0141635c75339d693cd5bd6","observation_id":"7ac2f5bf-6219-433b-bac9-9a6e754a5c4f","resolution":{"observed_at":"2026-08-15T19:45:50.000641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-15T12:33:55.451951Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-15T19:45:50.004744Z","title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.arXiv preprint arXiv:2501.12948, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.004744Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:fdae16ad3497baf603770c0d7a452aecb014f10f2fad1cf1529ca56a49f0acc7","observation_id":"774b51d5-41a0-4de6-a8f6-212f76c247e9","resolution":{"observed_at":"2026-08-15T19:45:50.004744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.19381","last_updated":"2025-02-26T03:24:57Z","snapshot_observed_at":"2026-08-16T13:14:31.418830Z","submitted_at":"2024-09-28T15:12:55Z","title":"HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning","version":5},"cited_work":{"arxiv_id":"2409.19381","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.19381","snapshot_observed_at":"2026-08-15T19:45:50.414832Z","title":"HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning","venue":"cs.CL","work_id":"1be72d96-20cb-471f-a59d-2ee47f1a2cb7","year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.009077Z"},"links":{"cited_paper":"/paper/2409.19381","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:3be6550307e71b12dca419e26c8e18000207bae0b4a24dc4d6b508c97f069ec3","observation_id":"9723c1a3-e9d9-48d6-a10f-2d2cab24222a","resolution":{"observed_at":"2026-08-15T19:45:50.421587Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.754130Z","title":null,"venue":null,"work_id":"1c8f5e34-e671-492e-845c-b8ea629f2a7c","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.013976Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:003054ce801512a1b9008073ea3369cb17dbd0505d1679da7943abc065656aa3","observation_id":"27e51599-ac71-4079-8098-c8ed705475d7","resolution":{"observed_at":"2026-08-15T19:45:50.758406Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03300","last_updated":"2021-01-12T18:57:11Z","snapshot_observed_at":"2026-08-13T20:44:28.824685Z","submitted_at":"2020-09-07T17:59:25Z","title":"Measuring Massive Multitask Language Understanding","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03300","snapshot_observed_at":"2026-08-15T19:45:50.022477Z","title":"Measuring massive multitask language understanding, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.022477Z"},"links":{"cited_paper":"/paper/2009.03300","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:5d0e3b42367f303dc08aee5fbfa7ffa53b6c9ddb05f2be891a67afab26582e78","observation_id":"8142664f-11fb-4db8-9e4e-373e67d9f050","resolution":{"observed_at":"2026-08-15T19:45:50.022477Z","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-15T19:45:50.740169Z","title":"Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl","venue":null,"work_id":"6dbd2258-f2e9-4b9b-a9c6-482ead002b39","year":2004},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.027060Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:3dbd87964671c3c3b480e349131a8a0c2d7853cd6c924e876f9c2562cceba1e7","observation_id":"d5e95514-a41b-4f03-876d-cf827c48bc48","resolution":{"observed_at":"2026-08-15T19:45:50.744747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.21321","last_updated":"2025-03-24T09:34:38Z","snapshot_observed_at":"2026-08-16T12:54:10.475592Z","submitted_at":"2025-02-28T18:59:54Z","title":"LLM Post-Training: A Deep Dive into Reasoning Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.21321","snapshot_observed_at":"2026-08-15T19:45:50.031110Z","title":"Llm post-training: A deep dive into reasoning large language models.arXiv preprint arXiv:2502.21321, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.031110Z"},"links":{"cited_paper":"/paper/2502.21321","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:70820d2b7befd2ccb9546228a6a443701df4fbaddf1fd644878add5187963b54","observation_id":"3240855a-6833-4a8d-8996-36fa291d3aad","resolution":{"observed_at":"2026-08-15T19:45:50.031110Z","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-15T19:45:50.035613Z","title":"Learning to reason with llms, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.035613Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:4cead5c6febe8304c45e694815faa6684623b12ef440b6fd204eaa6e2a4bd416","observation_id":"6db0cdfa-20d9-4ccf-8516-f51378ae5d65","resolution":{"observed_at":"2026-08-15T19:45:50.035613Z","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-15T19:45:50.717259Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":"5a513838-5e07-4cb4-9760-e96000edf231","year":2023},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.039722Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:c200cf8b8430c754f54d1f05752fe7d2679aed44d12877d12d32f0f013b88db1","observation_id":"37d6aa52-d592-4122-846d-62f07262cdae","resolution":{"observed_at":"2026-08-15T19:45:50.721762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-08-17T18:50:07.059564Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-15T19:45:50.043822Z","title":"Qwen2.5 technical report, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.043822Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:172eb2d793dae1333512d7fdacaafd525c0ed49b2425ad04d3db45bba15161ce","observation_id":"a946ca28-f4ec-4f2e-aa5f-ff95a626f690","resolution":{"observed_at":"2026-08-15T19:45:50.043822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-08-15T20:26:32.102285Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-15T19:45:50.048320Z","title":"Proximal policy optimization algorithms","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.048320Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:6389238d368e20aa96962387a0e5c40280de257f3d1d5462c2e62f78bdbd6a4e","observation_id":"db4ed22d-ee92-4bca-8c6d-8f045d2994c5","resolution":{"observed_at":"2026-08-15T19:45:50.048320Z","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-15T19:45:50.052477Z","title":"Seed-thinking-v1","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.052477Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:2810ac138d16a697cd869668dec9b9a8463b28319db8a110627f8f587d3c7ed2","observation_id":"31391851-489a-4b7a-b197-bc603c4f643f","resolution":{"observed_at":"2026-08-15T19:45:50.052477Z","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-15T19:45:50.056527Z","title":"PDDL generators.https://doi.org/10.5281/zenodo","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.056527Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:b2f6388ce11dc1da2e8258a31fcfb91cfd7efbb812fa4fd76610e74739e9a8ca","observation_id":"4eac2266-9518-4aee-b4e8-13b53a326645","resolution":{"observed_at":"2026-08-15T19:45:50.056527Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-08-06T14:58:42.911363Z","submitted_at":"2024-02-05T18:55:32Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-15T19:45:50.060778Z","title":"Deepseekmath: Pushing the limits of mathematical reasoning in open language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.060778Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:fc0a270b8e4da794439490ddb1e72a3090f17bd07ced38cb6fc446117567417e","observation_id":"d337e454-418c-41c9-abd0-ae28e69e9eaa","resolution":{"observed_at":"2026-08-15T19:45:50.060778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12599","last_updated":"2025-06-03T02:14:54Z","snapshot_observed_at":"2026-08-15T22:38:53.825110Z","submitted_at":"2025-01-22T02:48:14Z","title":"Kimi k1.5: Scaling Reinforcement Learning with LLMs","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12599","snapshot_observed_at":"2026-08-15T19:45:50.065395Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.065395Z"},"links":{"cited_paper":"/paper/2501.12599","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:8f3b486eb79ea9bb98ea15df7fcd4fa087505eac320befe5a1fca657e9dc6772","observation_id":"6dc7d790-9d6b-40f5-9ffa-2d8b4ad81c93","resolution":{"observed_at":"2026-08-15T19:45:50.065395Z","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-15T19:45:50.702812Z","title":"Nexusraven-v2: Surpassing gpt-4 for zero-shot function calling, 2023","venue":null,"work_id":"0c9def34-5a44-4404-b940-dcadd2e89e80","year":2023},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.069913Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:1baf835c8fb2b91f532c17d7b0a09a5bbe9810f5a907d0f09c224974d337fe66","observation_id":"edd3f8f3-9041-433a-b552-7e05370b45a6","resolution":{"observed_at":"2026-08-15T19:45:50.707524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.074134Z","title":"Chain-of-thought prompting elicits reasoning in large language models.Advancesin neural information processing systems, 35:24824–24837, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.074134Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:793754f4d1dbc6ad6f895ef34c21a9df025f93ee4600fb393825df1bd05a3b3b","observation_id":"886af5a8-a250-4035-af6b-c43da37aec7f","resolution":{"observed_at":"2026-08-15T19:45:50.074134Z","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-15T19:45:50.679732Z","title":"Swi-prolog and the web.Theory and practice of logic programming, 8(3):363–392, 2008","venue":null,"work_id":"49ead502-9fea-4581-9213-663e5e172a1c","year":2008},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.078089Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:43576602efc142bec68afee5f80375a5e57e81d74f7ef474e7c1324e10da21bc","observation_id":"db239e65-294b-4597-ad99-1dbe13c5ad9f","resolution":{"observed_at":"2026-08-15T19:45:50.684504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.666582Z","title":"Swi-prolog.Theory and Practice of Logic Programming, 12(1-2):67–96, 2012","venue":null,"work_id":"ff7734bf-380a-48a4-b4ab-62defc88dcfd","year":2012},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.082203Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:70f4303dba6ad9f63060f7c8def8575bd8cfbd11e82a3e4f208db4d82994bcf9","observation_id":"3cc3f9ed-9e86-4e37-a326-31183860e6af","resolution":{"observed_at":"2026-08-15T19:45:50.670902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.653026Z","title":"On memorization of large language models in logical reasoning","venue":null,"work_id":"c540c670-96bf-48f9-a682-1d201401e255","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.086039Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:9a1132e300df8888630c9e46905aa541ca7e73ad16b8294738a65f5cd2972fb2","observation_id":"d891dc48-79f6-43d3-b596-ea99b68c5f1e","resolution":{"observed_at":"2026-08-15T19:45:50.657630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.090326Z","title":"Logic-rl: Unleashing llm reasoning with rule-based reinforcement learning.arXiv preprint arXiv:2502.14768, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.090326Z"},"links":{"cited_paper":"/paper/2502.14768","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:986da5f63ccb78f58bde232cbee36ac4e18b85526019b4466725ea29a059a3a7","observation_id":"8c3bfcd9-6721-4492-9bb6-ae174b0f67c1","resolution":{"observed_at":"2026-08-15T19:45:50.090326Z","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-15T19:45:50.094745Z","title":"Qwen3 technical report.arXiv preprint arXiv:2505.09388, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.094745Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:c688489f3305ded646f0d5e2735c4217cb53ed14249a059b3024875faff760bb","observation_id":"829c0aff-4a38-4d10-8695-a3b04c60848e","resolution":{"observed_at":"2026-08-15T19:45:50.094745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06772","last_updated":"2025-03-11T02:46:19Z","snapshot_observed_at":"2026-08-17T07:19:35.020898Z","submitted_at":"2025-02-10T18:51:47Z","title":"ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06772","snapshot_observed_at":"2026-08-15T19:45:50.098856Z","title":"Reasonflux: Hierarchical llm reasoning via scaling thought templates","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.098856Z"},"links":{"cited_paper":"/paper/2502.06772","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:c616dc852a9da1cf6a6cfaed6ae611d4cbd092e76ccc54223caede61e19a2a78","observation_id":"d97ae74f-0e6a-4e09-afae-9f81028565f6","resolution":{"observed_at":"2026-08-15T19:45:50.098856Z","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-15T19:45:50.639208Z","title":"Arithmetic reasoning with llm: Prolog generation & permutation","venue":null,"work_id":"cb1b09ae-e390-47e2-94cf-687188a9421e","year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.103100Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:07d8ba908179c330f9087893b8c01fae7b7c049e497a5b4551bb1d371709a007","observation_id":"8878382b-3dd8-4836-bd9b-bbe338d8fe02","resolution":{"observed_at":"2026-08-15T19:45:50.643513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.625058Z","title":"Satlm: Satisfiability-aided language models using declarative prompting","venue":null,"work_id":"e58bc934-e7a3-4164-9b1c-02b2f0874338","year":2023},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.107134Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:07b2ab0c354f078d36747117db78b77b4d9cf214483a4519c0a35667976979eb","observation_id":"0ac0a848-2ba0-4e18-ba8d-225719edbe3c","resolution":{"observed_at":"2026-08-15T19:45:50.629726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.14476","last_updated":"2025-05-20T01:37:34Z","snapshot_observed_at":"2026-08-18T05:01:20.543826Z","submitted_at":"2025-03-18T17:49:06Z","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.14476","snapshot_observed_at":"2026-08-15T19:45:50.111555Z","title":"Dapo: An open-source llm reinforcement learning system at scale.arXiv preprint arXiv:2503.14476, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.111555Z"},"links":{"cited_paper":"/paper/2503.14476","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:1e4fc34160a6df69dcbda8359eb02d75ab8eaea84ca0b9d638a2fab9837d6531","observation_id":"97994574-6b0e-48af-a198-aa6829222efc","resolution":{"observed_at":"2026-08-15T19:45:50.111555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15817","last_updated":"2025-06-09T21:22:15Z","snapshot_observed_at":"2026-08-15T10:16:02.613066Z","submitted_at":"2025-05-21T17:59:54Z","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15817","snapshot_observed_at":"2026-08-15T19:45:50.116030Z","title":"Learning to reason via mixture-of- thought for logical reasoning.arXiv preprint arXiv:2505.15817, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.116030Z"},"links":{"cited_paper":"/paper/2505.15817","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:7a5a92cc999ba31ce86e97e6bd80d29dbdeb4ab6b45af3700d3b19b5c0e43b30","observation_id":"82ab0175-1988-4299-bf8c-e383ff305144","resolution":{"observed_at":"2026-08-15T19:45:50.116030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.18120","last_updated":"2024-03-26T22:01:13Z","snapshot_observed_at":"2026-08-18T21:01:37.980645Z","submitted_at":"2024-03-26T22:01:13Z","title":"Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.18120","snapshot_observed_at":"2026-08-15T19:45:50.120233Z","title":"Don’t trust: Verify–grounding llm quantitative reasoning with autoformalization.arXiv preprint arXiv:2403.18120, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.120233Z"},"links":{"cited_paper":"/paper/2403.18120","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:d383ecc0425dcaff6736113e61e977e28f5453e5f495a8e0c1fc1a36926530fc","observation_id":"428f32a4-dc5f-481a-9960-9bbd1e858c5b","resolution":{"observed_at":"2026-08-15T19:45:50.120233Z","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-15T19:45:50.610632Z","title":null,"venue":null,"work_id":"9b78277a-85a2-4ecc-8a95-61e9e53bfe49","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.125022Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:4cdc97cfa1a177384275913ddfdbd7633be375fed2e56dd851f93085b5206b99","observation_id":"23e0d614-6dba-4187-83b1-5d26c01c5d0b","resolution":{"observed_at":"2026-08-15T19:45:50.615431Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.595486Z","title":"result”: “No valid solution found","venue":null,"work_id":"423949b0-644e-41bb-9d68-bfb6f9bc7e98","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.129370Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:5a9e4d3d856a64f5ae1050b3a9e457c3122a7a680c81cc231e1b1d659cf8cce2","observation_id":"6a12c092-23e3-4f5d-a737-eb8d42a9a0f6","resolution":{"observed_at":"2026-08-15T19:45:50.599975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.581690Z","title":null,"venue":null,"work_id":"239ad03d-a91c-4e5c-b368-be5dce8bac08","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.133801Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:c122a1c263b11cf2f04f780e7b592765a5172f13e6c84083478852232740de95","observation_id":"874152ec-c35f-4e60-915d-30ad3295d39e","resolution":{"observed_at":"2026-08-15T19:45:50.585825Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.567429Z","title":"result”: “No valid solution found","venue":null,"work_id":"c06b2693-353b-4601-97a6-779b7a9789de","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.137932Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:e4faae487a4cac745f13d71eae9f7e55d0f60d3b6ec8c40a997a0daa03fbbd11","observation_id":"90032a2e-66ab-48fb-b5c6-9a97731cb6b4","resolution":{"observed_at":"2026-08-15T19:45:50.572199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.553094Z","title":null,"venue":null,"work_id":"1e2950bf-cdeb-4436-b83f-43618d04f894","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.142142Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:27cde84486b678ef74ff61266177c712e378d56b0bb0160a575a6e26724c53ee","observation_id":"35b31971-583d-4243-b315-2eb9b924bc3f","resolution":{"observed_at":"2026-08-15T19:45:50.557639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.538690Z","title":"what\" (problem definition) rather than the","venue":null,"work_id":"00b6a3ba-fea4-48e1-adaa-b6763c467e43","year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.146364Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:4ac0274e6b6166870693af214fbb79570ad68293497f82da224f118a657d4c57","observation_id":"cd4d271d-c271-4f84-bea9-552b31f2703a","resolution":{"observed_at":"2026-08-15T19:45:50.543467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:45:50.018128Z","title":"doi: 10.1613/jair.1705","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:50.018128Z"},"links":{"citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:732cba7c3641a131a19da19cabf553f179202f50c13b2bd5d56ba6eec38ef599","observation_id":"7c153831-d1a7-4c86-b86f-860318272b96","resolution":{"observed_at":"2026-08-15T19:45:50.018128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-18T21:06:09.507963Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":1,"verified_fuzzy":15},"total_outbound_references":43},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"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."}