Paper Citation Record · LEDGER

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

As of 10 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2509.04083.

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

pith.paper-citation-record.v1
2509.04083 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T10:28:50.521451Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

31 of 31 outbound references displayed

verified exact2
verified fuzzy5
unresolved19
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bb1be1ea-26c9-445f-8711-40d61af8aa65 · outbound

This paper cites Saparov, H.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Saparov, H

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:28:51.191129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 27f484f5-cd22-468d-8480-4aae76f3f681 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.183253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 599ed135-de8c-4b07-9ffd-92ea485e00c8 · outbound

This paper cites Panas, S.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Panas, S

Reference 3

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:28:51.171645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3751c904-0801-4543-a125-f3b00cf66262 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.395712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe7fd5c2-e77e-4b5a-a2da-af17439151f4 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:28:51.152679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 02922694-f1df-421e-8605-d52548f3240c · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:28:51.132464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cd2926ff-f4b4-4117-9c54-39ee9e119765 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.411785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a37cecd-cc2f-433f-a15f-0c34ca1e624f · outbound

This paper cites Olausson, A.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Olausson, A

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.416740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 726ea9ea-a6c4-4641-acd5-09378a4021f8 · outbound

This paper cites Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.421874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b310a8e2-e344-4afb-ad20-7af99fd083d2 · outbound

This paper cites Kirtania, P.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Kirtania, P

Reference 10

Resolution: verified exact; doi, observed 2026-08-05T10:28:50.679776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2efee2db-15ce-44b3-b21c-e38b17d04d3d · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.431904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e339f4f-652b-4ebb-a718-1c5fa43d2dee · outbound

This paper cites Coppolillo, F.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Coppolillo, F

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-05T10:28:50.436307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b87c9c6-32dc-45d5-990b-fa669dfdc31e · outbound

This paper cites Shanahan, Talking about Large Language Models, Com.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Shanahan, Talking about Large Language Models, Com

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:28:51.112069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2232311b-45ef-4a73-b20b-498c85e45674 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:28:51.091070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1da12275-2039-45e1-bd17-c87a3a80cd89 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.450155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70715091-fc05-4af3-99a0-481e95119e29 · outbound

This paper cites Badreddine, A.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Badreddine, A

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.454416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c0c6753-751f-44df-837f-ac14ac6cacff · outbound

This paper cites Eiter, T.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Eiter, T

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.458863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f70e50fb-bb74-4dcc-a44b-c2b56ed1bb00 · outbound

This paper cites Autoformalization with Large Language Models.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Autoformalization with Large Language Models

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.463449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42127623-1812-4cdb-afe6-04dca2c8d531 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:28:51.068511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0e9167ce-6ebd-45c6-9b4e-965e1fac6b12 · outbound

This paper cites Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.472815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32e10f71-bf05-4647-8d63-1dac94615bf0 · outbound

This paper cites Tafjord, B.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Tafjord, B

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-05T10:28:50.477838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6125d7ee-d216-411e-b419-b9e4767dbaa3 · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.482732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ef05367-cd63-4967-b082-3696b73a18ed · outbound

This paper cites Frederiksen, Applying Expert System Technology to Code Reuse with Pyke, 2008.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Frederiksen, Applying Expert System Technology to Code Reuse with Pyke, 2008

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:28:51.045728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e65cb260-2ba8-43a1-9640-359fbe50b6d0 · outbound

This paper cites Gelfond, N.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Gelfond, N

Reference 24

Resolution: verified exact; doi, observed 2026-08-05T10:28:50.596704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9de085d5-111e-4419-bc62-2c50ee2a419d · outbound

This paper cites Schaub, S.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Schaub, S

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.495430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fa1bb25-f876-442e-928f-66267e72b523 · outbound

This paper cites Kaminski, T.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Kaminski, T

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.499512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5cb10a9-682f-413d-b808-395ec330b379 · outbound

This paper cites Gebser, R.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Gebser, R

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.503925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b27439e8-c7ce-4c10-902c-1263aab4214b · outbound

This paper cites an unresolved cited work.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:28:51.022450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 276b0a09-aa37-4b48-85bd-130ba0241cd1 · outbound

This paper cites McCune, Prover9 and Mace4, 2010.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning McCune, Prover9 and Mace4, 2010

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:28:51.003251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cf0d6dea-a584-4894-a885-8759111259a2 · outbound

This paper cites Fahle, S.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Fahle, S

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:28:50.981756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e5833eeb-19c2-42e2-bf51-dbbae43e37a4 · outbound

This paper cites Beiser, M.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Beiser, M

Reference 31

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:28:50.962016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.