Pith. sign in

Paper Citation Record · LEDGER

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

As of 18 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-18T06:34:40.430872+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:17864a5663824cc35af16081cd3105cf03da0885f265ec6909e5e3a19c95e020

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.349528Z digest=sha256:63d15a00fa4a871244bc31bfe10e586e9efabb79d5df73113e9deef15e0d5ad9

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:13bd0e0372cbf36a6a9f4836d045514f0adc0974d1f48a2277ce08a929586605

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.396509Z digest=sha256:1c845d66ace861a8fbc3fae6d75b442c81d8566b3f5ea3684c9cacec9dcbdae0

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.408751Z digest=sha256:13e003e2d2afcb75265fdce9c7dd24f2b02bec2eeb47e55461c04761d5a5830c

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.424893Z digest=sha256:5e7482aa022de01a4c22050915a43f4e96e987fa8536fc113cb3e40b6a4c842a

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.431835Z digest=sha256:34d37d473f5d6b04b0afceccf272ccf523569769630e7dae1f78383020d40805

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:eff46b6156f66662d93705f7553a76b9c68c475313f5e6940ee0394b179ed027

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:79616000527773bfb6cb19bd1c5b9b54608909f74bd7a87512886c3c59cfe7a3

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:9a2a0669d7e53876d177a17b1f5039bb314313a33ebb7fda6232591707426ea5

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:c49b20b9c280a832acc3275b0a7665fcb5c80e490418afbd54b68dc795d8f83b

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.499243Z digest=sha256:9cda4f2464608d397fdef9795e9ca1a53f3ca3e29b1de25cf56f66e69dde1126

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.504961Z digest=sha256:3ad74e90644ba5b443fe8215677a5cee9f0a86c1c0503e377b6d356d935e5ac8

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.543782Z digest=sha256:03357d83f637b23739a0be7c356c38cfa46b661dbb58db2529ac9bb6554967fd

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.556769Z digest=sha256:58d36017b5df048e57f7df004d439539198b3cdb16035f981728cb903bca57bc

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:bc2b2df34f6c0507bfbf5ba51258ef0ae500befb86e3a6c441e98bdced3fef4f

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.571240Z digest=sha256:224cd84c674715780ce867cccf9b58b0f5ee64c049d9369ebbab3577b9b9db99

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.606835Z digest=sha256:8c0be7c988ff4b6323bd637fb4e526143b3fa5e2c4d8dee520db123f283d4a6b

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:a507e2d49312113fe1bfde28f5883a075a7eae7046e9853c7e366b64b74c16de

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:88fe47b6c036e1685d5b2da10e128704299be1516ce2e5e1d5bb77d970336fad

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-18T06:34:40.430872+00:00.

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

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:dd8644db1c15dd467a87eba90db67170b266f96179ca37cb0684ad8dcd8461f4

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:2225375594fce50aacaba6045e53022cc2a58b5ad1deab9523045839a2c9ffd0

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.685193Z digest=sha256:4bbefa377dea4319328e7a47dfa30e34488d496e7c08783b0d506ccef179f9fa

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:5da1d6247c7f40110858cc180784f6157698af5bac62856b2347bc076289faa1

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:c1dda3f9437ceb4aea6ef3f94ade430a117ff28bee85649d87da4ee5cc41f13a

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.724859Z digest=sha256:9404c51e306d897cf3c53b8e9bd6d49d572dcb242a8f75d4c2cc083bdd010ffb

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:0a960ab49385e9dcbff8b6c8af6eaca852fdf487ea4bcaf8ac045a45afd4940c

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.742964Z digest=sha256:980369a39dd21fa32191fa224c3278f7f94cc2212a71969612af0c17f20a1faa

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.763428Z digest=sha256:29e85c22b918a332d1917c03d5161883faf2b3b107da5fafea8a77d4452d7fc7

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.779295Z digest=sha256:3890d7f63253affede87494b8587917040be3c94df306b3c5e9b800409f71660

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.785848Z digest=sha256:718f4ea02015a866d9b033a2c76c0217e3e15bc6547fbaf2a96141131be47cfe

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:9903901758c20e93cffc50b5a2e10cb55aadae2a11b95af1e8df5f599b533233

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.814917Z digest=sha256:65ff072421265da69252d04ee2ce97209080627863b8d416819da6bf23b770e3

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:c23830808deaca93a069dd1821b9b7c40fc580f3242e809809586f6fff58eea8

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:00d8d69b065e77d334cf748300b873ed4bb30797bca75755b15bac2376d69fd7

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.835125Z digest=sha256:1dc449d70a205f3f24fc2c1e789f5687ca44f413a986607f421abc32057eda77

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.843161Z digest=sha256:883ea9dc64e945ebe8346210ce19b6454f5f1fc96a8dd4d1538536728cbc8951

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:aa89898fb2bd1cac970445d032de909f067f85d0dfa2612cfac2f6d9dae086b2

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:826fac3472d997e46cb12d06fb1807542a9d432fa3cbca2505525e45de0cd463

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:1e616d7882e03a613a2dde2fed2f7d32f23041c48fa9f9f6bd5b3894542fd2c4

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:9aba044c85d1f751a85117dc1d8a32d456b58e4c30ad49730e3196d90ec1acd3

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-11T04:19:30.869052Z digest=sha256:57c69dc6a49b6aa540f4793119189fcb05f9467b20bb09c0bd2f0e8d8c48e851

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:2c39a94af31389cabd5cbd60c820591b42731ae19171de16858fe85708d5e1dd

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:f600df30f4ff30893b4df671ca88e74e084aaa48fd957e0a3d7d09b4b1f27551

Pith citing papers

No inbound Pith citation observations are available.