Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-15T21:21:39.598396Z
Paper Citation Record · LEDGER
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.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-15T21:21:39.598396Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T20:26:10.639085Z
A source-named dated measurement, never combined with another source.
Source: cited_works
70 of 70 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation a8c90b06-ab4b-4762-a082-4519c9c82c1b · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Self-Refine: Iterative refinement with self-feedback
Reference 1
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.
Observation aa942bef-9dde-4364-a188-70f6a09d25ca · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Large language models cannot self-correct reasoning yet
Reference 2
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.
Observation bdefb2ac-d321-4d2c-bf25-6f0459498254 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Reflexion: Language agents with verbal reinforcement learning
Reference 3
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.
Observation af78d228-e656-448d-8aa8-befa9cccc351 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LEVER: Learning to verify language-to-code generation with execution
Reference 4
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.
Observation a821e372-8827-4d0d-93a6-976e7a479759 · outbound
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
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.
Observation af506389-662a-40df-bd21-8d303ae47f7a · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Chain-of-experts: When LLMs meet complex operations research problems
Reference 6
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.
Observation bbd1a5b2-4c89-49b1-8f00-bcc25cc2ac84 · outbound
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
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.
Observation 1381b144-41c0-43a0-9f26-2d96d1b38b0a · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LLMOPT: Learning to define and solve general optimization problems from scratch
Reference 8
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.
Observation 95e02aff-e264-4b51-9288-5ccf13f76a1c · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization OptMATH: A scalable bidirectional data synthesis framework for optimization modeling
Reference 9
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.
Observation 6e107403-abad-49cf-9ea9-c277c1404b7e · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Solver-informed RL: Grounding large language models for authentic optimization modeling
Reference 10
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.
Observation f3702bb1-2d63-48df-bbce-966f63af8c70 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization arXiv preprint arXiv:2601.09635 (2026)
Reference 11
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.
Observation 14ecb15e-17b9-496b-ba76-42914834446e · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Blood Glucose Prediction Algorithms Require Clinically Relevant Performance Criteria Beyond Accuracy
Reference 12
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.
Observation ec371895-d8eb-4309-912d-0bcb5279e651 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization CodeT: Code generation with generated tests
Reference 13
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.
Observation 2cc761f0-5f62-49bc-a7e2-19109c4ab3fd · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Tsitsiklis.Introduction to Linear Optimization
Reference 14
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.
Observation eb7e7e58-1bb8-4695-96d6-13f143c4e165 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Vanderbei.Linear Programming: Foundations and Extensions
Reference 15
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.
Observation 59afd810-df08-477a-9149-4a4b5bd49c03 · outbound
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
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.
Observation 8e47e74b-d5d4-4b3c-b43f-65c5b6e44530 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Clarke, Orna Grumberg, and Doron A
Reference 17
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.
Observation 3bbacbbd-0dcf-4428-b4b1-fe3f6ce68d28 · outbound
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
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.
Observation c14fa036-499b-427a-9c7e-364ef0d9f57d · outbound
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
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.
Observation 2a7a66e7-3a62-41af-990e-dd6e9c84ddf6 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Gurobi optimizer reference manual.https://www.gurobi.com
Reference 20
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.
Observation a53fdc43-2cab-4560-8785-c5b1d56e2743 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization DeepSeek-V3 Technical Report
Reference 21
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.
Observation 4e2a1e0b-9b7d-4bf9-b4cb-776107571d03 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Qwen3 Technical Report
Reference 22
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.
Observation b866be1f-d2fb-4d67-a009-166fa932f9d7 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Modification
Reference 23
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.
Observation 9ebb908a-9a01-4e0e-a539-e3fddf07b1e5 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization |"|v) [:4] , where the input string is
Reference 24
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.
Observation 87e4d267-da3a-45e5-a145-062dd92e83fa · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 25
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.
Observation 4d2f238f-c392-438a-9c8b-85a1d56659e3 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 26
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.
Observation 7a6a6090-9031-4501-9047-ec11d4d36ac7 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization periods": int
Reference 27
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.
Observation dd1c7bf5-b8b3-4b89-a4c8-bea1bb2bee16 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization data is pre-loaded, do NOT use file I/O
Reference 28
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.
Observation 625f0a65-4696-4c9c-90f5-1fcdd930da7d · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization No[DATA SCHEMA]or[DATA ACCESS]sections appear
Reference 29
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.
Observation efbd0644-802d-471b-b94d-3fc3b279b16b · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization parse the JSON data above (usejson.loadson the string)
Reference 30
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.
Observation af466a8f-8a06-41fd-97ad-127846c7a551 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization loads on the string )
Reference 31
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.
Observation 03a13c78-6315-42a4-8ebd-04b34e9730d6 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 32
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.
Observation 13b90249-3c9d-494a-88fb-f039c3abcfcb · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization The[BUSINESS DESCRIPTION]is identical and omitted here
Reference 33
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.
Observation aaea9637-068e-4984-88ba-aa7bd7162dc5 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Modification
Reference 34
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.
Observation 641ac078-26a9-4340-8a62-18978f022385 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization capacity
Reference 35
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.
Observation f33661a0-9e71-46d0-bf99-2c6348740bc0 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization The extraction path enables L2 behavioral testing via data-dict perturbation
Reference 36
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.
Observation 53c86b9a-c548-445a-b158-5fe33601806e · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 37
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.
Observation 0c7e63e9-2310-40d1-92dd-fa4e5cf36f94 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 38
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.
Observation 45a4920d-3fd4-4a42-acbd-eb6dc9db6bf4 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 39
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.
Observation 60ca185b-0814-42b5-9d58-0c78457adce8 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization status: {m.Status}
Reference 40
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.
Observation 7d69073a-3442-4e95-833b-645a637d850b · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 41
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.
Observation b7b0cd7e-588f-4f90-800c-abdabfe80af5 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Parameters (reference the data keys listed below)
Reference 42
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.
Observation 7557705c-d829-4210-b066-50918eb5ae03 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 43
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.
Observation d3e54e35-69c4-4686-9ca6-5ac4366f9ff9 · outbound
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
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.
Observation a30cedf5-b831-4db4-bdbb-ac9451f8d16e · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 45
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.
Observation f101640d-3283-45f6-919c-9b0e8bf21f9b · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 46
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.
Observation 43cf5d5f-3e0a-4c83-8be5-c9ed1fc014d0 · outbound
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
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.
Observation 7466054d-52ea-4dd8-8775-4765899eaca2 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 48
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.
Observation 89dc536b-c11f-4a83-a4ab-27f91c1709fa · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 49
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.
Observation c9034319-413a-4d61-a1d1-0453728b12ad · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization description
Reference 50
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.
Observation c79178ff-9119-4b53-9ba2-f791a762f186 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Used when the code reads from thedatavariable
Reference 51
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.
Observation f398502e-e20c-49f2-9407-d3966c8022c1 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 52
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.
Observation 0e24b6f1-325f-4058-ab07-f0138fb3f160 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 53
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.
Observation dbc3336d-9f4a-4428-880f-b418326973cb · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 54
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.
Observation fd91cb4f-0d67-4b0c-8f03-9dbef6975368 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization 31 Objective Term Extraction Prompt
Reference 55
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.
Observation 108d294b-f252-4e36-b1f6-0def7c0a078b · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 56
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.
Observation a99db4fe-9cbf-4450-b79e-84525377cfcd · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization description
Reference 57
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.
Observation 3f72fd9f-fd4d-4a07-bae1-a5195822c1e6 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 58
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.
Observation c6e3e211-94dd-44da-b2ed-194c8ad384a4 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 59
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.
Observation ec0d979a-af51-4278-9189-29de5f2f38dc · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 60
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.
Observation 26467034-17d3-4a24-b17c-f777d66a9d2d · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 61
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.
Observation 6fe17055-17ac-41e3-a80c-bb8cb6fe24b8 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 62
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.
Observation ba70478e-b0d6-479e-b774-0f39570d2db0 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 63
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.
Observation 4153d20c-1771-447f-8ae5-38e4ca1361a4 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 64
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.
Observation 3f7e3267-1b74-4b47-9b2b-dd17c78cffea · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 65
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.
Observation eaf5b065-649c-4e74-9dad-913d99eaf9c6 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 66
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.
Observation 8aa57667-4190-4337-b1e0-2f8a41896fdb · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 67
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.
Observation ede48587-130f-461b-a2b2-68b52b8fca31 · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Code is self-contained
Reference 68
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.
Observation fe55dee2-3661-486f-8e6d-206f28135cd5 · outbound
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
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.
Observation eccc1cc8-5cf7-4f85-8449-9903dd97c86d · outbound
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization Unresolved cited work
Reference 70
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.
Observation 44c1467d-91b7-43d2-ab6c-813ec96a2abe · inbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.