Paper Citation Record · LEDGER

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation

As of 20 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2608.02641.

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

pith.paper-citation-record.v1
2608.02641 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:27:07.006746Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

21 of 21 outbound references displayed

verified exact0
verified fuzzy10
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 31f4c7dd-2517-4a25-b38c-dae48fa02517 · outbound

This paper cites 2023 , organization=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation 2023 , organization=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T15:27:06.943242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e221cb89-ab3a-495c-bb93-66a0e36badc1 · outbound

This paper cites 2025 , publisher=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation 2025 , publisher=

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.184500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 07910667-59f6-4236-8b7c-4f119f28ae99 · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.175010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 705c7e64-e465-4460-8d59-7bc5141023e0 · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.166134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 59509519-d2fc-47d9-a657-f772af6a58f5 · outbound

This paper cites Chain-of-Experts: When.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Chain-of-Experts: When

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T15:27:06.957985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 376318db-362f-41c4-a2f7-ed400500811a · outbound

This paper cites Autoformulation of Mathematical Optimization Models Using.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Autoformulation of Mathematical Optimization Models Using

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.152654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25cbef0c-5981-4433-852b-99b16cfbb047 · outbound

This paper cites 2025 , doi=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation 2025 , doi=

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.142275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5759c587-a2e1-43ae-851a-fd81b099e281 · outbound

This paper cites A Survey of Optimization Modeling Meets.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation A Survey of Optimization Modeling Meets

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.133044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a99409ed-0f84-4073-bd6e-6e9c546b1966 · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.124905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 54484fb3-3a91-44c1-bc00-b5f2344ac202 · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.116863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ccac828e-f560-473b-9838-d58ada5e75b7 · outbound

This paper cites Evo-Step: Evolutionary Generation and Stepwise Validation for Optimizing.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Evo-Step: Evolutionary Generation and Stepwise Validation for Optimizing

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.109320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 82776531-2357-4363-a9bf-7581dbe5c164 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Advances in Neural Information Processing Systems , volume=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T15:27:06.979174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f14f132-a5e6-4682-b440-3cf2e0248d6f · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Proceedings of the AAAI Conference on Artificial Intelligence , volume=

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.096328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 058bed6d-adc6-4201-bb53-4160d1e8610a · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Advances in Neural Information Processing Systems , volume=

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T15:27:06.985932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f36ca6a1-2f54-4d66-b89d-f14e81c40e50 · outbound

This paper cites INFOR: Information Systems and Operational Research , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation INFOR: Information Systems and Operational Research , volume=

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.083530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6141f66f-f502-4258-88f7-a9ea470e95c8 · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.075015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d2a5b728-5804-4a76-b05d-b86b5023995b · outbound

This paper cites an unresolved cited work.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:27:07.066600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d6ef5e24-97bd-4d47-8bcd-aac983725212 · outbound

This paper cites A Review of Current Trends, Techniques, and Challenges in Large Language Models (.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation A Review of Current Trends, Techniques, and Challenges in Large Language Models (

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.057597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9e339095-3dae-4902-9e81-6c82305b5c72 · outbound

This paper cites City-LEO: Toward Transparent City Management Using LLM with End-to-End Optimization.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation City-LEO: Toward Transparent City Management Using LLM with End-to-End Optimization

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T15:27:07.001323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87880454-142d-48a8-9912-62dfb29cd5e9 · outbound

This paper cites Mathematics , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Mathematics , volume=

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.048321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 92fc6a33-cad7-4679-b576-ecd1e1d2df8c · outbound

This paper cites Artificial Intelligence , volume=.

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation Artificial Intelligence , volume=

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:27:07.038309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.