Pith. sign in

Paper Citation Record · LEDGER

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization

As of 5 August 2026, this Paper Citation Record lists 70 of 70 outbound references and 1 inbound Pith citation observation for arXiv:2602.15983.

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

pith.paper-citation-record.v1
2602.15983 v2

Coverage vector

measured 70 of 70 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-15T21:21:39.598396Z

measured 71 of 71 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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-08-01T20:26:10.639085Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

70 of 70 outbound references displayed

  • verified exact4
  • verified fuzzy36
  • unresolved27
  • parse uncertain0
  • malformed identifier2
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a8c90b06-ab4b-4762-a082-4519c9c82c1b · outbound

This paper cites Self-Refine: Iterative refinement with self-feedback.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Self-Refine: Iterative refinement with self-feedback

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.164902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:dd417283ba865d6efb3195ec66c75b027fc3b9092ffaaec4c65044385193082f

Observation aa942bef-9dde-4364-a188-70f6a09d25ca · outbound

This paper cites Large language models cannot self-correct reasoning yet.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Large language models cannot self-correct reasoning yet

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.169091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:5b5789302016a63203986e633d576398a37dae346d251054831a5d55054c0d65

Observation bdefb2ac-d321-4d2c-bf25-6f0459498254 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Reflexion: Language agents with verbal reinforcement learning

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.338822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:270096c17f40a9d272aff982107ef253654260473526259fb7b715a705c199b9

Observation af78d228-e656-448d-8aa8-befa9cccc351 · outbound

This paper cites LEVER: Learning to verify language-to-code generation with execution.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LEVER: Learning to verify language-to-code generation with execution

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.286340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:a7c11073cc163ce182d7ac8bc414debdada5652ca6c382736fc28d45acb58067

Observation a821e372-8827-4d0d-93a6-976e7a479759 · outbound

This paper cites OptiMUS: Scalable optimization modeling with (MI)LP solvers and large language models.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization OptiMUS: Scalable optimization modeling with (MI)LP solvers and large language models

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.227172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:a61cf2fe13f6811e0a716772224eb05b9dd1d41c9238bccfe90d556d8fb032cd

Observation af506389-662a-40df-bd21-8d303ae47f7a · outbound

This paper cites Chain-of-experts: When LLMs meet complex operations research problems.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Chain-of-experts: When LLMs meet complex operations research problems

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.268678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b7bf0c02f292160a68a8fcd3bd40c324fadd60f300ff4b6db2bb03d5907b4517

Observation bbd1a5b2-4c89-49b1-8f00-bcc25cc2ac84 · outbound

This paper cites ORLM: A customizable framework in training large models for automated optimization modeling.Operations Research, 73(6):2986–3009.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization ORLM: A customizable framework in training large models for automated optimization modeling.Operations Research, 73(6):2986–3009

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.293660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:d6f601b22aef111f8758c2289b976afdfe7645f5343627e267e06521aa8c62e0

Observation 1381b144-41c0-43a0-9f26-2d96d1b38b0a · outbound

This paper cites LLMOPT: Learning to define and solve general optimization problems from scratch.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LLMOPT: Learning to define and solve general optimization problems from scratch

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.382508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:54a937d3474160ae6a519ccaa0ef4bc4261540b55edb6e7680b0c7ff9ff2ec3f

Observation 95e02aff-e264-4b51-9288-5ccf13f76a1c · outbound

This paper cites OptMATH: A scalable bidirectional data synthesis framework for optimization modeling.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization OptMATH: A scalable bidirectional data synthesis framework for optimization modeling

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.368630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:a037b3c989c402febe4148a2a1f91fb7235b74cecb2830a5616ede665d6891df

Observation 6e107403-abad-49cf-9ea9-c277c1404b7e · outbound

This paper cites Solver-informed RL: Grounding large language models for authentic optimization modeling.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Solver-informed RL: Grounding large language models for authentic optimization modeling

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.174164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:6a58f52d3257becfdf0ad0570cadcb8f358ce9f00a716648e0ee237ba2bfa7bd

Observation f3702bb1-2d63-48df-bbce-966f63af8c70 · outbound

This paper cites arXiv preprint arXiv:2601.09635 (2026).

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization arXiv preprint arXiv:2601.09635 (2026)

