Pith. sign in

Paper Citation Record · LEDGER

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart

As of 17 August 2026, this Paper Citation Record lists 80 of 80 outbound references and 0 inbound Pith citation observations for arXiv:2608.06705.

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

pith.paper-citation-record.v1
2608.06705 v2

Coverage vector

measured 80 of 80 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T04:19:30.919562Z

measured 80 of 80 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

80 of 80 outbound references displayed

  • verified exact5
  • verified fuzzy4
  • unresolved66
  • parse uncertain0
  • malformed identifier3
  • metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 45f30684-0770-40d1-9172-548437d0af70 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.327434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.327434Z digest=sha256:b3a09cfb37a14ea741740f5df84c35f8dfeddf6b5774536dea4c523956667c4e

Observation 23879987-50d6-43a9-a09a-9922a0d02777 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 2

Resolution
malformed identifier
raw_fallback, observed 2026-08-11T04:19:33.500583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.343711Z digest=sha256:574488b1f6857e11684eb1a87c07dd41509b65ca32a71a03ce74c875b1baaa45

Observation 8420ea3d-e18a-430f-babf-d074e2d70a38 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 3

Resolution
verified exact
doi, observed 2026-08-11T04:19:31.095808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.349528Z digest=sha256:53b15ad8fe270f48d926d396ed555af851147ce41b91617e8a10931525709474

Observation 0f50419a-b630-4cdc-a3ce-5e49567d21e4 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.360680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.360680Z digest=sha256:409dd71c12f63e7c7a4b80f58142881a7e1a2bc10c2c9d7f9c8b8486ab36a238

Observation cdbcf509-ba7c-46b5-b7ef-d298c5ecfb7d · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.463185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.367090Z digest=sha256:5cba862c157e7e34a09e453b1ef25b787ffe94b998bb865291595a97e8cef07c

Observation 09fd6c78-f613-433c-8fa9-6d5aa12b659f · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.443580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.374614Z digest=sha256:7722d4cb03333bef91362389ff0b74b6c25f96a8e75946111180aecb15674218

Observation 108b1491-18a4-4a0e-bb91-3f04df0da2d1 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.419985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.382220Z digest=sha256:2f91a5560a8a08bb4ba481e6dea8cadb6dd9909fd599ff24f8f07be27a624704

Observation 1a6ca966-72ee-4362-841f-c0d015b45ab5 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.398296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.390269Z digest=sha256:a44df26ab0b3e9ca40ec16ac9498750ef9c417fbe0ec5580e0b76bb51e2e413a

Observation 8b62bc16-1dbf-41dd-a62c-89cc226a82c2 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.379415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.396509Z digest=sha256:3cad469e629848c8d0196a6f72e9b3c1cc3bf9ec950fe29ce28fa9530876fbbb

Observation 23bc95dd-b80b-428b-acdd-867fb2f1d4cf · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.357606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.403467Z digest=sha256:bfb26fda149c63ff087269862b01afcfd5dec528906f6ba25109b9325220840b

Observation d6e749c4-41c3-4880-bff4-540309120fbd · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.333503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.408751Z digest=sha256:811f8d0e9f40e079c5f9b9558520d4c5e0bc0553b97caa168ac8b84fb6d31ebf

Observation 5547860f-a122-4b66-8511-d523546b8cd8 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.313050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.415482Z digest=sha256:ab01d3af954e176282689e76ddcb51d5506a3fe1f829f4532cfaa8750d5800a1

Observation c5fd0590-a66a-485b-8687-af3e858b140f · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.290020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.424893Z digest=sha256:80df2e49b4c64309032e03da20b0ae12a939de0e642f776d8a4931fa97895eaa

Observation adec0b34-6005-4e38-a6eb-81f0564aea81 · outbound

This paper cites 2021.CppSig: Extracting Type Information for C-Preprocessor Macro Expansions.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart 2021.CppSig: Extracting Type Information for C-Preprocessor Macro Expansions

Reference 14

Resolution
metadata mismatch
raw_fallback, observed 2026-08-11T04:19:32.238896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.431835Z digest=sha256:582674e3d386d602841c2fe4a467b2f485ece8f3e2be9bf0188eeb7b83fff693

Observation 95e179e6-40d0-4647-b6ea-ec6ff46c346a · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.439006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.439006Z digest=sha256:128ee78eef7f508955a4737acb3c1c55644aac174821b9c57ddf6285bb7727da

