Paper Citation Record · LEDGER

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation

As of 18 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:2506.15455.

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

pith.paper-citation-record.v1
2506.15455 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:40:08.960042Z

measured 51 of 51 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-12T02:33:04.549851Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-12T07:31:29.370868Z

Reference resolution

50 of 50 outbound references displayed

verified exact0
verified fuzzy17
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ddbf1f6e-1568-4b8c-aa5a-c9c0841fd8c5 · outbound

This paper cites R., Bury, G., and de Oliveira, S.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation R., Bury, G., and de Oliveira, S

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.873549Z

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.

Observation 2381b885-e319-4f6c-8297-873f9ea42ca3 · outbound

This paper cites W., Conway, C.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation W., Conway, C

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.695478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d105d418-b29a-4364-9e0c-94f1b0f1805d · outbound

This paper cites Language Models are Few-Shot Learners.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Language Models are Few-Shot Learners

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.701122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 093aa8cc-8502-430e-8dc4-8b91fd908bca · outbound

This paper cites ARC Prize 2024: Technical Report.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation ARC Prize 2024: Technical Report

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.712175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dd80ccd-e603-498b-9189-6bff78f6520e · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Training Verifiers to Solve Math Word Problems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.718055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5f468f4-fa2c-475f-9d64-aabb0718792d · outbound

This paper cites Frama-C User Manual.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Frama-C User Manual

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.858155Z

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.

Observation 943f825b-4d28-40e9-b3d8-3642a7307cf8 · outbound

This paper cites and Bj rner, N.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation and Bj rner, N

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.843181Z

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.

Observation 88085062-9a74-4f6e-9941-bfa10bedabfd · outbound

This paper cites Pal: Program-aided language models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Pal: Program-aided language models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.735136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 435a24fe-d609-42ce-8590-fbf85262dc76 · outbound

This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.739793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f64170b5-00a4-4fcb-bc32-35d9dccd9b8d · outbound

This paper cites and Nori, A.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation and Nori, A

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.816741Z

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.

Observation f8d38a5b-76cd-4e68-a40e-cdd22d670ef3 · outbound

This paper cites CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.751296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07508454-5ca7-42f2-b098-135814e255b0 · outbound

This paper cites an unresolved cited work.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:40:09.800701Z

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.

Observation c5ed88e9-ccea-43a8-91e9-faa147a13958 · outbound

This paper cites Measuring Massive Multitask Language Understanding.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Measuring Massive Multitask Language Understanding

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.761512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06e2c178-e753-4b85-aafe-13851bc0c9c5 · outbound

This paper cites an unresolved cited work.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:40:09.785238Z

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.

Observation 3d052235-c979-4078-8646-9c3386e45677 · outbound

This paper cites and Chang, K.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation and Chang, K

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.770621Z

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.

Observation d27b7724-7963-4f98-8403-8e4a37cc09ff · outbound

This paper cites Reasoning Elicitation in Language Models via Counterfactual Feedback.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Reasoning Elicitation in Language Models via Counterfactual Feedback

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.775606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7b1354a-4af1-4c76-a11d-3fc8eba53a1e · outbound

This paper cites OpenAI o1 System Card.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation OpenAI o1 System Card

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.780223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 642a3b46-ff66-4b87-ba54-aa4de3f64724 · outbound

This paper cites Mixtral of Experts.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Mixtral of Experts

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.785242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 090750a8-9089-4a49-b893-9470231d6c42 · outbound

This paper cites CL adder: A ssessing causal reasoning in language models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation CL adder: A ssessing causal reasoning in language models

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.753221Z

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.

Observation 2e2ef2bd-6003-4140-a8c8-00c2322b0400 · outbound

This paper cites Cladder: Assessing causal reasoning in language models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Cladder: Assessing causal reasoning in language models

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.737804Z

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.

Observation 2beb983d-a1a4-4049-b534-a759dcb5d27a · outbound

This paper cites K., Lal, A., Rastogi, A., Roy, S., and Sharma, R.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation K., Lal, A., Rastogi, A., Roy, S., and Sharma, R

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.721492Z

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.

Observation 4ddb2491-b701-47ec-aa87-d8435e90b864 · outbound

This paper cites S., Iwafuchi, T., and Dasaka, S.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation S., Iwafuchi, T., and Dasaka, S

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.704735Z

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.

Observation 9a86c7f8-cdb4-41b4-8f8b-aa64fa20bf1f · outbound

This paper cites Evaluating the Robustness of Analogical Reasoning in Large Language Models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Evaluating the Robustness of Analogical Reasoning in Large Language Models

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.810909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1fc62b6-3321-49b9-9bba-357dee2558d7 · outbound

