Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T15:02:24.203108Z
Paper Citation Record · LEDGER
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
As of 13 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2501.14649.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
37 of 37 outbound references displayed
- verified exact4
- verified fuzzy0
- unresolved29
- parse uncertain0
- malformed identifier1
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e9574e0d-b7cc-468d-8a19-8915cf45c4ff · outbound
This paper cites online" 'onlinestring :=.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion online" 'onlinestring :=
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:23.981588Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d36a4435-3b2a-416b-a19e-027fdd736cd3 · outbound
This paper cites write newline.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion write newline
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:23.988241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e752326-fa30-4934-af4b-07cc198a8864 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:23.996333Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97d5e2b1-6c1e-4789-8cab-486edae25c82 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.007074Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a8e6519-73cc-4279-86b7-b4f825504f01 · outbound
This paper cites Chamberlin and Raymond F.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Chamberlin and Raymond F
Reference 5
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T15:02:24.945898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 55628512-48c8-4bd3-adae-0c25d7327026 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.021660Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae40cd3b-744f-4fd4-a4fc-5d97c6fa69a1 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.028239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a326e482-633b-4e26-838c-71a3fa33cd20 · outbound
This paper cites DeepSeek LLM: Scaling Open-Source Language Models with Longtermism.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion DeepSeek LLM: Scaling Open-Source Language Models with Longtermism
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.037473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b7e4fe6-9649-46d1-9082-0d97b57e1446 · outbound
This paper cites A Survey on In-context Learning.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion A Survey on In-context Learning
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.047591Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a3d8646-ca68-4cda-8de2-aec2d3f197bb · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T15:02:25.018980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 34061c36-4896-483b-84d4-997ac8d22479 · outbound
This paper cites The Llama 3 Herd of Models.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion The Llama 3 Herd of Models
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.060213Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bca8887f-f6f4-4b43-99a6-1c3afe8f4578 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.067357Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17ad7fc0-3951-4f85-b9aa-800e87d323e3 · outbound
This paper cites State-of-the-art generalisation research in NLP: A taxonomy and review.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion State-of-the-art generalisation research in NLP: A taxonomy and review
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.072777Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20474d53-7595-4eff-8b2d-dfcdd7145b07 · outbound
This paper cites Mixtral of Experts.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Mixtral of Experts
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.079246Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db758ff8-dff8-4f2c-a987-a58a8a5efc08 · outbound
This paper cites A Survey on Large Language Models for Code Generation.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion A Survey on Large Language Models for Code Generation
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.085218Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15ce0974-48e0-4fd4-972e-dc57adb9fe0f · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.091563Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d3c1816-81d4-4c53-9031-3e1266301215 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.096827Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a14b1721-2db3-4379-bc2b-3fe70bcbc6d9 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.101789Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ffafad8-751b-4c1d-b6dd-711cfd7eef03 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.106907Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7cb0f3e-a561-4a0a-ad14-fe30a35a4414 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.112210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 73090024-dcbd-4668-b2bc-89e9ace866cb · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.117097Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f332a4b9-31fc-4b85-9227-5d8b61c61061 · outbound
This paper cites SciAgent: Tool-augmented Language Models for Scientific Reasoning.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion SciAgent: Tool-augmented Language Models for Scientific Reasoning
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.122061Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbb38dc4-0a86-42da-93da-ae7bc6a741b0 · outbound
This paper cites LLMs' morphological analyses of complex FST-generated Finnish words.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion LLMs' morphological analyses of complex FST-generated Finnish words
Reference 23
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T15:02:24.773637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 69f0db7f-74c6-4272-b5c5-40e98dfe787b · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 24
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T15:02:24.748835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a20ce5c8-9c4c-48d8-b056-e8e55ad67bca · outbound
This paper cites GPT-4 Technical Report.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion GPT-4 Technical Report
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.140010Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4726e1ff-bad4-497c-b594-9c0fdfec944a · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T15:02:24.980895Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2e0d3f0b-fbf2-4fba-ad3e-d07db287030c · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T15:02:24.963534Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b3158004-ea47-4aaf-a82e-2931f8d2748d · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 28
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-10T15:02:24.301444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 66d720ae-b658-4145-a6d6-f1508f4184a0 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-10T15:02:24.285732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4916ca73-8c58-4382-ae07-3351f4b5ceaf · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-10T15:02:24.268689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2132bb8b-0d1f-4cbc-aa72-b68975552be1 · outbound
This paper cites A Survey on Employing Large Language Models for Text-to-SQL Tasks.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion A Survey on Employing Large Language Models for Text-to-SQL Tasks
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.172451Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 470f1e60-8fbb-46cd-9e49-afe0e848c051 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 32
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T15:02:24.636471Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5dd7b490-af30-4ae7-9279-c33a872e24f3 · outbound
This paper cites MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.182809Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12984695-bd87-41eb-80ef-63a9f5d2cf63 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.187897Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03c37fa1-cc0f-49c5-a637-f50adfcdd15e · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.193354Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c26b145-aa49-4a53-ac83-46bba1907442 · outbound
This paper cites an unresolved cited work.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T15:02:24.198413Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5abf5cef-e0b0-4636-b379-2ea84d9fd12b · outbound
This paper cites A Survey of Syntactic-Semantic Parsing Based on Constituent and Dependency Structures.
Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion A Survey of Syntactic-Semantic Parsing Based on Constituent and Dependency Structures
Reference 37
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T15:02:24.425828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.