Pith. sign in

Paper Citation Record · LEDGER

Syntax Meets Semantics: Understanding Scientific Formulae

As of 19 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2608.02457.

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

pith.paper-citation-record.v1
2608.02457 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T06:59:22.745468Z

measured 35 of 35 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

35 of 35 outbound references displayed

  • verified exact1
  • verified fuzzy0
  • unresolved34
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 38553470-462f-4e9b-8573-ee641ea2875e · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:18.848111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:18.848111Z digest=sha256:5b65145226f3ab9b528f2c114bdde38b9fc37ffb6ef2c9f2b2c67c9c93a0986b

Observation 56c0eb5d-cf4c-4a60-925d-f00914e16c84 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:18.984614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:18.984614Z digest=sha256:04e72dc81d73b02bf579cd9e635f39ceed5e69727948bb545c5a066bb93f7a35

Observation 060b2b6e-05c1-4117-ba98-ba91711383ce · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.083736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.083736Z digest=sha256:c2294a6e7c6d65b8b4ddc5885c6e193428a9d2d4b7a80ee042790fe4f6ecc77a

Observation f21043e9-ed39-48a4-bb44-81ab46dcc2fc · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.166979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.166979Z digest=sha256:c20e3b3748911728fff1e54619dec2ad276e26beae918bb043c56c3d1d04838f

Observation e26b17f7-f8a4-4e3b-9a09-5486983b20b9 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.322003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.322003Z digest=sha256:36c1e2dd750eaf1b0f922034509662905bd78b234ca40a8e16305e792e103f24

Observation ce20bd3d-047a-4ecc-9110-c8e5a9369501 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.476320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.476320Z digest=sha256:41e5fdacb9832294058940c7b665e91971ab306a0c567ad263211f1f73cb618a

Observation d8e92064-5a3e-4e45-9975-5039b2c6d6c1 · outbound

This paper cites Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?.

Syntax Meets Semantics: Understanding Scientific Formulae Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.595007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.595007Z digest=sha256:d4f5955b9f7b89a7a36ec95abff3340c3aef14990d5cd3648295333ad8d11eae

Observation b2ea653d-696b-47ed-b5e6-3456c3665e70 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.688013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.688013Z digest=sha256:81e56626d9c3b58c45a90f1b6eb1021ccfaa9e9663dba28509ac1c5041f4c301

Observation 83dbd949-a8c0-4695-8d99-55238fb9cc04 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.822897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.822897Z digest=sha256:56845c98a465379eca27b6665b8b572d26f032339b2aacb69e6acb1803e7d1f8

Observation 2dd758b3-5c89-4fc4-809b-0af1d61b8c3e · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.901921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.901921Z digest=sha256:c4249f4044686b628045e78016dd6f141a3a38534b1f84e81d4dcdddca13b803

Observation d49760fd-57b6-4670-a17e-c91b8089b5dc · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:19.982436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:19.982436Z digest=sha256:03f5b5cadd04b265eafd0403471e31dbe1b84adbe30c4c813b2e5f184b6c9df2

Observation 905771a4-4d55-4e86-a3c9-e33b67114a67 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.087126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.087126Z digest=sha256:fdaf7b1aeac28f1ac8af3e86b0100d2eea4fcbd45925b7a2a89b4dec007f9695

Observation 09cf3213-cfab-41ec-ac1d-c09de6204492 · outbound

This paper cites Equation Embeddings.

Syntax Meets Semantics: Understanding Scientific Formulae Equation Embeddings

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.175968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.175968Z digest=sha256:e2e3cb8ca825a875741782784e9c06ca934f2934353ee8a5f8ee806828f507e6

Observation c38137a1-0b15-44e4-9880-3e227fc6edeb · outbound

This paper cites Pavan Kumar, Arun Agarwal, and Chakravarthy Bhagvati.

Syntax Meets Semantics: Understanding Scientific Formulae Pavan Kumar, Arun Agarwal, and Chakravarthy Bhagvati

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.443630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.443630Z digest=sha256:d0498a976f28ce8070917dbe9c2ce9306a76fc3fb48e6a5084acd4f5bed73756

Observation 7af4b410-bcb5-4a9d-a142-ee8750e678aa · outbound

This paper cites SSEmb: A Joint Structural and Semantic Embedding Framework for Mathematical Formula Retrieval.

Syntax Meets Semantics: Understanding Scientific Formulae SSEmb: A Joint Structural and Semantic Embedding Framework for Mathematical Formula Retrieval

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.502109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.502109Z digest=sha256:9303f6c73af4f25b7231089bd7716e9910c1ec36cbe664423863ffccc9f240ff

Observation d72b5125-48f7-44de-9566-6d9c3b30e1a3 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 16

Resolution
verified exact
doi, observed 2026-08-04T07:03:25.413541Z

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.

source=pdf_text observed=2026-08-04T06:59:20.574118Z digest=sha256:7f0133c36a1625adecb01610870674bec3081a42140e7c425dd884af12eb11d9

Observation 5f0520e8-41de-45ca-a182-e6eddc9f52db · outbound

This paper cites Oard, and Richard Zanibbi.

Syntax Meets Semantics: Understanding Scientific Formulae Oard, and Richard Zanibbi

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.636925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.636925Z digest=sha256:9d026828db52e0c456d6b2187d2c8f3934ee7c8f92e4ad3fe11f242bbdea0cab

Observation 0651727f-3631-4027-8364-e2b59d2805f4 · outbound

