Paper Citation Record · LEDGER

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning

As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2505.17607.

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

pith.paper-citation-record.v1
2505.17607 v3

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:47:52.799353Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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-05-07T05:26:20.955504Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-12T10:36:30.307270Z

Reference resolution

43 of 43 outbound references displayed

verified exact6
verified fuzzy2
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 355fb677-0b34-4213-943d-051e248677ab · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:48.090845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6a5c714-60a2-49fe-9d28-3b613e643579 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:57.268812Z

Source-reported events for the cited work

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

Observation 404855ea-0139-4989-ad4c-9b62c22dbe98 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:48.249409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 831c939d-54c8-4e95-b805-244d78394bde · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:48.361780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d22c87b-7b74-453e-a7fa-b8d8da378b2c · outbound

This paper cites Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:48.495778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3d95cf2-bbaf-4700-bad5-ec7e699ee0f1 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:56.889366Z

Source-reported events for the cited work

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

Observation c5d02c80-315f-4524-a9f3-fd9734fc1f91 · outbound

This paper cites Hwang, Soumya Sanyal, Xiang Ren, Allyson Ettinger, Zaid Harchaoui, and Yejin Choi.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Hwang, Soumya Sanyal, Xiang Ren, Allyson Ettinger, Zaid Harchaoui, and Yejin Choi

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:48.687244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ca1db5b-2ce4-438f-90fe-d9a5f6f2a02c · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:56.524283Z

Source-reported events for the cited work

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

Observation 13fd9f63-9639-43e1-9913-e6afeb9a1ea2 · outbound

This paper cites LimSim++: A Closed-Loop Platform for Deploying Multimodal LLMs in Autonomous Driving.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning LimSim++: A Closed-Loop Platform for Deploying Multimodal LLMs in Autonomous Driving

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:47:54.172943Z

Source-reported events for the cited work

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

Observation 4d26ff72-6145-4c7d-a33a-d7ed8ce03cc6 · outbound

This paper cites García-Marina, I.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning García-Marina, I

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T14:47:53.247603Z

Source-reported events for the cited work

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

Observation cf66f5cb-1e7a-4219-9e19-07c011d3dae7 · outbound

This paper cites u rtler, Dieter B \.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning u rtler, Dieter B \

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:47:56.424333Z

Source-reported events for the cited work

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

Observation be3c8ca5-b86e-45d7-9c02-d5691f8c2ed7 · outbound

This paper cites HiAgent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning HiAgent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:49.549588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb15ba3e-0eec-4d3d-a572-c59f35976561 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:49.665325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 018bbeca-980a-4019-8c91-2867cf4a409d · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:56.291997Z

Source-reported events for the cited work

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

Observation 60ae11f1-2b84-41a7-b66c-bddcd6db24c4 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:49.860798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91054be3-ffee-4de8-803a-2355dc9bbf41 · outbound

This paper cites Deep Generative Model-based Synthesis of Four-bar Linkage Mechanisms with Target Conditions.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Deep Generative Model-based Synthesis of Four-bar Linkage Mechanisms with Target Conditions

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:47:53.939631Z

Source-reported events for the cited work

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

Observation 6286fd9b-cd3f-40ae-96b5-d39eba05f184 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:56.163640Z

Source-reported events for the cited work

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

Observation 6b0568ad-f6c7-4090-8744-67d334f004d8 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:50.100219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c898c608-b371-4037-8065-684e468589f7 · outbound

This paper cites The RBO Dataset of Articulated Objects and Interactions.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning The RBO Dataset of Articulated Objects and Interactions

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:47:53.744055Z

Source-reported events for the cited work

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

Observation f8abcb66-9d41-4f22-bd1b-2545d06497f3 · outbound

This paper cites Reddy, and Amir Barati Farimani.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Reddy, and Amir Barati Farimani

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:47:56.053516Z

Source-reported events for the cited work

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

Observation 3c988b89-f07e-4657-85aa-404907f1dfc9 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:50.385948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 564e9541-a9f4-4f6f-ab93-37e94931e7dc · outbound

This paper cites LInK: Learning Joint Representations of Design and Performance Spaces through Contrastive Learning for Mechanism Synthesis.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning LInK: Learning Joint Representations of Design and Performance Spaces through Contrastive Learning for Mechanism Synthesis

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:50.500815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99cd46d4-6d33-4af4-90d8-be903cc90d95 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.965821Z

Source-reported events for the cited work

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

Observation cac4ca67-d0f1-476d-bdfe-bc1e56d206f8 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.849247Z

Source-reported events for the cited work

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

Observation efae1d76-dc9e-4b9b-8bb3-593a7f6864ee · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.736897Z

Source-reported events for the cited work

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

Observation 310d7805-5942-4606-8bf5-d1835acd455f · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T14:47:53.020928Z

Source-reported events for the cited work

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

Observation 31ae31e4-11b1-4f4f-a736-4fe3f96d8a30 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:50.999588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73110609-9073-4f18-84f8-e4fa0ebf4819 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:51.136443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6242faa-7334-42ed-84ca-b50e3cc463aa · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.596190Z

Source-reported events for the cited work

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

Observation f6aa46e8-6641-4a35-8cca-5d382eba5d62 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.486271Z

Source-reported events for the cited work

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

Observation e8999a1c-e32c-46dc-a6ed-0b2238a23dfb · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.349518Z

Source-reported events for the cited work

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

Observation dd8f36f5-92f1-4baa-b08c-82bac6b96675 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.209757Z

Source-reported events for the cited work

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

Observation b8ac1fca-3189-4f79-8f6a-b79bd4cd8ce3 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:55.047293Z

Source-reported events for the cited work

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

Observation b03cfd92-502a-414b-b60b-29d5a5de7d60 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:54.864562Z

Source-reported events for the cited work

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

Observation f7a52cdf-bb9f-457f-b188-6c04a9383565 · outbound

This paper cites Learning Kinematic Descriptions using SPARE: Simulated and Physical ARticulated Extendable dataset.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Learning Kinematic Descriptions using SPARE: Simulated and Physical ARticulated Extendable dataset

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:47:53.462383Z

Source-reported events for the cited work

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

Observation b6c30eec-d27a-4a4e-9deb-23179067e27c · outbound

This paper cites Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.042991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67c05ffb-5e25-4118-b882-096580439557 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:54.661693Z

Source-reported events for the cited work

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

Observation 166fbd30-3b69-499c-a064-f1adc4858570 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:47:54.503131Z

Source-reported events for the cited work

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

Observation 7a01b033-e52a-46b4-9509-32cbab8e1d84 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.454480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0176520f-1314-4e74-90f4-02cd67d9f1b2 · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.535118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83a3b7d0-9afa-4e50-91da-a9c26965af5b · outbound

This paper cites an unresolved cited work.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.615756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eaa65784-1a12-4ffe-9d4e-00cfae1e27e4 · outbound

This paper cites online" 'onlinestring :=.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning online" 'onlinestring :=

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.704745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 720f51f4-66ac-4886-b282-3eadebc71d4d · outbound

This paper cites write newline.

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning write newline

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T14:47:52.799353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 66d562ef-673a-4fe1-b5b7-eb3156b81deb · inbound

Language Models Refine Mechanical Linkage Designs Through Symbolic Reflection and Modular Optimisation cites this paper.

Language Models Refine Mechanical Linkage Designs Through Symbolic Reflection and Modular Optimisation Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-06-01T03:02:51.678304Z

Source-reported events for the cited work

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