Reference 11

Resolution
verified exact
arxiv_id, observed 2026-05-15T21:30:21.023349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:8df3440ced784cccb4933e22f8c77ef163a9a684432712598cb882d66f0148f3

Observation 14ecb15e-17b9-496b-ba76-42914834446e · outbound

This paper cites Blood Glucose Prediction Algorithms Require Clinically Relevant Performance Criteria Beyond Accuracy.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Blood Glucose Prediction Algorithms Require Clinically Relevant Performance Criteria Beyond Accuracy

Reference 12

Resolution
metadata mismatch
arxiv_id, observed 2026-05-15T21:26:39.721051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:1859e52b8556b2dabab1a7c2cc252460d5425b94eb4914b1c428448817f7406f

Observation ec371895-d8eb-4309-912d-0bcb5279e651 · outbound

This paper cites CodeT: Code generation with generated tests.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization CodeT: Code generation with generated tests

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.314659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:90d05808d465980f737a1e673d2e6a6ef372a45bcd73ef28b9a19e29b7650217

Observation 2cc761f0-5f62-49bc-a7e2-19109c4ab3fd · outbound

This paper cites Tsitsiklis.Introduction to Linear Optimization.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Tsitsiklis.Introduction to Linear Optimization

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.411821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:19cae3c1d143f92df523a792344787d2dae7516c2b4370e4f09bfd09896f3388

Observation eb7e7e58-1bb8-4695-96d6-13f143c4e165 · outbound

This paper cites Vanderbei.Linear Programming: Foundations and Extensions.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Vanderbei.Linear Programming: Foundations and Extensions

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.416112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:ab73cb42d1cee0d2f635a7e9e80a97ea6037d96a6f31ce1f11e337fd48b189da

Observation 59afd810-df08-477a-9149-4a4b5bd49c03 · outbound

This paper cites Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.280706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b6823570e56927da1529024a6975b59bfec73f7de3e508369237961ff0e0256a

Observation 8e47e74b-d5d4-4b3c-b43f-65c5b6e44530 · outbound

This paper cites Clarke, Orna Grumberg, and Doron A.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Clarke, Orna Grumberg, and Doron A

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.353385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:0b8ccbe94ed9347dbef61e6cea18ecc8d59afd1358ef7d8bbc7643948954762a

Observation 3bbacbbd-0dcf-4428-b4b1-fe3f6ce68d28 · outbound

This paper cites NL4Opt com- petition: Formulating optimization problems based on their natural language descriptions.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization NL4Opt com- petition: Formulating optimization problems based on their natural language descriptions

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.326195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:25d31883dc598e71efa9f1e14a2a9dd0744865d5e867a18c5229be62ef139007

Observation c14fa036-499b-427a-9c7e-364ef0d9f57d · outbound

This paper cites LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 19

Resolution
verified exact
arxiv_id, observed 2026-05-15T21:30:21.015302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:92b4be11e7a947ca1f293852cb6d203b429da390d18fe40bab13f05d5d4c0c35

Observation 2a7a66e7-3a62-41af-990e-dd6e9c84ddf6 · outbound

This paper cites Gurobi optimizer reference manual.https://www.gurobi.com.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Gurobi optimizer reference manual.https://www.gurobi.com

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.205036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b9d9d8fbe50f0fb2c7c163cfdddc498569f8a0525f31d11d6384f29d8616661c

Observation a53fdc43-2cab-4560-8785-c5b1d56e2743 · outbound

This paper cites DeepSeek-V3 Technical Report.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization DeepSeek-V3 Technical Report

Reference 21

Resolution
verified exact
local_arxiv, observed 2026-05-15T21:30:21.016549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b3421269da4484deed1465b425b41e00294d9721fae4451ace2abe306c837540

Observation 4e2a1e0b-9b7d-4bf9-b4cb-776107571d03 · outbound

This paper cites Qwen3 Technical Report.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Qwen3 Technical Report

Reference 22

Resolution
verified exact
local_arxiv, observed 2026-05-15T21:30:21.021340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:70d9f248e07be378a23f50e33873abb6a7c1f8028ecda6932439c948a76bc334

Observation b866be1f-d2fb-4d67-a009-166fa932f9d7 · outbound