Observation ec6d5510-2feb-466d-8c82-88725480f290 · outbound

This paper cites Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.446652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.446652Z digest=sha256:8b3ff296625471884d9cfdd393ff33de4aa5495e59af6926a29b6c773955d4a3

Observation bd12a1b0-82a6-48fd-8e93-f4972cd0a88d · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Evaluating Large Language Models Trained on Code

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.453932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.453932Z digest=sha256:fc0f44ffbc014f5de8788df867055a3d2ff18a57e5a56322a60d0bdf6a95ea0a

Observation 93ec1608-512c-4293-8f7c-8cdd5caaf568 · outbound

This paper cites StarCoder: may the source be with you!.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart StarCoder: may the source be with you!

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.461700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.461700Z digest=sha256:c091652fdc5f7f8cd0c9b40aa7224f8a62baa1d35c5fe01139b860576fb630a0

Observation 22733030-0f23-45f6-a6b5-d34f826d26cb · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.266478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.477180Z digest=sha256:bda0a46d80fdc39a6d98681cb4a98927c128699c41ec2f7f68de0bbab619ece9

Observation 8edde784-147e-4dcd-a91a-6fd23eed1381 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.240772Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.485279Z digest=sha256:d47d3191e3b5ebf20e5f1cf225e8f50827612b305e66973825d513a584a4a6a3

Observation b4db2628-ceec-4eba-8c15-9bf51ad93c99 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.216971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.493720Z digest=sha256:e5b2ea1d72c64c13d04ff4e671fb84638634f74def1f9859fc7a29bc9a6134ff

Observation a4592af4-3ad7-42dc-a3c5-8ca5953da7df · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.191032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.499243Z digest=sha256:308d1bbe52801d9f01c9b8d64e57b62cf4462dafa44fadf05a9982753d2c1b2a

Observation 47d2e4c0-1eac-4db1-b988-ddc54da6ed63 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.162687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.504961Z digest=sha256:4debeb964e0b521493bf19681ebac307b6c4de3ecb4b03950825d5b698a324a0

Observation 4c106267-4758-4108-930f-b46c1d86817e · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.142067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.511066Z digest=sha256:a8153e498435756a2c7c898458720437ba76bace4806233c3f102f2cac39a14f

Observation 24e5e13d-13c2-4ee1-9069-48d6df4c2f04 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.121949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.518076Z digest=sha256:b6608f9176b8a391e1c48b87d31212293d9aab622ee6d41f50f2ee85f5ad3c41

Observation 83bb9e21-7c22-478a-8b96-9ce130e1c21e · outbound

This paper cites 2017.Performance Measurement of C Software Product Lines.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart 2017.Performance Measurement of C Software Product Lines

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T04:19:33.096999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.524645Z digest=sha256:adcfbd0c2c4e7b431f87a117b6ddc41f42bc1fd90391c328fdd5fa3ce36d44bd

Observation c44a8cf7-7787-42a6-8b22-8f305c9c1461 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 27

Resolution
verified exact
doi, observed 2026-08-11T04:19:31.062785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.531051Z digest=sha256:dad439fb7b78ef6493741ba8aab7bf716bad52419769851542e66877f59a6165

Observation d4a3a827-9065-4947-abbf-f6bd765420cf · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.074320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.537251Z digest=sha256:fc8955498b307e10a4bead61e993083e0b1bd1ad1381f22b98591734dc15c482

Observation 7c290a48-c3ef-495b-a3c6-f40e21cb11ca · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.048719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.543782Z digest=sha256:601319e7f125779997951cf8335c619e88f007ab4531962e5572c5331b330dfc

Observation 753ea556-132b-4a82-85a3-d07ec684d9c6 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:33.023931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.550473Z digest=sha256:a0da6fe5af0ab0ee433e2a260eeedeeb1552fb2680d3e078cef0ece177890448

Observation 4fd260ce-7a74-40bf-8329-dda76a0dda1a · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.995443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.556769Z digest=sha256:74fe816468a54188f5382366fc6c3929ee67b31a00056d0ed75f71cb5232297c

Observation eddb0e48-ff0b-4dbd-890e-f212a480b0fd · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.563826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.563826Z digest=sha256:0c85fc31fd143d19c958ea590c4bc00a5a9e8a8258692264785eaa2e872b01eb

Observation 99574a11-12d0-458f-9a15-6ffb6688db38 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.969177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.571240Z digest=sha256:4e360d323010dafea8b70d6e36bba72ae08840970fac7d873b195266c44a658b

