Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T10:14:48.339108Z
Paper Citation Record · LEDGER
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
As of 21 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 1 inbound Pith citation observation for arXiv:2504.18691.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T14:15:35.926276Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
23 of 23 outbound references displayed
- verified exact1
- verified fuzzy15
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 807c9b3f-d491-4341-a784-e0aac80ed6e3 · outbound
This paper cites an unresolved cited work.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.249520Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a591fe22-9f0f-45ce-8537-abded6baa852 · outbound
This paper cites an unresolved cited work.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T10:14:48.618083Z
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 b3c5955a-04f7-41bb-881b-d927839b8181 · outbound
This paper cites StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.257411Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90546a27-dd9a-4431-b3bb-a27ff834f3db · outbound
This paper cites Conversing with copilot: Exploring prompt engineering for solving cs1 problems using natural language.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Conversing with copilot: Exploring prompt engineering for solving cs1 problems using natural language
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.607343Z
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 2aaeee5c-fcd2-4774-9459-29b99fbd77fa · outbound
This paper cites A., and Reeves, B.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions A., and Reeves, B
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.596013Z
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 1de15617-8530-4e5e-8d64-3e39d6544f75 · outbound
This paper cites A., Finnie-Ansley, J., Hellas, A., Leinonen, J., Luxton-Reilly, A., Reeves, B.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions A., Finnie-Ansley, J., Hellas, A., Leinonen, J., Luxton-Reilly, A., Reeves, B
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.584143Z
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 46cad626-9e22-45af-b54c-038e8d9cc067 · outbound
This paper cites H., Fowler, M., Prather, J., Becker, B.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions H., Fowler, M., Prather, J., Becker, B
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.571101Z
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 d7acd5fb-cfc8-4a24-80b6-789dea4da3c9 · outbound
This paper cites Promoting early engagement with programming assignments using scheduled automated feedback.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Promoting early engagement with programming assignments using scheduled automated feedback
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.560429Z
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 5e8f3c7d-db16-45ec-a477-77f25cc43dde · outbound
This paper cites Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.281831Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f870e2e5-567f-4126-ae2b-c72e257b2ad4 · outbound
This paper cites Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.286530Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7eaf76d9-9261-4a1c-8218-4e6e835540a2 · outbound
This paper cites A., Qin, H., Macedo, M., Tian, Y., Ding, S.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions A., Qin, H., Macedo, M., Tian, Y., Ding, S
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.548725Z
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 a915ce0e-283d-4278-ba21-386b6e454047 · outbound
This paper cites Exploring zero-shot and few-shot learning capabilities in llms for complex query handling, 2022.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Exploring zero-shot and few-shot learning capabilities in llms for complex query handling, 2022
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.536586Z
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 66b170b4-6d52-43b4-ade8-f1ded6179c57 · outbound
This paper cites H., Park, S., Lee, J., Jeong, K., and Kang, P.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions H., Park, S., Lee, J., Jeong, K., and Kang, P
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.525535Z
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 932626aa-daf0-41e1-9123-6964a62e1bfa · outbound
This paper cites Organizational research: Determining appropriate sample size in survey research appropriate sample size in survey research.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Organizational research: Determining appropriate sample size in survey research appropriate sample size in survey research
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.514378Z
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 007cba4e-dc30-4b5a-8ee2-c88881ab9248 · outbound
This paper cites C., and V anLehn, K.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions C., and V anLehn, K
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.503039Z
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 4c9c69f0-ba29-4fa9-b3d0-5fb96f150526 · outbound
This paper cites ban it till we understand it.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions ban it till we understand it
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.311196Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4409a140-baa5-4116-9e78-6238aa7ec454 · outbound
This paper cites Comparing code explanations created by students and large language models.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Comparing code explanations created by students and large language models
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.480557Z
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 8b38e5b5-4793-4ba2-8c75-87f6a4f979ca · outbound
This paper cites Using an llm to help with code understanding.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Using an llm to help with code understanding
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.467161Z
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 fd583793-f9f2-41e6-9df5-d2944e0491db · outbound
This paper cites Bugspotter: Automated generation of code debugging exercises.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Bugspotter: Automated generation of code debugging exercises
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.453425Z
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 0df60869-b4bf-4e4f-851e-cc9bd408f7b4 · outbound
This paper cites it’s weird that it knows what i want.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions it’s weird that it knows what i want
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:14:48.326164Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d863cda-5ce3-4214-8652-162645d54d0e · outbound
This paper cites Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T10:14:48.376410Z
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 05be9cb6-5452-4a70-9b8b-7e04bda73fb6 · outbound
This paper cites H., Denny, P., and Fowler, M.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions H., Denny, P., and Fowler, M
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.433673Z
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 b46a9f88-e592-40db-87df-25612bd6201f · outbound
This paper cites Y., Hartmann, B., and Y ang, Q.
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions Y., Hartmann, B., and Y ang, Q
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:14:48.421428Z
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
Observation 15bfaba7-8a6b-4428-ba66-b02fdd776f4b · inbound
Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI cites this paper.
Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:15:35.926276Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.