This paper cites Modification.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Modification

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.200608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:23aec5e66091fe3119b97a99dde82d4544ec0f3e90f8d6d0b1828f5dc8d24544

Observation 9ebb908a-9a01-4e0e-a539-e3fddf07b1e5 · outbound

This paper cites |"|v) [:4] , where the input string is.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization |"|v) [:4] , where the input string is

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.602822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b25e3d94557edd3520d4304a286f61959cc78f3f14db2a79852afa2b8613bb52

Observation 87e4d267-da3a-45e5-a145-062dd92e83fa · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.189578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:43ce6c0f2c9a5291eeb1dc2f4bd8bf06cc4049ef39df857df0ac042a0260c1af

Observation 4d2f238f-c392-438a-9c8b-85a1d56659e3 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.646085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:96b8b2df0a7722d0dd165d6666bbe692d1dfe085f3a0a0963ffa7a98faaadfd5

Observation 7a6a6090-9031-4501-9047-ec11d4d36ac7 · outbound

This paper cites periods": int.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization periods": int

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.625025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:8a072c0ee6f93c8d7fde1d007317a674df7770de9076a75449984a8cffaaac42

Observation dd1c7bf5-b8b3-4b89-a4c8-bea1bb2bee16 · outbound

This paper cites data is pre-loaded, do NOT use file I/O.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization data is pre-loaded, do NOT use file I/O

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.658404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:cc563e7bcdfaec598498780c59bca9fdea3b09d75d18194db91f0e70da3ffeba

Observation 625f0a65-4696-4c9c-90f5-1fcdd930da7d · outbound

This paper cites No[DATA SCHEMA]or[DATA ACCESS]sections appear.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization No[DATA SCHEMA]or[DATA ACCESS]sections appear

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.299185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:67209510a0a7fae662a50ac20be5142e3a552c9cd54b131f2dce9e9e129018ad

Observation efbd0644-802d-471b-b94d-3fc3b279b16b · outbound

This paper cites parse the JSON data above (usejson.loadson the string).

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization parse the JSON data above (usejson.loadson the string)

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.401982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:c0a5c8344e48d1b4b8b49b3547fc5739269c4c5491e508b9d64df5103e92126b

Observation af466a8f-8a06-41fd-97ad-127846c7a551 · outbound

This paper cites loads on the string ).

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization loads on the string )

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.179010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:93d111e55c61c0a3369000583c825b2d74f82396213d6163b9bc39134c2bf4de

Observation 03a13c78-6315-42a4-8ebd-04b34e9730d6 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.612653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:43b54fecf9eeaaa1e569ee92cd64a480fa63dfe8e4bb9e9f756d3ac0125d2bc9

Observation 13b90249-3c9d-494a-88fb-f039c3abcfcb · outbound

This paper cites The[BUSINESS DESCRIPTION]is identical and omitted here.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization The[BUSINESS DESCRIPTION]is identical and omitted here

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.638109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:a08f4e4914359e889b85ce094d5861eded6ac116e706f113b1bf3e8cc12631f2

Observation aaea9637-068e-4984-88ba-aa7bd7162dc5 · outbound

This paper cites Modification.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Modification

Reference 34

Resolution
malformed identifier
raw_fallback, observed 2026-05-15T22:01:43.616903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:993b40bcecef16654e349465a7f59f1c5792540b4e4a4609ffc8eb134e349b51

Observation 641ac078-26a9-4340-8a62-18978f022385 · outbound

This paper cites capacity.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization capacity

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.621098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:b1da3e6da17a2ccd7a85c89ce8e22e4bf9cd7120eacd387eca63c14d9d1f2a42

Observation f33661a0-9e71-46d0-bf99-2c6348740bc0 · outbound

This paper cites The extraction path enables L2 behavioral testing via data-dict perturbation.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization The extraction path enables L2 behavioral testing via data-dict perturbation

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.406745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:3d87fa0e0950d1001184bba6ec7d9ae4c0e8581623b4541f9099de8f1c3f218f

Observation 53c86b9a-c548-445a-b158-5fe33601806e · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.275103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:2a53eed912088c936a0bf8e961bbe266e35ce6f9d319025632d1ee87b6037e23