Observation b2dafda0-7d64-45af-b3d4-b682b27017b9 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.943743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.577386Z digest=sha256:e574cfe08693ae0ebb9385df3becca14811ca43c710b3213ea658d588b5a9116

Observation 790aa8e2-3ce0-46f9-8956-9f8e49e39acc · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.915137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.582780Z digest=sha256:d61f28f46363fd5ea7e1533647a65b8d0afbe8c324306519fdad6884bdbc22ca

Observation 854fbb8b-c64e-451e-a9f3-34f0982f954a · outbound

This paper cites 2024.Information technology – Programming languages – C.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart 2024.Information technology – Programming languages – C

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T04:19:32.891119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.590854Z digest=sha256:3ed2eefc3d4de1b9917fcda67a7506b6c932a1fdb700d725bd06eeb86fb17ab4

Observation ad72f5b5-d159-4671-a4d1-2a37e56e35f8 · outbound

This paper cites 2024.Information technology – Programming languages – C.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart 2024.Information technology – Programming languages – C

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T04:19:32.866718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.600448Z digest=sha256:3ba94e99dc47213e63dbdff34ee6abc91d9dd23a30d1eaf448efb9b4c886773f

Observation 62dab0d0-988b-46ab-8247-9b1a489a3d6a · outbound

This paper cites Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger

Reference 38

Resolution
metadata mismatch
raw_fallback, observed 2026-08-11T04:19:32.089949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.606835Z digest=sha256:6ace9fb3fa484882a459edf01af30d482325dde27809195c595c26e91a440239

Observation 9d164b5a-bf79-43c6-a9e2-6d0ba18ff97a · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.843414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.614267Z digest=sha256:a91b55f3decb1ef9b2787d137627e4c57fe1d0847ec3323949c3983cea7294e6

Observation 37569545-e842-4ace-b810-ed9ae5637ca6 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 40

Resolution
verified exact
doi, observed 2026-08-11T04:19:31.027867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.623547Z digest=sha256:3f9957a50270125eca092b42fb8b43fee35559542e4e8a6ff90e3225ab02913c

Observation b53d6ed2-b6af-4789-bc9f-e3ba2fb8c31e · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.629250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.629250Z digest=sha256:ad90e82944bef4de94a17d9c9072f09e0b069cb28965f69f70a1aa6b97882b5a

Observation 6424bc47-841b-4abd-a6c5-d4ad53f4c5ca · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.821616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.639086Z digest=sha256:397a31ecc566731e38def58f4034f51c4a458e21afc5db49df1d5924a1e7ab1b

Observation 1e17abfd-f23a-4fff-b058-220010460347 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 43

Resolution
malformed identifier
raw_fallback, observed 2026-08-11T04:19:32.800599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.646312Z digest=sha256:deae7b44202df3b8d5d6d90108728f5302406608167b063067a387ac54014877

Observation 9c1a1a15-abb8-420d-ac25-5ad08a30e5b3 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.653265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.653265Z digest=sha256:12860bbd41f76e5c1ee28e9e21d926056d5c8965aad83ab76cc549cd078cd030

Observation 6e2d1b19-41fa-4413-b036-cb11f0db943a · outbound

This paper cites Mennie and Charles L.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Mennie and Charles L

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T04:19:32.776197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.663764Z digest=sha256:d8089e2850d2caec5a82a65ae875b262abe656c53e59535c7572e69e5855cfc4

Observation bb6277a4-556d-48f2-b02a-5f633fc2037f · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.671879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.671879Z digest=sha256:1b8da66f62f6595ddc824fcaa331080c27059ada1e4919032eaf92a72158116f

Observation df967ec5-1084-4d05-8e24-2e40f7905d3f · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.679199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.679199Z digest=sha256:64e2b6dde12139983dea5e3f4952234bf9e7c32532dbc6462e48b3f15010b80a

Observation 8208283d-9114-4348-9955-3441a774a7e2 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.735666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.685193Z digest=sha256:482289b4afd909a5d2ae6b7bd63cbdc28f3ad2d00469838b7d0665664b63f81e

Observation d7efd35a-4e19-4e18-b2e4-ea7e079b54bc · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.690812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.690812Z digest=sha256:bd2886392c0070779ba801f2576e840e792b74d53df7778bd1d44e509cfa6385

