Paper Citation Record · LEDGER

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database

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.

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

pith.paper-citation-record.v1
2505.13406 v1

Coverage vector

measured 58 of 58 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:18:02.679999Z

measured 59 of 59 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-25T20:45:54.867101Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T20:10:07.153393Z

Reference resolution

58 of 58 outbound references displayed

verified exact0
verified fuzzy21
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d1ba7b12-ffda-47c0-b771-d085a1ac97d1 · outbound

This paper cites an unresolved cited work.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:18:03.851847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 27b3d9c7-7be7-406d-9616-5ea0726cc0b5 · outbound

This paper cites In: Journal of Physics: Conference Series, vol.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: Journal of Physics: Conference Series, vol

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.833964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 449b0c86-8599-4f44-b81d-26188dddb979 · outbound

This paper cites International Journal of Mathematical Education in Science and Technology 31(3), 393–414 (2000).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database International Journal of Mathematical Education in Science and Technology 31(3), 393–414 (2000)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.816274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 793e8dcd-7f16-4ad0-a153-b1a71e5f16c3 · outbound

This paper cites AI for Mathematics: A Cognitive Science Perspective.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database AI for Mathematics: A Cognitive Science Perspective

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.277384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a50b65e1-5f86-4991-a406-b861743a82bb · outbound

This paper cites In: Intelligent Computer Mathematics: 13th International Confer- ence, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings 13, pp.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: Intelligent Computer Mathematics: 13th International Confer- ence, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings 13, pp

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.798131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 29512794-f323-4e7d-a233-718d158b3785 · outbound

This paper cites In: Informal Reasoning and Education (1991).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: Informal Reasoning and Education (1991)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.778832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0f8b23f6-e5c5-4852-b85b-9bba889cb38e · outbound

This paper cites Lulu Press, Morrisville, North Carolina (2019).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Lulu Press, Morrisville, North Carolina (2019)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.757793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 30341475-fe08-4dbe-81a9-fa1d9cfb41e5 · outbound

This paper cites In: Automated Deduction–CADE 28: 28th International Conference on Auto- mated Deduction, Virtual Event, July 12–15, 2021, Proceedings 28, pp.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: Automated Deduction–CADE 28: 28th International Conference on Auto- mated Deduction, Virtual Event, July 12–15, 2021, Proceedings 28, pp

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.738440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 06f79ec9-d717-4f38-afc4-2b129f429b4e · outbound

This paper cites In: International Conference on Machine Learning, pp.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: International Conference on Machine Learning, pp

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.720726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3e9eb5ef-6b67-412c-a706-2870eb8e5fc4 · outbound

This paper cites Princeton University Press, Princeton, New Jersey (2010).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Princeton University Press, Princeton, New Jersey (2010)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.702310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a2f5f1b8-c08b-44c0-8186-f1eab1740d32 · outbound

This paper cites : Mathgraph: A knowledge graph for automatically solving mathematical exercises.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database : Mathgraph: A knowledge graph for automatically solving mathematical exercises

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.684254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1b6d22ec-4f1a-41f4-9a31-5c49dfb37d9d · outbound

This paper cites NaturalProofs: Mathematical Theorem Proving in Natural Language.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.333521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ccf71c5-5e0a-486b-85b9-3eecf557e646 · outbound

This paper cites Math-KG: Construction and Applications of Mathematical Knowledge Graph.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Math-KG: Construction and Applications of Mathematical Knowledge Graph

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T20:18:03.308626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8607be3a-91ee-45a3-bd6b-faed1acd186d · outbound

This paper cites MathGloss: Building mathematical glossaries from text.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database MathGloss: Building mathematical glossaries from text

Reference 14

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T20:18:03.281928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 60cfaa0a-95f8-48c5-8ea0-d5b58206d5b1 · outbound

This paper cites MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.350603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ab1e616-f11f-4f08-91be-b2bffb8f9898 · outbound

This paper cites : Language models are few-shot learners.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database : Language models are few-shot learners

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.359489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f96d34ca-fb4a-4651-bc31-384689ca9a1e · outbound