This paper cites Neuro-Symbolic Data Generation for Math Reasoning.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Neuro-Symbolic Data Generation for Math Reasoning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.816339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59c2d6a5-0701-4cba-8c75-58abf932f19a · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.822965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7768b750-28d6-462d-bcc5-618e68af04a7 · outbound

This paper cites and Krakauer, D.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation and Krakauer, D

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.831764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5872c196-5e25-4f84-8f6c-fcd1ae19b23a · outbound

This paper cites an unresolved cited work.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:40:09.689055Z

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.

Observation 2224da54-95cf-4457-aa8f-41ff87b27d6e · outbound

This paper cites Early access for safety testing, December 2024.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Early access for safety testing, December 2024

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.673975Z

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.

Observation 937d3089-5f2d-41ef-be73-f553e88a3b49 · outbound

This paper cites Causality: Models, Reasoning, and Inference.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Causality: Models, Reasoning, and Inference

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.658383Z

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.

Observation bddd8586-dd46-4de4-9514-4eab8ee8a31d · outbound

This paper cites an unresolved cited work.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:40:09.642596Z

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.

Observation 6487c19c-4d19-4863-8480-e70788761d82 · outbound

This paper cites H., Sch \"a rli, N., and Zhou, D.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation H., Sch \"a rli, N., and Zhou, D

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.861834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1643a9a5-dc38-4d8a-bdbc-dd73937182e8 · outbound

This paper cites Learning loop invariants for program verification.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Learning loop invariants for program verification

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.616359Z

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.

Observation d6d33143-d23d-4653-83cb-12b5ccb956eb · outbound

This paper cites Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.873201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0f7b3b7-7f7a-47db-b0b7-a4d04739393c · outbound

This paper cites Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.878802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ed2bb3d-7c5c-4da1-a6b6-8c9ebe52b141 · outbound

This paper cites an unresolved cited work.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:40:09.600363Z

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.

Observation 0f75384e-28e4-4293-a4f9-85957ff60ff1 · outbound

This paper cites OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.889506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 392b4c00-9a6b-4a73-94e5-3e4382f23feb · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation LLaMA: Open and Efficient Foundation Language Models

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.894465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad0bbeb9-04a3-49cb-92d9-0f6e86c588a1 · outbound

This paper cites Large language models still can't plan (a benchmark for llms on planning and reasoning about change).

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Large language models still can't plan (a benchmark for llms on planning and reasoning about change)

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.899748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 781fbb60-726c-4f75-9846-b3c7e080dce3 · outbound

This paper cites SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.905494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d32efc91-9715-49a1-8a1c-6d301bf0d49b · outbound

This paper cites S., and Momennejad, I.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation S., and Momennejad, I

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.910833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 133e0d5b-1916-4682-8c01-99c2cee94f08 · outbound

This paper cites Ethical and social risks of harm from Language Models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Ethical and social risks of harm from Language Models

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.916015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4654180-7874-405f-bb9a-19f45f7a8b41 · outbound

This paper cites W., and Narodytska, N.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation W., and Narodytska, N

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.571359Z

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.

Observation 79947bfb-2d7a-4a18-af7f-dfa847721a23 · outbound

This paper cites Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.926155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 893ab7e0-d663-4c55-a758-b0b5384e1de0 · outbound

This paper cites Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.930958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e615cad-e6a8-4121-a107-abada2f49625 · outbound

This paper cites A critical review of causal reasoning benchmarks for large language models.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation A critical review of causal reasoning benchmarks for large language models

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.549227Z

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.

Observation 4b8e9cfd-c774-44d1-8dd6-88ea535ca356 · outbound

This paper cites Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.531174Z

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.

Observation 291ca5db-d6a9-4d6b-a301-bf01ab4ce05f · outbound

This paper cites Darg: Dynamic evaluation of large language models via adaptive reasoning graph, 2024.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Darg: Dynamic evaluation of large language models via adaptive reasoning graph, 2024

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.513963Z

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.

Observation a4c3e969-c9c0-40db-a937-ddacf53dfa8e · outbound

This paper cites Don't Make Your LLM an Evaluation Benchmark Cheater.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Don't Make Your LLM an Evaluation Benchmark Cheater

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.949778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf2d0fb5-43c7-4713-9fbc-d07cdf0f3425 · outbound

This paper cites Z., Yang, D., and Xie, X.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation Z., Yang, D., and Xie, X

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:40:09.495937Z

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.

Observation 8dc153de-a210-45bf-b931-341a7a45cb56 · outbound

This paper cites write newline.

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation write newline

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-15T19:40:08.960042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation c4061381-fefe-4817-97eb-c3eb4dfb5b28 · inbound

CauSim: Scaling Causal Reasoning with Increasingly Complex Causal Simulators cites this paper.

CauSim: Scaling Causal Reasoning with Increasingly Complex Causal Simulators RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-12T07:31:29.417099Z

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.