Observation abe47a53-88ff-4adb-8d30-7f871e5671cb · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.700075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.697992Z digest=sha256:fa55ff80cef50d068e0ec79ac7d7851c64ea73ea544b8160a048504a5ca4dfa2

Observation 30d50829-abda-4663-88c7-fd04c2d3c6b2 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 51

Resolution
verified exact
doi, observed 2026-08-11T04:19:31.007173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.703997Z digest=sha256:f86b4df50be661d8004b9c247f0d25aca8a3b4d177d2ac7aa1961d08fd030668

Observation 0184d556-a4c6-4d15-95bd-45d9a4869068 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 52

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.710506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.710506Z digest=sha256:40865132747a1fad60ed4bc9107dfd496669df996a9234ae14a85a555b3a8b76

Observation b2621c19-e7b8-4f2b-94a5-a2b2219c7692 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 53

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.676314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.724859Z digest=sha256:0d507afe3d5c2bfcb24c09e67af8aaf0baee3a7329c19cee5a27b75da1a5d38b

Observation 059604ba-d97a-4dee-859c-411d038a5675 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.733261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.733261Z digest=sha256:a9ec5ec53463e00da903519854de4a6cf3b5f7cda5430911dd6ad6728ca24721

Observation add94104-5816-4296-93f7-206ca89cdaf7 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 55

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.652568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.742964Z digest=sha256:7e51ebf4b67979766c59e8f2ca2e2fd5fda576ac9eaee59eceea11d4671c46b6

Observation a3d7ec0b-182c-4ae0-8bb4-7fa5699fbd31 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.631911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.750587Z digest=sha256:f3c71c6d7fd34d43da7bceabed868569462821f2fe691b524a3cebd74a9e4bc2

Observation deac3f43-3ecb-4e58-ab9f-d147dffba852 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.610417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.763428Z digest=sha256:2d695650b9489b13ec10b56f2ee55a77ca7fcb129a95ef1de6aeab3f7e1e1ea4

Observation cb6b98ed-1602-43f0-9432-162bba5dd8e9 · outbound

This paper cites Post and C.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Post and C

Reference 58

Resolution
verified exact
doi, observed 2026-08-11T04:19:30.987606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.771314Z digest=sha256:3b6ffe2076d6e610814b004f30bfa3128573ee7604ca857ed7be71df860dd972

Observation 96011bbc-7d8a-4feb-811a-acd0908281a3 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.590340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.779295Z digest=sha256:3130ebba36570e456a8cf758059548fbce2da3f51188a4bc44cdbfb2599bbac2

Observation f4d36bc8-b426-44e1-9e08-8d9839206787 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 60

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.570382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.785848Z digest=sha256:20ef2363c863bf55d3fa19c2b39aa887d9003de29bcaad20d321d344416673e5

Observation 6586f52a-8ff5-42cc-bc74-955a20220b34 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 61

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.550373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.792977Z digest=sha256:19ef597466cdb83caab858981dc5e320c20a4f7b3e1b4775f0df787f8d683722

Observation 231893dc-b42d-4203-b28c-426a29b99b61 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.528974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.801281Z digest=sha256:ce7b4de51abe5e02e487177e6dbbf358ea871851b4ff0a2eee6c49508d32c138

Observation 9e1f4629-7958-4971-8e22-19465378fee6 · outbound

This paper cites The Prompt Report: A Systematic Survey of Prompt Engineering Techniques.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart The Prompt Report: A Systematic Survey of Prompt Engineering Techniques

Reference 63

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.809255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.809255Z digest=sha256:c3fabaed436565c34d9c28248fe37ceb02bd2aaba321c32d7028a0f4245d1f33

Observation 0b4458b3-e14d-465c-9b6c-aebece41ef8d · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 64

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.507867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.814917Z digest=sha256:66fc3604178d85624999f740d07775f6400d659f8811eb6837a7dcbd9fe3c7b7

Observation fcc78eaf-e766-49df-ba59-697747c12cce · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 65

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.822116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.822116Z digest=sha256:87fede478080299b742ac429d9ae55190d045ba5232400464d3491dd40515f3f

Observation 74dd6217-56d2-46a2-baa9-8d4188a73207 · outbound

This paper cites Anisotropy-induced Extrinsic Chirality and Chiral Discrimination of Surface Plasmon Polaritons.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Anisotropy-induced Extrinsic Chirality and Chiral Discrimination of Surface Plasmon Polaritons

Reference 66