This paper cites Oard, Jian Wu, C.

Syntax Meets Semantics: Understanding Scientific Formulae Oard, Jian Wu, C

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.741987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.741987Z digest=sha256:8f136423b97c3e275ebf8304869c11be120b2ec04d2d58de9cf5c5384b80fc80

Observation a38436c9-e044-4817-869b-ccf44d5b2e97 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.823493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.823493Z digest=sha256:4d79d8e7f838982f201b00aed2530495e26f57f8326ec4a2fdcb75c9acc4218c

Observation 060ac725-f35f-47b1-a620-a04d978938c3 · outbound

This paper cites Miller and Abdou S.

Syntax Meets Semantics: Understanding Scientific Formulae Miller and Abdou S

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.902143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.902143Z digest=sha256:7cc6f84d81c086ec8c553f89f8bafaff495ea3f8db080da4ecb5ffefcc9f23c6

Observation 0b22a716-f825-40fc-b6b1-3f944d728778 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:20.912696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:20.912696Z digest=sha256:81a9d65497b31e605c0ba46dc09c785f70fa11be2e0ada36a4f77d16fd97164a

Observation 780a12a3-9ff7-447c-990c-930a7a623622 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.079064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.079064Z digest=sha256:0cd63b918b65b9c9db3ba429a07fc2d3ddaf19cea5d19a4acc7a558f658dc7b8

Observation 6cadb23d-1418-4512-8e0c-a6d571252b13 · outbound

This paper cites MathBERT: A Pre-Trained Model for Mathematical Formula Understanding.

Syntax Meets Semantics: Understanding Scientific Formulae MathBERT: A Pre-Trained Model for Mathematical Formula Understanding

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.172231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.172231Z digest=sha256:2dd897bbcef9f26cb4d35ba8d84d8fe515044c49e76009b307eb4e5cf2568465

Observation 160b1428-7ded-40da-a92a-62684b50a7dd · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.254221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.254221Z digest=sha256:4d09c5aefb9b9fb91637815876dbec5a3d2bb4bb648bfb4415d305ec5142c7cf

Observation 79f8893c-4597-4edd-a62b-f9a64dbf661c · outbound

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

Syntax Meets Semantics: Understanding Scientific Formulae Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.357645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.357645Z digest=sha256:206ca438bf91435b2d72b2ca8371990217739e07b73dd75308ae27c212e34414

Observation ef840509-5dda-4f8b-aa6a-2dae936bb898 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.449222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.449222Z digest=sha256:abbacb765e37b9826b252543fe616754512a5c615dc17b53e5328f23378a14c1

Observation 642b50aa-2e1e-4799-aa81-98a12d097258 · outbound

This paper cites Cohl, and Bela Gipp.

Syntax Meets Semantics: Understanding Scientific Formulae Cohl, and Bela Gipp

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.554731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.554731Z digest=sha256:745712a54cec78a11863d10a4ea6dc2ea8c94719e9dd375e9d3c4359caeea69f

Observation a8c53046-f3bd-4140-932c-122aa1063141 · outbound

This paper cites MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education.

Syntax Meets Semantics: Understanding Scientific Formulae MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.717948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.717948Z digest=sha256:907eba4e966dcd623667774bef80e4dbf5e61c05c3c05ed627d8818ffaf5e7a9

Observation 84ee6c7d-afef-45f2-b965-75c64bec7585 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:21.885744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:21.885744Z digest=sha256:817ae5b3efd7664031bc7bbafc1f4c943d7e860a362ecf4306191cefe3e4fbe0

Observation 061cb5b4-fc6e-43a3-9807-7c310154af92 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.146023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.146023Z digest=sha256:ca44ef8a1239150ddc0ec6b06025ee837e44e27f63211a8bf25b042807e67070

Observation ec98db5c-2e80-405a-8a3b-ee275bbdecdc · outbound

This paper cites Lan, and Richard G.

Syntax Meets Semantics: Understanding Scientific Formulae Lan, and Richard G

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.274809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.274809Z digest=sha256:1118d1f9be1fda04b1399fd884728e60a59e2f39f8ca81f2a0f059f692e19bb7

Observation b1183d6d-e903-41da-95d3-f7b37b835035 · outbound

This paper cites Baraniuk, and Andrew S.

Syntax Meets Semantics: Understanding Scientific Formulae Baraniuk, and Andrew S

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.419646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.419646Z digest=sha256:3bfe0d86ef943bd292817d9bc0cfb9b8b184798277da9da54e1a0dce1d00e132

Observation f6e05ad5-6256-46cb-aa8f-a13f28dcc789 · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.495508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.495508Z digest=sha256:f81b80cb17e8f894d0f3fbe592b7fff083d56909a2c39b5c966a655abfa8c225

Observation eb07ce4d-99b5-45bf-bf0d-763f490e7cef · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.643661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.643661Z digest=sha256:4d13f7a5b24a0c5ced249473f04e45155bc9c5615239f62be5d6bb0871e4eec1

Observation ae65de96-d37e-400d-b55b-e98be15f388b · outbound

This paper cites an unresolved cited work.

Syntax Meets Semantics: Understanding Scientific Formulae Unresolved cited work

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-04T06:59:22.745468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T06:59:22.745468Z digest=sha256:beeb0fa6c4cdb48e1eabd37bf680c22802f6628ebd1e93724b5e6562124747bb

Pith citing papers

No inbound Pith citation observations are available.