Observation 0c7e63e9-2310-40d1-92dd-fa4e5cf36f94 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.420309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:84c956def38ac2bf29c9e586412efb8c07edf55f971cb5798c94ba4516d3306f

Observation 45a4920d-3fd4-4a42-acbd-eb6dc9db6bf4 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.310007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:8ade694cd89be83164bcbd13c659fc6e6fd9f2694abf4118e023bf2aa2dccb6d

Observation 60ca185b-0814-42b5-9d58-0c78457adce8 · outbound

This paper cites status: {m.Status}.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization status: {m.Status}

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.320099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:d3f0655ec0dcf1316f7f3b635068c5cd3e25718db81c0709d90adb0aa7ab9675

Observation 7d69073a-3442-4e95-833b-645a637d850b · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.304165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:9a58bcf2acfc698a946dd852b0d0cac1716565e3fa7875bed4cf5a63ca0356d0

Observation b7b0cd7e-588f-4f90-800c-abdabfe80af5 · outbound

This paper cites Parameters (reference the data keys listed below).

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Parameters (reference the data keys listed below)

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.654283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:1b5e816c181b64b81557088fd0d113b9d48885df697a46a53b11ec84fa9a4445

Observation 7557705c-d829-4210-b066-50918eb5ae03 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.650164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:5ccdbb53b7be725d154cb5d397be7222874b0cf9e7850ea357db6d608ab673d5

Observation d3e54e35-69c4-4686-9ca6-5ac4366f9ff9 · outbound

This paper cites Code is self-contained — all data is defined within the code itself.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Code is self-contained — all data is defined within the code itself

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.666414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:9706e51187bc6fb3b50372025e9627992cddc7122e83de895a08552023437fa9

Observation a30cedf5-b831-4db4-bdbb-ac9451f8d16e · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.641838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:1f46aad875472a0ab9bb09a2e831bab97c9035209c0bbb4cba14093dc9f3897c

Observation f101640d-3283-45f6-919c-9b0e8bf21f9b · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.332324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:8d458adbe7632e8653ca742a179e464dff25ce5173d13eecf9c2235ef008a2f0

Observation 43cf5d5f-3e0a-4c83-8be5-c9ed1fc014d0 · outbound

This paper cites ## Data Structure / Thedata variable is PRE-DEFINED with these keys: {schema} /CRITICAL: Do NOT create data = {...}. Just use data[.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization ## Data Structure / Thedata variable is PRE-DEFINED with these keys: {schema} /CRITICAL: Do NOT create data = {...}. Just use data[

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.608082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:ba124393ecd48c6c89eaeb0ef2dcd7279a43fc2d192b31afc5f24c388b84e07b

Observation 7466054d-52ea-4dd8-8775-4765899eaca2 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.683733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:4c04de2d19708638ab4dc2c5e6e929219458755d82afa89f7d1a57598a1020eb

Observation 89dc536b-c11f-4a83-a4ab-27f91c1709fa · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.633855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:977c125dcfb4a185dbcfc1718b997cb6043aa2001a8d16466419e7ea62665baf

Observation c9034319-413a-4d61-a1d1-0453728b12ad · outbound

This paper cites description.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization description

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.662365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:6ab9fe40aa7ceebbe1332fbcce8b045b16b1432f456632a169d17ec0f1526b1c

Observation c79178ff-9119-4b53-9ba2-f791a762f186 · outbound

This paper cites Used when the code reads from thedatavariable.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Used when the code reads from thedatavariable

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.235069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:809a83da013a85d5f4b91689adf0962d3cdc8760c05479aa1a24797e375ac5b0

Observation f398502e-e20c-49f2-9407-d3966c8022c1 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.374750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:375d216b0e6f1a34a31640ebe23e6fbdde504e7811127e2c72bc359ed81dc582

Observation 0e24b6f1-325f-4058-ab07-f0138fb3f160 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 53

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.253861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:acdefa27a01f9e1705953252fb2658247b2fed20ac0e878459de9a4333198abf

Observation dbc3336d-9f4a-4428-880f-b418326973cb · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.629224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:595f2ef06ebe805144e314ba960fe65c563266fe6bac7419fecc9918631a264e

Observation fd91cb4f-0d67-4b0c-8f03-9dbef6975368 · outbound

