{"as_of":"2026-08-20T05:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f84e208e1f7f686950ff54eae6f13fabae5f1173608c5cbaca8633f95499deb6","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T20:18:02.679999Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T20:45:54.867101Z","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-04T20:10:07.153393Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"cited_work":{"arxiv_id":"2505.13406","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.13406","snapshot_observed_at":"2026-07-07T01:15:54.628591Z","title":null,"venue":null,"work_id":"2d34abbc-673f-4597-869c-460826f1e786","year":2025},"citing_paper":{"arxiv_id":"2606.25363","last_updated":"2026-06-24T03:47:05Z","snapshot_observed_at":"2026-08-18T20:40:15.666980Z","submitted_at":"2026-06-24T03:47:05Z","title":"TheoremGraph: Bridging Formal and Informal Mathematics","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-25T20:45:54.867101Z"},"links":{"cited_paper":"/paper/2505.13406","citing_paper":"/paper/2606.25363"},"observation_digest":"sha256:dbfeb98d4befc65e1cd6c01a4696d834ebfc046436933027befa44095133d242","observation_id":"0d69d394-ad29-4df3-a0cd-b9fd0b970a55","resolution":{"observed_at":"2026-07-07T01:15:54.628591Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2505.13406/citation-record","integrity":"/paper/2505.13406/integrity","json":"/paper/2505.13406/citation-record.json","paper":"/paper/2505.13406"},"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-15T20:18:03.845943Z","title":null,"venue":null,"work_id":"3c753332-b13c-482e-a656-e2c270957c0a","year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.257688Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:f6d638d97e518c50b470ac71eed8b616a3601dce10a8f09ddf85a10435317b7e","observation_id":"d1ba7b12-ffda-47c0-b771-d085a1ac97d1","resolution":{"observed_at":"2026-08-15T20:18:03.851847Z","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-15T20:18:03.828136Z","title":"In: Journal of Physics: Conference Series, vol","venue":null,"work_id":"ee196bb8-3ba3-4769-ad0b-5d2a7a402c7b","year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.265029Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:506144aa85849ab1e8d372e83f1e591cee0d144bd956390b95bd7c13f7b9bd35","observation_id":"27b3d9c7-7be7-406d-9616-5ea0726cc0b5","resolution":{"observed_at":"2026-08-15T20:18:03.833964Z","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-15T20:18:03.810305Z","title":"International Journal of Mathematical Education in Science and Technology 31(3), 393–414 (2000)","venue":null,"work_id":"bf91c6ff-d29f-4bd0-9526-ef7d7d7c98fc","year":2000},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.271317Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:effd326c8e027319fcd8776ec3c028b9db633afa5ac4d8b9366d1e2ce837e953","observation_id":"449b0c86-8599-4f44-b81d-26188dddb979","resolution":{"observed_at":"2026-08-15T20:18:03.816274Z","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":"2310.13021","last_updated":"2023-10-19T02:00:31Z","snapshot_observed_at":"2026-08-16T14:50:52.406999Z","submitted_at":"2023-10-19T02:00:31Z","title":"AI for Mathematics: A Cognitive Science Perspective","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.13021","snapshot_observed_at":"2026-08-15T20:18:02.277384Z","title":"arXiv preprint arXiv:2310.13021 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.277384Z"},"links":{"cited_paper":"/paper/2310.13021","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:f02a4491dcc837fe9e0ccb40ca84636aef6462ecc9178529f5dc3aae15391c0a","observation_id":"793e8dcd-7f16-4ad0-a153-b1a71e5f16c3","resolution":{"observed_at":"2026-08-15T20:18:02.277384Z","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-15T20:18:03.791835Z","title":"In: Intelligent Computer Mathematics: 13th International Confer- ence, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings 13, pp","venue":null,"work_id":"2cd89eb6-067d-4406-91b4-3abdb47c2b2c","year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.285264Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:ece75f63f04c0ac6d595603a0b34cb577690f603c79e51d1336eaf592ce8384e","observation_id":"a50b65e1-5f86-4991-a406-b861743a82bb","resolution":{"observed_at":"2026-08-15T20:18:03.798131Z","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-15T20:18:03.772337Z","title":"In: Informal Reasoning and Education (1991)","venue":null,"work_id":"2596fb20-045c-4230-97fb-76508b0c975b","year":1991},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.293597Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:9ef8461badb8d4aab3380d8d72faf7a4fe48f5162c9f3889b013e4290ad0f7ae","observation_id":"29512794-f323-4e7d-a233-718d158b3785","resolution":{"observed_at":"2026-08-15T20:18:03.778832Z","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-15T20:18:03.751730Z","title":"Lulu Press, Morrisville, North Carolina (2019)","venue":null,"work_id":"ac1374fc-2913-46ce-8905-ae93c09fca1d","year":2019},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.300180Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:00730cc61e8e87fac4e5a6d4a198e3b3a1f531a76898813dfc8d5803a8880097","observation_id":"0f8b23f6-e5c5-4852-b85b-9bba889cb38e","resolution":{"observed_at":"2026-08-15T20:18:03.757793Z","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-15T20:18:03.732585Z","title":"In: Automated Deduction–CADE 28: 28th International Conference on Auto- mated Deduction, Virtual Event, July 12–15, 2021, Proceedings 28, pp","venue":null,"work_id":"efef8660-49a2-4493-a214-c70f30c64993","year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.306649Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:8b666292d333ecfe456e54e4df444e389b91deddb0eed314d7f8cc7df5461a81","observation_id":"30341475-fe08-4dbe-81a9-fa1d9cfb41e5","resolution":{"observed_at":"2026-08-15T20:18:03.738440Z","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-15T20:18:03.715379Z","title":"In: International Conference on Machine Learning, pp","venue":null,"work_id":"7b11498c-e301-45f6-8ee0-171785cfb27e","year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.312209Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:24ae3fd5b5915d4d61b1ab264f4f10032af57324450eb570fcc54eb1821c867c","observation_id":"06f79ec9-d717-4f38-afc4-2b129f429b4e","resolution":{"observed_at":"2026-08-15T20:18:03.720726Z","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-15T20:18:03.696637Z","title":"Princeton University Press, Princeton, New Jersey (2010)","venue":null,"work_id":"173200f3-9808-4a94-8c39-3c56357842de","year":2010},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.318662Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:c30532a9f3da4d5bc4fd922d5cfbd10b9e0f805125de9f7586287e4729b24bcf","observation_id":"3e9eb5ef-6b67-412c-a706-2870eb8e5fc4","resolution":{"observed_at":"2026-08-15T20:18:03.702310Z","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-15T20:18:03.678550Z","title":": Mathgraph: A knowledge graph for automatically solving mathematical exercises","venue":null,"work_id":"dacfda8a-1fbb-4c4d-a27d-48f2fff2a0d5","year":2019},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.327515Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:d5e8c89e7581abc06df236fff6b0772d3d8d631773a4da6428415edb1bfbe611","observation_id":"a2f5f1b8-c08b-44c0-8186-f1eab1740d32","resolution":{"observed_at":"2026-08-15T20:18:03.684254Z","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":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-16T18:36:46.683344Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-15T20:18:02.333521Z","title":"arXiv preprint 33 arXiv:2104.01112 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.333521Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:5c592df00361b922fa453dd26553ac427f2c7bcd19db3aba8fbe0140aac072ba","observation_id":"1b6d22ec-4f1a-41f4-9a31-5c49dfb37d9d","resolution":{"observed_at":"2026-08-15T20:18:02.333521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.03772","last_updated":"2022-05-08T03:39:07Z","snapshot_observed_at":"2026-08-16T17:01:51.715588Z","submitted_at":"2022-05-08T03:39:07Z","title":"Math-KG: Construction and Applications of Mathematical Knowledge Graph","version":1},"cited_work":{"arxiv_id":"2205.03772","doi":null,"metadata_source":"pith","pith_arxiv_id":"2205.03772","snapshot_observed_at":"2026-08-15T20:18:03.302726Z","title":"Math-KG: Construction and Applications of Mathematical Knowledge Graph","venue":"cs.CL","work_id":"0502aada-6e0c-459e-939d-c9138858237a","year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.339248Z"},"links":{"cited_paper":"/paper/2205.03772","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:ae19b3ff14eb8f25e0c3c37ed605487908d7b933aacf6b718e8c39124dd66318","observation_id":"7ccf71c5-5e0a-486b-85b9-3eecf557e646","resolution":{"observed_at":"2026-08-15T20:18:03.308626Z","resolver_source":"local_arxiv","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":"2311.12649","last_updated":"2023-11-21T14:49:00Z","snapshot_observed_at":"2026-08-16T14:41:28.466534Z","submitted_at":"2023-11-21T14:49:00Z","title":"MathGloss: Building mathematical glossaries from text","version":1},"cited_work":{"arxiv_id":"2311.12649","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.12649","snapshot_observed_at":"2026-08-15T20:18:03.274362Z","title":"MathGloss: Building mathematical glossaries from text","venue":"cs.CL","work_id":"8554bfb7-9726-4ebf-aa36-f872b588b21a","year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.344573Z"},"links":{"cited_paper":"/paper/2311.12649","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:b0ea37a42733659b3bbcc1e91a218884f268d1d65704e939a11557fd7bef1b47","observation_id":"8607be3a-91ee-45a3-bd6b-faed1acd186d","resolution":{"observed_at":"2026-08-15T20:18:03.281928Z","resolver_source":"local_arxiv","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":"2309.05653","last_updated":"2023-10-03T02:48:42Z","snapshot_observed_at":"2026-08-18T06:58:51.738907Z","submitted_at":"2023-09-11T17:47:22Z","title":"MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05653","snapshot_observed_at":"2026-08-15T20:18:02.350603Z","title":"arXiv preprint arXiv:2309.05653 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.350603Z"},"links":{"cited_paper":"/paper/2309.05653","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:2ca88847024ab7cccecd95041531cf2c8ff9de8fc1ba639d55f02abf57dd40c1","observation_id":"60cfaa0a-95f8-48c5-8ea0-d5b58206d5b1","resolution":{"observed_at":"2026-08-15T20:18:02.350603Z","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-15T20:18:02.359489Z","title":": Language models are few-shot learners","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.359489Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:9e1a8b5459fe3a6551819dea6f222a6dcea22044ac9497dceca543187d02e4e8","observation_id":"1ab1e616-f11f-4f08-91be-b2bffb8f9898","resolution":{"observed_at":"2026-08-15T20:18:02.359489Z","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-15T20:18:03.648264Z","title":"Proceedings of the 25th International Conference on World Wide Web (2016)","venue":null,"work_id":"af75d0b7-9ee5-403f-a31a-f76e6bf3728d","year":2016},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.365692Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:807d4f233f0d3d3d076cb946089fac3a4edf0fc0eef15a7b1d5e40a91ca11cc1","observation_id":"f96d34ca-fb4a-4651-bc31-384689ca9a1e","resolution":{"observed_at":"2026-08-15T20:18:03.653766Z","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":"2307.09288","last_updated":"2023-07-19T17:08:59Z","snapshot_observed_at":"2026-08-07T12:56:43.323460Z","submitted_at":"2023-07-18T14:31:57Z","title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09288","snapshot_observed_at":"2026-08-15T20:18:02.372338Z","title":"arXiv preprint arXiv:2307.09288 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.372338Z"},"links":{"cited_paper":"/paper/2307.09288","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:5b01e776147bcf46a51cefef9a7187a6d052b423f8928e5b07bb212196ce708d","observation_id":"95e76844-18f6-4277-8b64-e03b10971459","resolution":{"observed_at":"2026-08-15T20:18:02.372338Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1908.10084","last_updated":"2019-08-27T08:50:17Z","snapshot_observed_at":"2026-08-14T05:02:11.716316Z","submitted_at":"2019-08-27T08:50:17Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1908.10084","snapshot_observed_at":"2026-08-15T20:18:02.380708Z","title":"arXiv preprint arXiv:1908.10084 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.380708Z"},"links":{"cited_paper":"/paper/1908.10084","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:b60aa2073cf3767fe21e902d61d1542f6a817f1eb74e57652229566ddc67720a","observation_id":"5527415c-3341-4160-900b-0f5d1d646854","resolution":{"observed_at":"2026-08-15T20:18:02.380708Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-15T20:18:02.390978Z","title":"arXiv preprint arXiv:2103.03874 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.390978Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:1dfc3ca0d349ad8584251a3d329ee622b22c1da2657f1bc902b981cf380a31b3","observation_id":"a23c8f82-a32e-44f0-92cb-9f58b4f2ea31","resolution":{"observed_at":"2026-08-15T20:18:02.390978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-19T15:00:47.908932Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-15T20:18:02.398648Z","title":"arXiv preprint arXiv:2302.12433 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.398648Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:7f3c09fc413613a102e80d8d3e8a82ec70b09211c117cc3c251b4c0aabaf7e14","observation_id":"527bf5d5-be95-4e49-ba34-cf10f478f006","resolution":{"observed_at":"2026-08-15T20:18:02.398648Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06786","last_updated":"2023-10-10T16:57:28Z","snapshot_observed_at":"2026-08-18T23:26:43.616423Z","submitted_at":"2023-10-10T16:57:28Z","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06786","snapshot_observed_at":"2026-08-15T20:18:02.409761Z","title":"arXiv preprint arXiv:2310.06786 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.409761Z"},"links":{"cited_paper":"/paper/2310.06786","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:91b070ea9d77c7b2dc7ba641411c4b0b35a2db0133a77e66b4df8e660441b60c","observation_id":"08368758-131f-4fa9-ad4a-8ac845c1f7aa","resolution":{"observed_at":"2026-08-15T20:18:02.409761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.17120","last_updated":"2024-10-29T17:02:45Z","snapshot_observed_at":"2026-08-16T14:31:07.963311Z","submitted_at":"2023-12-28T16:55:40Z","title":"MathPile: A Billion-Token-Scale Pretraining Corpus for Math","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.17120","snapshot_observed_at":"2026-08-15T20:18:02.416428Z","title":"arXiv preprint arXiv:2312.17120 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.416428Z"},"links":{"cited_paper":"/paper/2312.17120","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:b02049e4b64d3d43189b3f3e7a893345282facba443478b82209b957e46105cd","observation_id":"e82aa5f2-215e-4cab-8344-e6df9e4b7983","resolution":{"observed_at":"2026-08-15T20:18:02.416428Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.05660","last_updated":"2022-04-12T09:36:10Z","snapshot_observed_at":"2026-08-16T17:07:31.712995Z","submitted_at":"2022-04-12T09:36:10Z","title":"NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.05660","snapshot_observed_at":"2026-08-15T20:18:02.430083Z","title":"arXiv preprint arXiv:2204.05660 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.430083Z"},"links":{"cited_paper":"/paper/2204.05660","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:4a5dbfd39f513240dc698b59aeec2dfeb5c8af803539fb56d50fed71b9ab7b23","observation_id":"28da1a53-f270-459c-8b8f-4204cb555f69","resolution":{"observed_at":"2026-08-15T20:18:02.430083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.01825","last_updated":"2023-09-13T03:57:29Z","snapshot_observed_at":"2026-08-16T18:17:11.146813Z","submitted_at":"2023-08-03T15:34:01Z","title":"Scaling Relationship on Learning Mathematical Reasoning with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.01825","snapshot_observed_at":"2026-08-15T20:18:02.438579Z","title":"arXiv preprint 34 arXiv:2308.01825 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.438579Z"},"links":{"cited_paper":"/paper/2308.01825","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:241d0b37d55e169fc457209f99a654f2383c54c2b660fba82305afd8811103ef","observation_id":"bfc81526-5ef6-4307-a29e-3b89447797e0","resolution":{"observed_at":"2026-08-15T20:18:02.438579Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17760","last_updated":"2023-11-02T17:34:57Z","snapshot_observed_at":"2026-08-16T08:17:30.538734Z","submitted_at":"2023-03-31T01:09:00Z","title":"CAMEL: Communicative Agents for \"Mind\" Exploration of Large Language Model Society","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17760","snapshot_observed_at":"2026-08-15T20:18:02.445951Z","title":"ArXiv abs/2303.17760 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.445951Z"},"links":{"cited_paper":"/paper/2303.17760","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:82fe3fc4785d1f7079cad81e2ce39e6f10b99d518eee445c8e3968995e762897","observation_id":"81880b13-8d20-4689-ab3b-81ae01eaeb11","resolution":{"observed_at":"2026-08-15T20:18:02.445951Z","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-15T20:18:03.630785Z","title":null,"venue":null,"work_id":"bd493ee6-0612-477c-9c4e-8394853cf173","year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.452834Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:616c14750b0d52b0694eb5b2496659d3b85909525676c195b8fbb3c41db8c2ca","observation_id":"4d881d34-eadf-47c1-ab6b-6bd601802bf4","resolution":{"observed_at":"2026-08-15T20:18:03.636441Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:18:02.459089Z","title":"Advances in neural information processing systems 35, 24824–24837 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.459089Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:0c42aec48e47df3109a973b95fdbf6a6a5059314e967c6ab64503b58f0e12aec","observation_id":"473e5afe-dfd8-44e8-bf2f-99b55d798726","resolution":{"observed_at":"2026-08-15T20:18:02.459089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.12588","last_updated":"2023-10-23T01:27:38Z","snapshot_observed_at":"2026-08-02T13:06:11.850456Z","submitted_at":"2022-11-22T21:06:00Z","title":"Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.12588","snapshot_observed_at":"2026-08-15T20:18:02.470719Z","title":"arXiv preprint arXiv:2211.12588 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.470719Z"},"links":{"cited_paper":"/paper/2211.12588","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:1fdf02e40bfd9c48519c7a6020370937eb10deba3150dce41b81591e8adb0fb0","observation_id":"ee39a91b-e2c0-4c4e-9f14-dbf00690ccbb","resolution":{"observed_at":"2026-08-15T20:18:02.470719Z","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-15T20:18:03.599718Z","title":"Advances in Neural Infor- mation Processing Systems 36 (2024)","venue":null,"work_id":"e949004a-6115-4b49-b5f6-ad241aa84abc","year":2024},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.478536Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:390e5672c2a026959978607f65dbcb76921b76573d997d18224cd45439434a1b","observation_id":"dce8b043-89e1-45fb-80f9-d126efeff193","resolution":{"observed_at":"2026-08-15T20:18:03.605628Z","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-15T20:18:02.484906Z","title":"IEEE transactions on neural networks and learning systems 33(2), 494–514 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.484906Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:e56bef6b5a3d9ec6105c41aa9a634381a1351a6d434e9bbc8b21d1e2c63a80cb","observation_id":"dbcc5e96-0459-481b-adaf-0bf9c17f886f","resolution":{"observed_at":"2026-08-15T20:18:02.484906Z","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-15T20:18:03.571019Z","title":"In: International Semantic Web Conference, pp","venue":null,"work_id":"170d5148-9d28-4a39-acf4-886689db8963","year":2007},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.491192Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:676a75f8a40c0942247e84d37d6cb2a081955c1eec307898c6f75d83bf6ec18a","observation_id":"61a19e7c-63b6-4698-95b1-0bcbc8452e9f","resolution":{"observed_at":"2026-08-15T20:18:03.577094Z","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-15T20:18:03.552046Z","title":"697–706 (2007)","venue":null,"work_id":"3d0808b6-9066-4abf-bada-0eaeae358a7c","year":2007},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.498695Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:8cda846ba16752c009d04917b18b4a894955d26c8af6a1a006f9da8655bd8b02","observation_id":"a6eae695-cef1-4414-94c1-166d2e530d3e","resolution":{"observed_at":"2026-08-15T20:18:03.557973Z","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-15T20:18:03.534160Z","title":"Artificial intelligence 194, 28–61 (2013)","venue":null,"work_id":"f8232c06-d4cb-4c97-ba14-978f6478da58","year":2013},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.504600Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:15b60c2c88b2187b0b7f784f82ad2d0acac056b8f865e905997d4886e4c5e76c","observation_id":"56c5aae0-46cb-4210-a3ec-dc9206e28411","resolution":{"observed_at":"2026-08-15T20:18:03.539271Z","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-15T20:18:03.515510Z","title":"Google Blog","venue":null,"work_id":"3a284343-9f04-419e-a701-f0655bca23cd","year":2012},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.511161Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:8056a552194b4b5bb42334c0d153a8047f651547184c08c14c3b0bc4e46eb9b7","observation_id":"0bc4d4b5-8f8a-4224-a51e-27efc9cf5a6e","resolution":{"observed_at":"2026-08-15T20:18:03.520903Z","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-15T20:18:03.497740Z","title":"Advances in Neural Information Processing Systems 33, 9459–9474 (2020) 35","venue":null,"work_id":"9718d528-0a87-46eb-816a-387406c39e98","year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.516965Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:072beb837005e707214c338ab20e2a3fa6d701d94b604df0778b97c88e08d216","observation_id":"633e4ad1-0b81-4aec-860f-ebac6ecf79a5","resolution":{"observed_at":"2026-08-15T20:18:03.503342Z","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-15T20:18:03.479008Z","title":"Proceedings of the VLDB Endowment 9(11), 840–851 (2016)","venue":null,"work_id":"6da8586d-18ad-46b3-afa9-0013d16277a7","year":2016},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.523855Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:ed9008b1328c789e531a028cba5980165e0d9825dc292043ee9dfe8ec6206035","observation_id":"fa002d91-fa31-4683-9e03-5e1ee143a596","resolution":{"observed_at":"2026-08-15T20:18:03.484370Z","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":"1301.3781","last_updated":"2013-09-07T00:30:40Z","snapshot_observed_at":"2026-07-06T03:04:11.148340Z","submitted_at":"2013-01-16T18:24:43Z","title":"Efficient Estimation of Word Representations in Vector Space","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1301.3781","snapshot_observed_at":"2026-08-15T20:18:02.531298Z","title":"arXiv preprint arXiv:1301.3781 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.531298Z"},"links":{"cited_paper":"/paper/1301.3781","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:172fde4f7b406a2fe4ecb1fea9e20598ff80491fc001b37f6bbbc2d37a0a1653","observation_id":"59172052-9d4f-405b-8ef6-8498c10604a1","resolution":{"observed_at":"2026-08-15T20:18:02.531298Z","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-15T20:18:03.459668Z","title":"1532–1543 (2014)","venue":null,"work_id":"cc642a92-0c80-46ac-bd7b-727a08296540","year":2014},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.539718Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:0488749413924f1cd289d112f6bb4b0e0c95fd29352afa842230d8207b565686","observation_id":"5576cfb4-90cf-4313-a6f6-ce55152e2d82","resolution":{"observed_at":"2026-08-15T20:18:03.465840Z","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":"1810.04805","last_updated":"2019-05-24T20:37:26Z","snapshot_observed_at":"2026-08-14T18:16:28.847993Z","submitted_at":"2018-10-11T00:50:01Z","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.04805","snapshot_observed_at":"2026-08-15T20:18:02.546391Z","title":"arXiv preprint arXiv:1810.04805 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.546391Z"},"links":{"cited_paper":"/paper/1810.04805","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:846669442e1c766e9120b26c29bf9016b0f5feef2b029132a2c193313e8d98cf","observation_id":"e65f9807-a122-4f70-9c2a-597772fb26db","resolution":{"observed_at":"2026-08-15T20:18:02.546391Z","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-15T20:18:02.553755Z","title":"Advances in neural information processing systems 26 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.553755Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:540883f63a11f041b0f3d8851647a99a1e958e71a49b667f0622043191b521b3","observation_id":"5ce178cc-3bd3-4b3e-995c-4ed5343a86c7","resolution":{"observed_at":"2026-08-15T20:18:02.553755Z","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-15T20:18:03.425568Z","title":"623–632 (2015)","venue":null,"work_id":"cd5085ca-a1cf-4666-8cf7-c97603e0215d","year":2015},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.560329Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:b9bc5cfc90b2d1b2b52c37383c46cb76cbd2220d33b2a0de730b433c4ad8db17","observation_id":"b944ffaa-74af-4c7e-915d-e69805e6e268","resolution":{"observed_at":"2026-08-15T20:18:03.431990Z","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-15T20:18:03.404721Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence, vol","venue":null,"work_id":"54adab87-15a1-4fa1-8f97-b0117e3132e3","year":2016},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.574849Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:d4b893cc704ff11a1ea6a64390fae1b3d3a771c4284bc7916a9ee69486f6003a","observation_id":"58c18a7b-a993-4bfd-aaeb-e445d90b0e94","resolution":{"observed_at":"2026-08-15T20:18:03.410647Z","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-15T20:18:03.384858Z","title":"In: The Semantic Web: 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings 15, pp","venue":null,"work_id":"1e05bc8d-0ca9-4b40-9f4a-b50fa8a56959","year":2018},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.580957Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:e0a7bbe4a47647cda7739c8f9fe8f6b334bb67330ea61b8100c9a94b0c854b81","observation_id":"7b17e4da-6cf5-4d7e-85db-28d58d617e5d","resolution":{"observed_at":"2026-08-15T20:18:03.390711Z","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-15T20:18:02.593722Z","title":"Advances in Neural Information Processing Systems 33, 9649–9661 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.593722Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:6ae41f1ec3604709d20767e6918ed6e5bac59fe834e202df3b4482c98bf6ecc5","observation_id":"790b4dba-8946-4263-a6be-40bb517bab28","resolution":{"observed_at":"2026-08-15T20:18:02.593722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-15T20:18:02.599376Z","title":"arXiv preprint arXiv:2303.08774 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.599376Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:e810b5c5b5e0a93028bb5ec80efe253a17ce3836af711800972f223938c350e1","observation_id":"0cbec2b5-add3-4c6a-ba11-bafd67cf750b","resolution":{"observed_at":"2026-08-15T20:18:02.599376Z","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-15T20:18:02.605616Z","title":": Palm: Scaling lan- guage modeling with pathways","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.605616Z"},"links":{"citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:f9da2e53099fbf0272eb5a0b705c3f4e1eb1e9437d1c1d7c4f5b518239d4ec0f","observation_id":"2b718668-c41d-40d1-8776-bc49a195f106","resolution":{"observed_at":"2026-08-15T20:18:02.605616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.09085","last_updated":"2022-11-16T18:06:33Z","snapshot_observed_at":"2026-08-17T08:35:32.078396Z","submitted_at":"2022-11-16T18:06:33Z","title":"Galactica: A Large Language Model for Science","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.09085","snapshot_observed_at":"2026-08-15T20:18:02.613288Z","title":"arXiv preprint arXiv:2211.09085 (2022) 36","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.613288Z"},"links":{"cited_paper":"/paper/2211.09085","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:e14776b33a42f549ecaeecda57fa93086a59b0c35a2d147aef2f902d77e6ce89","observation_id":"9499521b-b50e-462c-9eb4-87d90f6043dc","resolution":{"observed_at":"2026-08-15T20:18:02.613288Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.08295","last_updated":"2024-04-16T12:52:47Z","snapshot_observed_at":"2026-08-03T03:29:01.959523Z","submitted_at":"2024-03-13T06:59:16Z","title":"Gemma: Open Models Based on Gemini Research and Technology","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.08295","snapshot_observed_at":"2026-08-15T20:18:02.619683Z","title":"arXiv preprint arXiv:2403.08295 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.619683Z"},"links":{"cited_paper":"/paper/2403.08295","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:a5e4fae2d8637153ed6c1e4bc917bfe1c1f2736835d4fa98b06f0de763321d26","observation_id":"852ad2c9-56cf-4e78-9dec-17f7db819b0b","resolution":{"observed_at":"2026-08-15T20:18:02.619683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.11895","last_updated":"2022-09-24T00:43:19Z","snapshot_observed_at":"2026-08-18T21:12:50.808922Z","submitted_at":"2022-09-24T00:43:19Z","title":"In-context Learning and Induction Heads","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.11895","snapshot_observed_at":"2026-08-15T20:18:02.625933Z","title":"arXiv preprint arXiv:2209.11895 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.625933Z"},"links":{"cited_paper":"/paper/2209.11895","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:0d86b434f6dd92fc35f2b5f2f6844dedd1c1d1dacc4493ec0fc80909d4c31db0","observation_id":"e902a87a-60f8-42a8-9ad8-af7a40eb0d3b","resolution":{"observed_at":"2026-08-15T20:18:02.625933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.03648","last_updated":"2021-04-14T17:59:14Z","snapshot_observed_at":"2026-08-18T12:21:37.638646Z","submitted_at":"2020-10-07T20:56:40Z","title":"A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.03648","snapshot_observed_at":"2026-08-15T20:18:02.632645Z","title":"arXiv preprint arXiv:2010.03648 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.632645Z"},"links":{"cited_paper":"/paper/2010.03648","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:68b4427077bf62397fc8c7fa24afe9fae44e265e15f9e5b59a3b818d25ff5d8b","observation_id":"23ed96aa-52e5-495b-b121-d888d012785e","resolution":{"observed_at":"2026-08-15T20:18:02.632645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.06804","last_updated":"2021-01-17T23:38:40Z","snapshot_observed_at":"2026-08-16T18:51:47.106761Z","submitted_at":"2021-01-17T23:38:40Z","title":"What Makes Good In-Context Examples for GPT-$3$?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.06804","snapshot_observed_at":"2026-08-15T20:18:02.638893Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.638893Z"},"links":{"cited_paper":"/paper/2101.06804","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:57111dfbae1eec8cc01b464257f45f022b7e9b4f7dae7bba275aca9467bd7cb4","observation_id":"2771d2a0-3bbd-4b5d-a7e4-a2bed7669728","resolution":{"observed_at":"2026-08-15T20:18:02.638893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.12837","last_updated":"2022-10-20T14:04:10Z","snapshot_observed_at":"2026-08-17T18:18:26.304439Z","submitted_at":"2022-02-25T17:25:19Z","title":"Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.12837","snapshot_observed_at":"2026-08-15T20:18:02.646140Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.646140Z"},"links":{"cited_paper":"/paper/2202.12837","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:8c91dcca32c70ca7bc52bf1e2b0f85af0f1d50635e6d64387ee7177e830bf1de","observation_id":"bcdcea5b-1b82-407d-881c-8141a98494e1","resolution":{"observed_at":"2026-08-15T20:18:02.646140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.02329","last_updated":"2022-10-10T15:25:40Z","snapshot_observed_at":"2026-08-16T17:09:06.658141Z","submitted_at":"2022-04-05T16:33:44Z","title":"Can language models learn from explanations in context?","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.02329","snapshot_observed_at":"2026-08-15T20:18:02.654694Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.654694Z"},"links":{"cited_paper":"/paper/2204.02329","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:a03366ba3f8a5eecb619f1b44ec3938130585b58e717fd4fe6499e27d32bfd20","observation_id":"ba57c61c-cab7-4761-9a45-6d51c2f0b9d4","resolution":{"observed_at":"2026-08-15T20:18:02.654694Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.09685","last_updated":"2021-10-16T18:40:34Z","snapshot_observed_at":"2026-08-17T18:04:53.578114Z","submitted_at":"2021-06-17T17:37:18Z","title":"LoRA: Low-Rank Adaptation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.09685","snapshot_observed_at":"2026-08-15T20:18:02.660636Z","title":"arXiv preprint arXiv:2106.09685 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.660636Z"},"links":{"cited_paper":"/paper/2106.09685","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:00a2cdb08625a6314061a2db2ac47020ab0af28951f0d19d6353f16ff5cf930b","observation_id":"81e25f9d-e3b6-48bf-9b0e-bcde948c525a","resolution":{"observed_at":"2026-08-15T20:18:02.660636Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17918","last_updated":"2024-03-21T10:57:23Z","snapshot_observed_at":"2026-08-16T14:48:23.217417Z","submitted_at":"2023-10-27T06:22:14Z","title":"Knowing What LLMs DO NOT Know: A Simple Yet Effective Self-Detection Method","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17918","snapshot_observed_at":"2026-08-15T20:18:02.667883Z","title":"arXiv preprint arXiv:2310.17918 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.667883Z"},"links":{"cited_paper":"/paper/2310.17918","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:db76fc1347fb0af7ded73f49b869ff7b3ed62e522af69f8b6bfabefa52d1cd4d","observation_id":"f9652a10-22ca-4d91-9383-bdf56dba361e","resolution":{"observed_at":"2026-08-15T20:18:02.667883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14830","last_updated":"2024-02-16T23:44:38Z","snapshot_observed_at":"2026-08-16T14:17:49.494789Z","submitted_at":"2024-02-16T23:44:38Z","title":"Orca-Math: Unlocking the potential of SLMs in Grade School Math","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14830","snapshot_observed_at":"2026-08-15T20:18:02.674468Z","title":"arXiv preprint arXiv:2402.14830 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.674468Z"},"links":{"cited_paper":"/paper/2402.14830","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:8250c6ad67f80b051fb40237ad30b85d3149d2a4b05c070ea15ac98f673cebbc","observation_id":"b8b5eff9-3639-4efc-9eba-30b1d4f1467c","resolution":{"observed_at":"2026-08-15T20:18:02.674468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-14T02:43:01.480086Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-15T20:18:02.679999Z","title":"arXiv preprint arXiv:2110.14168 (2021) 37","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T20:18:02.679999Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2505.13406"},"observation_digest":"sha256:b75a9227e29944fab8d3c15a742259f5996701e6df6bb2f347f6e99812204c0a","observation_id":"ff50b4bf-e6f8-4285-b224-30428476e646","resolution":{"observed_at":"2026-08-15T20:18:02.679999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.13406","last_updated":"2025-05-19T17:41:29Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-19T12:33:40.751685Z","submitted_at":"2025-05-19T17:41:29Z","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":35,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":58},"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 20 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 1 inbound Pith citation observation for arXiv:2505.13406."}