This paper cites Proceedings of the 25th International Conference on World Wide Web (2016).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Proceedings of the 25th International Conference on World Wide Web (2016)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.653766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 95e76844-18f6-4277-8b64-e03b10971459 · outbound

This paper cites Llama 2: Open Foundation and Fine-Tuned Chat Models.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Llama 2: Open Foundation and Fine-Tuned Chat Models

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.372338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5527415c-3341-4160-900b-0f5d1d646854 · outbound

This paper cites Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.380708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a23c8f82-a32e-44f0-92cb-9f58b4f2ea31 · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Measuring Mathematical Problem Solving With the MATH Dataset

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.390978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 527bf5d5-be95-4e49-ba34-cf10f478f006 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.398648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08368758-131f-4fa9-ad4a-8ac845c1f7aa · outbound

This paper cites OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.409761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e82aa5f2-215e-4cab-8344-e6df9e4b7983 · outbound

This paper cites MathPile: A Billion-Token-Scale Pretraining Corpus for Math.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database MathPile: A Billion-Token-Scale Pretraining Corpus for Math

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.416428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28da1a53-f270-459c-8b8f-4204cb555f69 · outbound

This paper cites NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.430083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfc81526-5ef6-4307-a29e-3b89447797e0 · outbound

This paper cites Scaling Relationship on Learning Mathematical Reasoning with Large Language Models.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Scaling Relationship on Learning Mathematical Reasoning with Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.438579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81880b13-8d20-4689-ab3b-81ae01eaeb11 · outbound

This paper cites CAMEL: Communicative Agents for "Mind" Exploration of Large Language Model Society.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database CAMEL: Communicative Agents for "Mind" Exploration of Large Language Model Society

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.445951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d881d34-eadf-47c1-ab6b-6bd601802bf4 · outbound

This paper cites an unresolved cited work.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:18:03.636441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 473e5afe-dfd8-44e8-bf2f-99b55d798726 · outbound

This paper cites Advances in neural information processing systems 35, 24824–24837 (2022).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Advances in neural information processing systems 35, 24824–24837 (2022)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.459089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee39a91b-e2c0-4c4e-9f14-dbf00690ccbb · outbound

This paper cites Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.470719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dce8b043-89e1-45fb-80f9-d126efeff193 · outbound

This paper cites Advances in Neural Infor- mation Processing Systems 36 (2024).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Advances in Neural Infor- mation Processing Systems 36 (2024)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.605628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation dbcc5e96-0459-481b-adaf-0bf9c17f886f · outbound

This paper cites IEEE transactions on neural networks and learning systems 33(2), 494–514 (2021).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database IEEE transactions on neural networks and learning systems 33(2), 494–514 (2021)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.484906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61a19e7c-63b6-4698-95b1-0bcbc8452e9f · outbound

This paper cites In: International Semantic Web Conference, pp.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: International Semantic Web Conference, pp

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.577094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a6eae695-cef1-4414-94c1-166d2e530d3e · outbound

This paper cites 697–706 (2007).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database 697–706 (2007)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.557973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 56c5aae0-46cb-4210-a3ec-dc9206e28411 · outbound

This paper cites Artificial intelligence 194, 28–61 (2013).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Artificial intelligence 194, 28–61 (2013)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.539271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0bc4d4b5-8f8a-4224-a51e-27efc9cf5a6e · outbound

This paper cites Google Blog.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Google Blog

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.520903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 633e4ad1-0b81-4aec-860f-ebac6ecf79a5 · outbound

This paper cites Advances in Neural Information Processing Systems 33, 9459–9474 (2020) 35.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Advances in Neural Information Processing Systems 33, 9459–9474 (2020) 35

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.503342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation fa002d91-fa31-4683-9e03-5e1ee143a596 · outbound

This paper cites Proceedings of the VLDB Endowment 9(11), 840–851 (2016).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Proceedings of the VLDB Endowment 9(11), 840–851 (2016)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.484370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 59172052-9d4f-405b-8ef6-8498c10604a1 · outbound

