{"as_of":"2026-08-09T12:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:611b002f869574b2a2a5ec60ed4d23d7da0bd08a094f2b68fabb106abbbda03b","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-21T18:31:46.510611Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T21:56:44.562418Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-06-30T11:14:37.246261Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.19078","snapshot_observed_at":"2026-08-02T21:56:44.562418Z","title":"6 Jannis Limperg and Asta Halkjær From","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18767","last_updated":"2026-06-30T17:26:18Z","snapshot_observed_at":"2026-08-09T12:12:11.707907Z","submitted_at":"2026-02-21T09:12:51Z","title":"Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T21:56:44.562418Z"},"links":{"cited_paper":"/paper/2511.19078","citing_paper":"/paper/2602.18767"},"observation_digest":"sha256:108175877039444b431ebf9b6e97354626e2fd89529cd7f573c69835b6fe371f","observation_id":"2909d057-3908-44e3-ac31-099e82b2e647","resolution":{"observed_at":"2026-08-02T21:56:44.562418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"cited_work":{"arxiv_id":"2511.19078","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.19078","snapshot_observed_at":"2026-06-30T11:14:37.246261Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","venue":"cs.CL","work_id":"9fe855a1-e7c4-4145-a356-3ecbf555d032","year":2025},"citing_paper":{"arxiv_id":"2606.08831","last_updated":"2026-06-28T05:39:45Z","snapshot_observed_at":"2026-08-06T13:58:14.129942Z","submitted_at":"2026-06-07T20:52:10Z","title":"Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2511.19078","citing_paper":"/paper/2606.08831"},"observation_digest":"sha256:50741b5f2c540741871504478f13d24c92938a05083016078f5b7ada34b1be8b","observation_id":"84f9f371-380f-4433-a35a-bf282dec1170","resolution":{"observed_at":"2026-06-27T18:31:08.070946Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"cited_work":{"arxiv_id":"2511.19078","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.19078","snapshot_observed_at":"2026-06-30T11:14:37.246261Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","venue":"cs.CL","work_id":"9fe855a1-e7c4-4145-a356-3ecbf555d032","year":2025},"citing_paper":{"arxiv_id":"2606.08831","last_updated":"2026-06-28T05:39:45Z","snapshot_observed_at":"2026-08-06T13:58:14.129942Z","submitted_at":"2026-06-07T20:52:10Z","title":"Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2511.19078","citing_paper":"/paper/2606.08831"},"observation_digest":"sha256:9a818369459e37ddc16c3c5fb2a53b1be0b484f0508768d9df800e2329881aa4","observation_id":"6d5dca4c-4c1e-42f5-b530-afa6ee404a41","resolution":{"observed_at":"2026-06-30T11:14:37.247907Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2511.19078/citation-record","integrity":"/paper/2511.19078/integrity","json":"/paper/2511.19078/citation-record.json","paper":"/paper/2511.19078"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.07106","last_updated":"2025-07-31T09:33:35Z","snapshot_observed_at":"2026-08-07T05:39:47.560418Z","submitted_at":"2025-06-08T12:28:38Z","title":"Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models","version":2},"cited_work":{"arxiv_id":"2506.07106","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.07106","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"180c9637-c967-4a9b-8a27-3317acf0a4f7","year":2025},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2506.07106","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:4a9d99ecae092c8961aa66e1228ca2627fe2f961dee1f0fd1a58a89308d8dccc","observation_id":"779f377c-83f4-4636-99ce-7a3717bd0aad","resolution":{"observed_at":"2026-05-21T18:34:17.953273Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bd4d7bac-0324-4baa-88f7-d96abf874c28","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:1644e5474f820cc1846ce2f674befe0ab2a35033edde7a393b6c3a1daf5e9b87","observation_id":"3b53b61c-39ab-4a36-b9b1-2b1033ec64b3","resolution":{"observed_at":"2026-05-21T18:34:18.525274Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"83f44211-09ba-4840-9368-f1a4ea7ed925","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:c95e6f85e0133d3b7423cab7ee3ebfc4f87c76884d1f7fd000d89a7c2a802ac5","observation_id":"d0802a44-181c-4fe7-90d1-779cc5046fbc","resolution":{"observed_at":"2026-05-21T18:34:18.527374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"85322d80-9444-471b-a492-744b661cd472","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:1054beb1f12c51ed159cc892c0faa3faea3c146505a3629556d79e3d9cd1433d","observation_id":"6621e6a0-8197-476e-9dea-d71e8dced4a0","resolution":{"observed_at":"2026-05-21T18:34:18.529526Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"828eaa2c-90bb-423a-bb2a-4490f125a98d","year":2021},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:1805cc2cfa399f64eb70af8bf9c08880d50c67358ca17940c04f6a80e3829988","observation_id":"75e80f71-7d08-4a8d-81b0-e89451a1b581","resolution":{"observed_at":"2026-05-21T18:34:18.545233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":"2110.14168","doi":"10.1002/j.1545-","metadata_source":"pith","pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Training Verifiers to Solve Math Word Problems","venue":"cs.LG","work_id":"acab1aa8-b4d6-40e0-a3ee-25341701dca2","year":2021},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:0937d71aa419da7091565ccf6d0cccdb0c35a32a9e320d2528ecae1a767aaaa8","observation_id":"7ed88a64-5841-4500-91bf-53c91300aa63","resolution":{"observed_at":"2026-05-21T18:34:17.961241Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f43884bd-4df5-4265-8866-aae05ff2e79c","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:7731239fbcceab47884103fd8643478438b961f379ca7b857d4903e7c26bdf79","observation_id":"2a2f1f5d-51fb-4b8f-a49d-fc0103df2bea","resolution":{"observed_at":"2026-05-21T18:34:18.517873Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"38ec6494-7411-4c29-95c2-85b216bb3503","year":null},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:8b2edd848a452abca743fb89ad591e29a8fded12d2a874119e91889aec7edb16","observation_id":"da667ddb-617f-4720-8e75-2966ccc9cd2c","resolution":{"observed_at":"2026-05-21T18:34:18.501320Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":"InProceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","venue":null,"work_id":"b897168a-0bec-41ca-8a35-eee7ce9c1cf1","year":null},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:b48979a56418b2397705bbf3b310e487e89a5ad4098b70f8261e48783535c05f","observation_id":"225356bf-2e29-49d0-86ad-4c0da6695f66","resolution":{"observed_at":"2026-05-21T18:34:18.507453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4ea3bf18-d634-4513-b407-0ce8fcfd3b1d","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:af1a109cf3e121c52f34e66f006d94303a5c4f63876692b8cf667527b24591cb","observation_id":"8f8fc354-7767-4454-94c8-8435906fd91e","resolution":{"observed_at":"2026-05-21T18:34:18.514352Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6812ac7e-7bfd-4b06-a264-1fef201e7b0c","year":2021},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:b81f252afb041a56f522655c93805a7dd25d2113e5312298e5eeab692f9e6bd6","observation_id":"ed85de8c-dfce-4e4b-ba0a-e97c9f3582c2","resolution":{"observed_at":"2026-05-21T18:34:18.520374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.10823","last_updated":"2021-05-22T22:46:59Z","snapshot_observed_at":"2026-07-06T11:11:55.068209Z","submitted_at":"2021-05-22T22:46:59Z","title":"High Dimensional Robust Consensus over Networks with Limited Capacity","version":1},"cited_work":{"arxiv_id":"2105.10823","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.10823","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7cd09a61-c899-430d-b364-c47969911462","year":2021},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2105.10823","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:32eac69ded9206f4130a3120b48eee8409a61b93d0cc7b00e0c552d7a01dd85c","observation_id":"f9e62fb5-fd2d-4091-aefd-d63abc248e29","resolution":{"observed_at":"2026-05-21T18:34:17.974842Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":"2410.21276","doi":"10.1177/15248380231178756","metadata_source":"pith","pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GPT-4o System Card","venue":"cs.CL","work_id":"f37bf1c7-4964-4e56-9762-d20da8d9009f","year":2024},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:8667a77bd4d716180fc3067f72fa16207b51b33b0c365f1225a0ff9374f694c4","observation_id":"01e4cb2e-1a46-42cb-8174-8be70dbe1849","resolution":{"observed_at":"2026-05-21T18:34:17.964374Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"add94357-234d-4016-84af-e06ae0343be6","year":2024},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:f8fce620c8b42fe54c4514bac7dd8c7675bc4182df78dd428964dd11160152c8","observation_id":"7026a9c9-83ec-4765-9f9a-3ee8484ab0f9","resolution":{"observed_at":"2026-05-21T18:34:18.512066Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.11916","last_updated":"2023-01-29T05:14:17Z","snapshot_observed_at":"2026-08-07T04:02:08.445660Z","submitted_at":"2022-05-24T09:22:26Z","title":"Large Language Models are Zero-Shot Reasoners","version":4},"cited_work":{"arxiv_id":"2205.11916","doi":"10.48550/arxiv.2205.11916","metadata_source":"pith","pith_arxiv_id":"2205.11916","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Large Language Models are Zero-Shot Reasoners","venue":"cs.CL","work_id":"d9b7eb1a-7165-46ff-9f06-d2f0b9d6f95d","year":2022},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2205.11916","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:5632473d2e5c50b0bae375dceac28a654fd0510cd9d4d3353bd8806d2dbd21e1","observation_id":"a8dd831a-452f-4eac-835b-2a900001023f","resolution":{"observed_at":"2026-05-21T18:34:17.941719Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2005.11401","last_updated":"2021-04-12T15:42:18Z","snapshot_observed_at":"2026-08-07T05:44:30.677502Z","submitted_at":"2020-05-22T21:34:34Z","title":"Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks","version":4},"cited_work":{"arxiv_id":"2005.11401","doi":"10.1145/3626772.3657717","metadata_source":"pith","pith_arxiv_id":"2005.11401","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks","venue":"cs.CL","work_id":"27eaec54-c105-4969-8188-da5f0fca3688","year":2020},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2005.11401","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:a3e70799dba7ec6ed46e7a5bdd50a925c5efb5f5ec071e922ec55c58dd668e61","observation_id":"4f855756-1398-4415-990a-3e3dc4be03ea","resolution":{"observed_at":"2026-05-21T18:34:17.934388Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.14858","last_updated":"2022-07-01T02:15:12Z","snapshot_observed_at":"2026-08-05T15:41:22.691461Z","submitted_at":"2022-06-29T18:54:49Z","title":"Solving Quantitative Reasoning Problems with Language Models","version":2},"cited_work":{"arxiv_id":"2206.14858","doi":"10.48550/arxiv.2206.14858","metadata_source":"pith","pith_arxiv_id":"2206.14858","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Solving Quantitative Reasoning Problems with Language Models","venue":"cs.CL","work_id":"17214d12-1ca8-4186-806d-53c6715383a0","year":2022},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2206.14858","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:094135045dbcf2466adb8f91ad9d7a56d866955fa00c7cf28f91d2f1b79a7691","observation_id":"30ed0407-feea-4758-b574-f82ca49c3b9a","resolution":{"observed_at":"2026-05-21T18:34:17.971557Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-08T21:08:08.21276+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T21:08:08.21276+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"56004079-d148-4afd-86d1-1a920c9a801c","year":2024},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:8f33585218dd933248fabe08bcd7f6bd446bc1d54188f58759d9a7e4a465b953","observation_id":"843065bb-ba06-4d82-84a6-dc62c6d72d3e","resolution":{"observed_at":"2026-05-21T18:34:18.539900Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"77ae2b29-4fde-4b59-9e10-ef21863bb4cc","year":2018},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:447302c177e677c809085e7af54a2bc920ff5ac1a074ff2be7ec3555dcb49afa","observation_id":"3c75b3c1-f145-413b-b2d9-ef1f192109f3","resolution":{"observed_at":"2026-05-21T18:34:18.537586Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":"2303.08774","doi":"10.1002/tea.20265","metadata_source":"pith","pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GPT-4 Technical Report","venue":"cs.CL","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:723b99b196cdacfe2f7035abfa3867009696dde543e9f07945b20e1e7831f3a8","observation_id":"67eae951-c950-469c-a9d5-8683a5eadc3f","resolution":{"observed_at":"2026-05-21T18:34:17.967842Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15427","last_updated":"2023-12-28T21:14:01Z","snapshot_observed_at":"2026-07-06T16:24:13.993802Z","submitted_at":"2023-09-27T06:33:29Z","title":"Graph Neural Prompting with Large Language Models","version":2},"cited_work":{"arxiv_id":"2309.15427","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2309.15427","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"112a3e92-4d23-45e0-a3ac-a33ebdd14c61","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2309.15427","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:bfbfcc13c26c99439c2d46b9acd9b9f3c84b3c9d67706264ff5ffe755cf0d8b6","observation_id":"409a880e-031e-4be1-866e-44695bc0063d","resolution":{"observed_at":"2026-05-21T18:34:17.948909Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"412948c8-7fb3-4009-8ab6-c8102dfcf6fa","year":null},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:f6901ca2a00ff93563743d564bf175b577fee8321e31b10f13ffb6c673c5d6eb","observation_id":"82900e71-a856-4c1b-95cd-298e740f3793","resolution":{"observed_at":"2026-05-21T18:34:18.543153Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-07-06T12:50:22.773056Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":"2203.11171","doi":"10.1101/2025.04.03.646459","metadata_source":"pith","pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","venue":"cs.CL","work_id":"8c6d5a6b-b5cc-4105-9c84-9c34bb9375bb","year":2022},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:df6fd361b55e175b15d9a8b271c1ee5a4655bdba85a38eb48dea60df0d45e3fc","observation_id":"c05b89af-87d0-4a52-8cd8-d9972cbfc67c","resolution":{"observed_at":"2026-05-21T18:34:17.949281Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-21T18:52:42.88633+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T18:52:42.88633+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":"2201.11903","doi":"10.48550/arxiv.2201.11903","metadata_source":"pith","pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","venue":"cs.CL","work_id":"d1cf6693-a082-403c-ada9-dac7b96341f9","year":2022},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:e8c61f6050ed4ad46f36efb35e4fadebf9e9e0948ea34816d8f5ac737fb48b8a","observation_id":"78311683-7081-4951-9888-7d6d1739b568","resolution":{"observed_at":"2026-05-21T18:34:17.945681Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-04T01:08:13.648188+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:08:13.648188+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14342","last_updated":"2024-03-05T17:07:16Z","snapshot_observed_at":"2026-08-08T09:25:28.224090Z","submitted_at":"2023-05-23T17:59:21Z","title":"Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training","version":4},"cited_work":{"arxiv_id":"2305.14342","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.14342","snapshot_observed_at":"2026-07-09T17:36:25.374536Z","title":"Sophia: A scalable stochastic second-order optimizer for language model pre-training, 2024a","venue":"cs.LG","work_id":"91ee7625-8541-4461-90b4-5f7e2e9ddad1","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"cited_paper":"/paper/2305.14342","citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:bad2d810c52bf4914d8013914d8a25a8a839230faccbbb129fde88e853a5ad31","observation_id":"4162e015-673a-42ae-bd0b-59b21bd62987","resolution":{"observed_at":"2026-05-21T18:34:17.957013Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b789b78b-feb7-40ae-bf70-605cd1d9dbdc","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:11690e4513b87c66e2db95dc758b2d4928895489588a09fc279dea64ebd9e29c","observation_id":"6cc0f2c6-0650-4069-b8c7-1b19edbdd919","resolution":{"observed_at":"2026-05-21T18:34:18.531503Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"866609c9-4c7d-46b4-b1bd-e372bada938c","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:99c4687f6b49b1504b025d69705ff3dc491769fe2a169b3db6898e8eed19a297","observation_id":"540d903c-c2a4-4dc1-8847-56cb801b7552","resolution":{"observed_at":"2026-05-21T18:34:18.533645Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07-06T12:02:29.517225Z","title":null,"venue":null,"work_id":"245fb4ba-1249-45c7-8842-196e254cf89c","year":2023},"citing_paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-21T18:31:46.510611Z"},"links":{"citing_paper":"/paper/2511.19078"},"observation_digest":"sha256:c81593c0b9c466d9f0fa25c19b0e06f2d6a6d60b75d24aa56f22c07868ef3809","observation_id":"f29a4aaa-0ba2-40d9-bd12-883db1f7bd9a","resolution":{"observed_at":"2026-05-21T18:34:18.535685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2511.19078","last_updated":"2026-05-17T01:48:57Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-01T09:52:39.621101Z","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":15,"verified_exact":11,"verified_fuzzy":1},"total_outbound_references":28},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 3 inbound Pith citation observations for arXiv:2511.19078."}