Paper Citation Record · LEDGER

Combining model tracing and constraint-based modeling for multistep strategy diagnoses

As of 9 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13652.

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

pith.paper-citation-record.v1
2507.13652 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:23:36.271986Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

26 of 26 outbound references displayed

verified exact3
verified fuzzy5
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 820c6e95-7024-4d8f-8529-47b8e299700a · outbound

This paper cites Model tracing and constraint-based modeling are two approaches to diagnose student input in stepwise tasks.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Model tracing and constraint-based modeling are two approaches to diagnose student input in stepwise tasks

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:38.474810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a01ccf94-6951-463b-a44b-37cc85752791 · outbound

This paper cites R., Corbett, A.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses R., Corbett, A

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:34.617025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 145530d6-075b-4a6e-9fe0-852bbeb0957a · outbound

This paper cites Automated Feedback in Math Education: A Comparative Analysis of LLMs for Open-Ended Responses.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Automated Feedback in Math Education: A Comparative Analysis of LLMs for Open-Ended Responses

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:34.721474Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7439ef70-6092-4375-a4f4-5a831cdab59c · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:34.782720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8c1f97b-bbba-4c15-ae5a-2bae7c47348a · outbound

This paper cites In this learning environment, a student could enter a solution in a stepwise fashion and receive feedback.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses In this learning environment, a student could enter a solution in a stepwise fashion and receive feedback

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:37.713571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1e572fc4-7bc5-4824-88e2-9333040f6461 · outbound

This paper cites R., Boyle, C.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses R., Boyle, C

Reference 6

Resolution: verified exact; doi, observed 2026-08-06T16:23:36.756545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation adf257f2-534d-4065-b535-a2a2e8a6a9cb · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.004096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c731510-14f4-48c4-9da7-c87e08ab46c4 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.134133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b021464e-92bd-412f-8ed3-8818cc624b76 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:34.857826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75788cee-ca62-471e-abb9-ab209228154c · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:34.923977Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc90658f-4c9a-4e74-83a4-d42cbf621abc · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.433572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51581fe1-d104-428b-8f39-db009980d446 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.507370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 910d91eb-fb02-4fa1-a0f9-bf9e89220b33 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.572038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd084b4e-6d88-4e57-9028-4413c327fb0b · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.248132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33419aca-0acf-4d70-a5fb-8f30f67984e7 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.349875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4be710ef-5770-41f2-8e60-5ebc75ba5929 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T16:23:36.539165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 22b116e8-ec88-45f6-9d15-9eddb586c8e9 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.870466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a42c3e56-91ae-4ac3-887a-ea4923bff6ee · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T16:23:36.408973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a1aec756-a4d2-4c7a-8b54-1eb0789d28b1 · outbound

This paper cites R., & Martin, B.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses R., & Martin, B

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:35.642229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2e24032-c2d8-48dd-a2a6-b9894ed1e8a3 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:23:37.490529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7cefa1d5-5873-4864-99fd-59e3c1ab0e79 · outbound

This paper cites R., Flatt, O., Tatlock, Z., & Panchekha, P.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses R., Flatt, O., Tatlock, Z., & Panchekha, P

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:36.271986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 805136ed-3321-401e-bf68-687a397bed75 · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:36.087250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a871203f-e8ad-45f0-88ff-3c84a2ed7ede · outbound

This paper cites an unresolved cited work.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:23:37.215122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6b793492-f496-4cb2-b8f4-00dae4514dcf · outbound

This paper cites Correct rewrite step, but unknown.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Correct rewrite step, but unknown

Reference 1995

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:38.318099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d7e2378f-9149-4ad3-a4e4-62b72cd12756 · outbound

This paper cites Table 1 shows that cognitive fidelity is gener-ally higher for MT than for CBM.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses Table 1 shows that cognitive fidelity is gener-ally higher for MT than for CBM

Reference 2003

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:37.926759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9d8bcce2-ba6d-425c-8cad-43e7a22c36ce · outbound

This paper cites the student input is of the form 𝑥=𝑘.

Combining model tracing and constraint-based modeling for multistep strategy diagnoses the student input is of the form 𝑥=𝑘

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:38.123322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.