This paper cites Efficient Estimation of Word Representations in Vector Space.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Efficient Estimation of Word Representations in Vector Space

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.531298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5576cfb4-90cf-4313-a6f6-ce55152e2d82 · outbound

This paper cites 1532–1543 (2014).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database 1532–1543 (2014)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.465840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e65f9807-a122-4f70-9c2a-597772fb26db · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.546391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce178cc-3bd3-4b3e-995c-4ed5343a86c7 · outbound

This paper cites Advances in neural information processing systems 26 (2013).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Advances in neural information processing systems 26 (2013)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.553755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b944ffaa-74af-4c7e-915d-e69805e6e268 · outbound

This paper cites 623–632 (2015).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database 623–632 (2015)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.431990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 58c18a7b-a993-4bfd-aaeb-e445d90b0e94 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: Proceedings of the AAAI Conference on Artificial Intelligence, vol

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.410647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7b17e4da-6cf5-4d7e-85db-28d58d617e5d · outbound

This paper cites In: The Semantic Web: 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings 15, pp.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In: The Semantic Web: 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings 15, pp

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:18:03.390711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 790b4dba-8946-4263-a6be-40bb517bab28 · outbound

This paper cites Advances in Neural Information Processing Systems 33, 9649–9661 (2020).

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Advances in Neural Information Processing Systems 33, 9649–9661 (2020)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.593722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cbec2b5-add3-4c6a-ba11-bafd67cf750b · outbound

This paper cites GPT-4 Technical Report.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database GPT-4 Technical Report

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.599376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b718668-c41d-40d1-8776-bc49a195f106 · outbound

This paper cites : Palm: Scaling lan- guage modeling with pathways.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database : Palm: Scaling lan- guage modeling with pathways

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.605616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9499521b-b50e-462c-9eb4-87d90f6043dc · outbound

This paper cites Galactica: A Large Language Model for Science.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Galactica: A Large Language Model for Science

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.613288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 852ad2c9-56cf-4e78-9dec-17f7db819b0b · outbound

This paper cites Gemma: Open Models Based on Gemini Research and Technology.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Gemma: Open Models Based on Gemini Research and Technology

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.619683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e902a87a-60f8-42a8-9ad8-af7a40eb0d3b · outbound

This paper cites In-context Learning and Induction Heads.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database In-context Learning and Induction Heads

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.625933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23ed96aa-52e5-495b-b121-d888d012785e · outbound

This paper cites A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.632645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2771d2a0-3bbd-4b5d-a7e4-a2bed7669728 · outbound

This paper cites What Makes Good In-Context Examples for GPT-$3$?.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database What Makes Good In-Context Examples for GPT-$3$?

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.638893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcdcea5b-1b82-407d-881c-8141a98494e1 · outbound

This paper cites Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.646140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba57c61c-cab7-4761-9a45-6d51c2f0b9d4 · outbound

This paper cites Can language models learn from explanations in context?.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Can language models learn from explanations in context?

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.654694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81e25f9d-e3b6-48bf-9b0e-bcde948c525a · outbound

This paper cites LoRA: Low-Rank Adaptation of Large Language Models.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database LoRA: Low-Rank Adaptation of Large Language Models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.660636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9652a10-22ca-4d91-9383-bdf56dba361e · outbound

This paper cites Knowing What LLMs DO NOT Know: A Simple Yet Effective Self-Detection Method.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Knowing What LLMs DO NOT Know: A Simple Yet Effective Self-Detection Method

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.667883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8b5eff9-3639-4efc-9eba-30b1d4f1467c · outbound

This paper cites Orca-Math: Unlocking the potential of SLMs in Grade School Math.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Orca-Math: Unlocking the potential of SLMs in Grade School Math

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.674468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff50b4bf-e6f8-4285-b224-30428476e646 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database Training Verifiers to Solve Math Word Problems

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-15T20:18:02.679999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 0d69d394-ad29-4df3-a0cd-b9fd0b970a55 · inbound

TheoremGraph: Bridging Formal and Informal Mathematics cites this paper.

TheoremGraph: Bridging Formal and Informal Mathematics AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-07T01:15:54.628591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.