This paper cites 31 Objective Term Extraction Prompt.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization 31 Objective Term Extraction Prompt

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:01:43.670564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:e7c4faeb38bd4782ce9b021d2bea1df1094841899179bffa850aff55724b4066

Observation 108d294b-f252-4e36-b1f6-0def7c0a078b · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.209516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:171bc170a83ea5d317575e13273e036d68afb3e6c36892e1921d84485a1e2e0f

Observation a99db4fe-9cbf-4450-b79e-84525377cfcd · outbound

This paper cites description.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization description

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.246408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:5045799baf92e75391004f996257e16ca42311e0766c0e4a64122837d9ea758f

Observation 3f72fd9f-fd4d-4a07-bae1-a5195822c1e6 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.392209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:35315e48b1e94b44f3132ee3aae64417f10199d38627bf30b2f59412dc882b65

Observation c6e3e211-94dd-44da-b2ed-194c8ad384a4 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.387604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:26b6cefbce32acef21886f82d0662a4feaf11280fffe85ece8af8feb277d9325

Observation ec0d979a-af51-4278-9189-29de5f2f38dc · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 60

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.221421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:eaba05995114fcbf5f2e46a2fceace76e1d8cff23fb4731dd43becb59c5948b6

Observation 26467034-17d3-4a24-b17c-f777d66a9d2d · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 61

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.214880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:79e39309a81f38ab5ed6a6460a84a6172f46bcd6d1f7850d242b05611b9be13b

Observation 6fe17055-17ac-41e3-a80c-bb8cb6fe24b8 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.183397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:6a8c1aa946c8e2cc90e98a297b23211c7ab5111da5c622f068d909afd17869d9

Observation ba70478e-b0d6-479e-b774-0f39570d2db0 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 63

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.260278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:9fd506a4c2bf5f0fedee4a45bf83c3f21a9976b297d660e0930074bad313a6da

Observation 4153d20c-1771-447f-8ae5-38e4ca1361a4 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 64

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:01:43.675055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:153bb64500e51e3a80df5db96b7af63f1f1c5986021d431beac693c1864749c9

Observation 3f7e3267-1b74-4b47-9b2b-dd17c78cffea · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 65

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.346335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:89def3e4ab16d468cfa4b80c30c7f3819d77dd3996da1a409a175eae3a200e81

Observation eaf5b065-649c-4e74-9dad-913d99eaf9c6 · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 66

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.241225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:32e30dccd34b1cda14b47a1c6479684ffbd460fc809bd6e24498efa5cb49570e

Observation 8aa57667-4190-4337-b1e0-2f8a41896fdb · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 67

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.397476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:a12e9ba911823db985a1a43df9477cf4247c1860244ec710a7daf29da0916ae0

Observation ede48587-130f-461b-a2b2-68b52b8fca31 · outbound

This paper cites Code is self-contained.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Code is self-contained

Reference 68

Resolution
verified fuzzy
raw_fallback, observed 2026-05-15T22:11:44.196269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:3c86b2c1b287444c1097f9e57c624bbd6295777e0453573abc473d9007edd2fd

Observation fe55dee2-3661-486f-8e6d-206f28135cd5 · outbound

This paper cites Exception: data = json.loads(...) is allowed as it re-parses existing data rather than fabricating values.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Exception: data = json.loads(...) is allowed as it re-parses existing data rather than fabricating values

Reference 69

Resolution
malformed identifier
raw_fallback, observed 2026-05-15T22:01:43.679593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:e1641ca5472415a0cdf44e6bfe2d6eb73287e03a453c6a685371b5bca47dd45b

Observation eccc1cc8-5cf7-4f85-8449-9903dd97c86d · outbound

This paper cites an unresolved cited work.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work

Reference 70

Resolution
unresolved
raw_fallback, observed 2026-05-15T22:11:44.362113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

source=pdf_text observed=2026-05-15T21:21:39.598396Z digest=sha256:d638d21db048fc824fe990181707fa0359801e4a566c9b8411a361558e915fcb

Pith citing papers

Observation 44c1467d-91b7-43d2-ab6c-813ec96a2abe · inbound

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits cites this paper.

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-01T20:26:10.639085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-01T20:26:10.639085Z digest=sha256:7edfb1a21dd216494225d3a526e87cd050370c9cd028d17e00822756767ee231