Resolution
malformed identifier
no resolver link, observed 2026-08-11T04:19:30.828901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.828901Z digest=sha256:36b1709f091810c2694ebe1ccb35bc6b18c8380fabcb63fe1ad96793498ddc5e

Observation 85ec0077-3781-4398-97ad-33309cd6e91e · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 67

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.485978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.835125Z digest=sha256:102743506351a7b993c0e5934e64843c1ffa9fad461ccbf9d0a0be831d223286

Observation 4ec564d2-cad3-4442-b88c-a9fdb1b53757 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 68

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.461136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.843161Z digest=sha256:028d7b278643585033c888e68f3f530654d137cc8f418ce286bc7bc98361b5ac

Observation 8f1ae6eb-dad1-4f44-949c-405dfb47fb65 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 69

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.438310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.853297Z digest=sha256:f8c2c691fc9ee618a492d8e79a3c895079433695ea49a1d401248df31579198f

Observation 044c83a9-97ee-4c2c-ac36-de0e87636ecc · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 70

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.400881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.860413Z digest=sha256:bb0ff7c773e1eb4c5a2e6871c7d8b0ee6156db0a9bc94cea8b3cd43b2954f1c2

Observation f74ad2ad-4bc5-44cb-a2fa-dde93016a4c9 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 71

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.353314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.874855Z digest=sha256:2ecd3720e45f4e4a24b0f086204d76346b05ef512655aecbee1815f70ec4b856

Observation 59ed7c70-5854-43fc-a522-e6b8495cdd84 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 72

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.881736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.881736Z digest=sha256:05938a53aab7c9987a08d432a9e75041dbbdc1df5724db24a1e96224f9fa1ede

Observation 00232220-bbf1-46b3-b31d-4719c495302f · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 73

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.331953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.889660Z digest=sha256:433dceb4500b514524ea19927da49249c3af1d5ad5665bbd53bcb4deaabbaca0

Observation 747f92f6-a655-4c07-b103-3d446b00e3cb · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 74

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.304847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.898141Z digest=sha256:c27c152d49639a8e660a4f594463ae49a1a967c4ac0c81b27ee8bb1f46bd2a64

Observation c06935d6-dc4e-4aa1-9aa4-e1ce15faa3fb · outbound

This paper cites Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn

Reference 75

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.905811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.905811Z digest=sha256:573b878913dd5609b85f3f81c62b8e6000529ad17fc76e1caa4186bcb1f5313b

Observation eece6577-91e9-456a-8d49-e4b044421666 · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 76

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.912448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.912448Z digest=sha256:d316426ab22b1b9025f0887e0274988e14549c2c2b8990dbd2c442f50f37765a

Observation 70745b32-cd7b-48b3-8af4-baf25b96447e · outbound

This paper cites InProceedings of the 29th ACM SIGKDD Con- ference on Knowledge Discovery and Data Mining(Long Beach, CA, USA)(KDD ’23).

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart InProceedings of the 29th ACM SIGKDD Con- ference on Knowledge Discovery and Data Mining(Long Beach, CA, USA)(KDD ’23)

Reference 80

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.919562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.919562Z digest=sha256:866849f32b1c4328289d47ddd2db6188362b526acf7768ea597b27ad426c7ef5

Observation d9e8854a-bb0c-4bca-bd18-cf68d809561c · outbound

This paper cites an unresolved cited work.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart Unresolved cited work

Reference 2016

Resolution
unresolved
raw_fallback, observed 2026-08-11T04:19:32.376271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-11T04:19:30.869052Z digest=sha256:140609d03ee9b5b561872a98631653cc39366ef92369b66c5124ed8c7fe70a7f

Observation 6e2c364b-403c-43f4-ac21-b73bacd22546 · outbound

This paper cites InProceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania)(ICSE ’22).

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart InProceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania)(ICSE ’22)

Reference 2022

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.757195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.757195Z digest=sha256:565d3b69473adceef5fb4a2ef405eb0482607eed24c11e70fa3c5be59428fb6b

Observation e7b672a7-9d89-41de-9ee0-e0ca6611f747 · outbound

This paper cites SantaCoder: don't reach for the stars!.

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart SantaCoder: don't reach for the stars!

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-08-11T04:19:30.337813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T04:19:30.337813Z digest=sha256:435d3df94d4340b331c09c33788e859455f995452a397ce1b055d9bf7bf5d1a4

Pith citing papers

No inbound Pith citation observations are available.