{"as_of":"2026-08-21T04:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4d5164c3bdf9376054956db8a9c212a693f7eb75456ec31a3574291179a11270","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T10:14:48.339108Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:15:35.926276Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.18691","snapshot_observed_at":"2026-08-07T14:15:35.926276Z","title":"From prompts to propositions: A logic-based lens on student-llm interactions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19443","last_updated":"2025-05-26T03:00:21Z","snapshot_observed_at":"2026-08-20T00:20:09.989630Z","submitted_at":"2025-05-26T03:00:21Z","title":"Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T14:15:35.926276Z"},"links":{"cited_paper":"/paper/2504.18691","citing_paper":"/paper/2505.19443"},"observation_digest":"sha256:35344d1b02b9e3169029f661799b9b396f2edc3898bf82a97c12d0efe90349d4","observation_id":"15bfaba7-8a6b-4428-ba66-b02fdd776f4b","resolution":{"observed_at":"2026-08-07T14:15:35.926276Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2504.18691/citation-record","integrity":"/paper/2504.18691/integrity","json":"/paper/2504.18691/citation-record.json","paper":"/paper/2504.18691"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.249520Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.249520Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:8851c78f658d13604cbf19f7ced2fcda85f28e4a03f9c54df2e878517612a6ed","observation_id":"807c9b3f-d491-4341-a784-e0aac80ed6e3","resolution":{"observed_at":"2026-08-16T10:14:48.249520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.614103Z","title":null,"venue":null,"work_id":"bb9c9e45-e0f5-42dc-8189-bc13a69fc09c","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.253657Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:44e03816008cf67bed442dac0289f92cac48cd41ffddee19cc306269531befe0","observation_id":"a591fe22-9f0f-45ce-8537-abded6baa852","resolution":{"observed_at":"2026-08-16T10:14:48.618083Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.04556","last_updated":"2023-06-07T16:03:55Z","snapshot_observed_at":"2026-08-19T14:19:41.672482Z","submitted_at":"2023-06-07T16:03:55Z","title":"StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.04556","snapshot_observed_at":"2026-08-16T10:14:48.257411Z","title":"M., Nguyen, S., Zi, Y., Guha, A., Feldman, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.257411Z"},"links":{"cited_paper":"/paper/2306.04556","citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:2a02e7e1a66b11522c3b0af3a0d4ee0cd318cddf69c67ba737fa8633b7631aba","observation_id":"b3c5955a-04f7-41bb-881b-d927839b8181","resolution":{"observed_at":"2026-08-16T10:14:48.257411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.603823Z","title":"Conversing with copilot: Exploring prompt engineering for solving cs1 problems using natural language","venue":null,"work_id":"22a84cb7-5785-45c9-bdc6-7c74513d0dee","year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.261648Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:f057039af51936ba1962fbad666b62baf76d2b5da10110e81a1cd9e588500321","observation_id":"90546a27-dd9a-4431-b3bb-a27ff834f3db","resolution":{"observed_at":"2026-08-16T10:14:48.607343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.592500Z","title":"A., and Reeves, B","venue":null,"work_id":"c49c8a4d-f0af-4b6a-9155-3c23b46e0e03","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.265404Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:f6dc68e74f21f88f6a3e6de449668dedfe7e58ffa75ad0dba41717d2517dae66","observation_id":"2aaeee5c-fcd2-4774-9459-29b99fbd77fa","resolution":{"observed_at":"2026-08-16T10:14:48.596013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.579335Z","title":"A., Finnie-Ansley, J., Hellas, A., Leinonen, J., Luxton-Reilly, A., Reeves, B","venue":null,"work_id":"04773754-82dc-4d99-bd18-80fe5c7042d7","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.269404Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:16bcd6b8bc58df3c245c5e93c0d24aff9b7420bf0133628dda279954df2d3fb9","observation_id":"1de15617-8530-4e5e-8d64-3e39d6544f75","resolution":{"observed_at":"2026-08-16T10:14:48.584143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.567673Z","title":"H., Fowler, M., Prather, J., Becker, B","venue":null,"work_id":"e1879955-9923-441a-a42f-82bdfe6a1024","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.273329Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:00865fd9bd80f267620e3bc8017250522d981c450e55445b9959b4c615c98fc8","observation_id":"46cad626-9e22-45af-b54c-038e8d9cc067","resolution":{"observed_at":"2026-08-16T10:14:48.571101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.556170Z","title":"Promoting early engagement with programming assignments using scheduled automated feedback","venue":null,"work_id":"a6397b3c-ad9b-4d4a-b30e-1e3438c34a07","year":2021},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.277246Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:a4bed38df358faed0548190833bfe962eaf3c166a03a0cb5230412713fdefbf5","observation_id":"d7acd5fb-cfc8-4a24-80b6-789dea4da3c9","resolution":{"observed_at":"2026-08-16T10:14:48.560429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.11709","last_updated":"2025-02-25T18:32:14Z","snapshot_observed_at":"2026-08-18T12:08:33.475479Z","submitted_at":"2025-01-20T19:41:42Z","title":"Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.11709","snapshot_observed_at":"2026-08-16T10:14:48.281831Z","title":"Towards detecting prompt knowledge gaps for improved llm-guided issue resolution","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.281831Z"},"links":{"cited_paper":"/paper/2501.11709","citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:9d311381265cfeb807dc22a57b69e7273922533a9c1c7289520e19343fbb7603","observation_id":"5e8f3c7d-db16-45ec-a477-77f25cc43dde","resolution":{"observed_at":"2026-08-16T10:14:48.281831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.01026","last_updated":"2026-05-01T02:28:39Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-01T19:34:46Z","title":"Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.01026","snapshot_observed_at":"2026-08-16T10:14:48.286530Z","title":"Understanding the human-llm dynamic: A literature survey of llm use in programming tasks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.286530Z"},"links":{"cited_paper":"/paper/2410.01026","citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:1863d633f1a66c0586890afa903f45c03cbc9f536692a69ae534bb7a5d596133","observation_id":"f870e2e5-567f-4126-ae2b-c72e257b2ad4","resolution":{"observed_at":"2026-08-16T10:14:48.286530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.545089Z","title":"A., Qin, H., Macedo, M., Tian, Y., Ding, S","venue":null,"work_id":"feab19f0-7511-44e3-9a23-d6940d570ba6","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.291116Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:ac1864cc3b30ae789fd078f6792d17c78dc2614d27d48f3fc79ff708a02aaac0","observation_id":"7eaf76d9-9261-4a1c-8218-4e6e835540a2","resolution":{"observed_at":"2026-08-16T10:14:48.548725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.532950Z","title":"Exploring zero-shot and few-shot learning capabilities in llms for complex query handling, 2022","venue":null,"work_id":"261eebb4-931e-41af-a90f-c28064592ba6","year":2022},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.294457Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:65ca0f0692806d7c89a05099f79e2b26300161695c11df6d1153816acb906bfc","observation_id":"a915ce0e-283d-4278-ba21-386b6e454047","resolution":{"observed_at":"2026-08-16T10:14:48.536586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.521805Z","title":"H., Park, S., Lee, J., Jeong, K., and Kang, P","venue":null,"work_id":"e20e0ea2-bc83-4269-b565-d9c2ba76b1a8","year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.298444Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:5351016e40f76676fc10acf51fd7e55e684bf9ca69ad915710a50e966b04f667","observation_id":"66b170b4-6d52-43b4-ade8-f1ded6179c57","resolution":{"observed_at":"2026-08-16T10:14:48.525535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.510665Z","title":"Organizational research: Determining appropriate sample size in survey research appropriate sample size in survey research","venue":null,"work_id":"c8ad23a5-5504-40a4-bd18-24e5b79315a7","year":2001},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.304082Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:4a07469be717d76b3382f374d06327f5236243460a278a4f97aa897e011b2bcb","observation_id":"932626aa-daf0-41e1-9123-6964a62e1bfa","resolution":{"observed_at":"2026-08-16T10:14:48.514378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.499041Z","title":"C., and V anLehn, K","venue":null,"work_id":"95c9f668-55a5-4b93-86e9-a5d4949a8900","year":2003},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.307787Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:336f4702fde9de758da7e621fd03799651061b64cea724054402e3e1922fe02a","observation_id":"007cba4e-dc30-4b5a-8ee2-c88881ab9248","resolution":{"observed_at":"2026-08-16T10:14:48.503039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.311196Z","title":"ban it till we understand it","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.311196Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:1121c91b329eef6d645c7ce7c5f743217debae7b1c1133890eca7cc9535094b3","observation_id":"4c9c69f0-ba29-4fa9-b3d0-5fb96f150526","resolution":{"observed_at":"2026-08-16T10:14:48.311196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.476138Z","title":"Comparing code explanations created by students and large language models","venue":null,"work_id":"06fcd3c1-3ae4-41c4-917b-9f2dc7f66256","year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.314732Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:2c4b536aa08a6df30a9bfd7b9b5679c395df1698fb1b438ec0519bd1a9adf1a6","observation_id":"4409a140-baa5-4116-9e78-6238aa7ec454","resolution":{"observed_at":"2026-08-16T10:14:48.480557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.462161Z","title":"Using an llm to help with code understanding","venue":null,"work_id":"68849fe9-06e0-4a57-8872-4554baa5d4ea","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.318258Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:7220245ba14f2415b328d800e38810d1441a7bcee3e8ce284bd311bcab1c51ef","observation_id":"8b38e5b5-4793-4ba2-8c75-87f6a4f979ca","resolution":{"observed_at":"2026-08-16T10:14:48.467161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.448898Z","title":"Bugspotter: Automated generation of code debugging exercises","venue":null,"work_id":"d42fac1d-0065-429b-864e-c24c548a4ff6","year":2025},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.321542Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:8b42ed3deb2be3f000e3e593ced44771773982ee3929701a07a0f3326e7c05d5","observation_id":"fd583793-f9f2-41e6-9df5-d2944e0491db","resolution":{"observed_at":"2026-08-16T10:14:48.453425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.326164Z","title":"it’s weird that it knows what i want","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.326164Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:ddc9beadc091c8ddb15ab9b5dcba3ba106d106dcb4f741cae0ef66d0bc5d6922","observation_id":"0df60869-b4bf-4e4f-851e-cc9bd408f7b4","resolution":{"observed_at":"2026-08-16T10:14:48.326164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04452","last_updated":"2024-06-06T19:21:55Z","snapshot_observed_at":"2026-08-19T14:20:15.350405Z","submitted_at":"2024-06-06T19:21:55Z","title":"Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots","version":1},"cited_work":{"arxiv_id":"2406.04452","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.04452","snapshot_observed_at":"2026-08-16T10:14:48.370682Z","title":"Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots","venue":"cs.HC","work_id":"33b52f5b-1d29-414c-96a5-509264560900","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.330055Z"},"links":{"cited_paper":"/paper/2406.04452","citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:c0df7b186740e8e022fe5cc596a472668cb83b7f3ec9f53490c2ad42ddea614d","observation_id":"9d863cda-5ce3-4214-8652-162645d54d0e","resolution":{"observed_at":"2026-08-16T10:14:48.376410Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.429714Z","title":"H., Denny, P., and Fowler, M","venue":null,"work_id":"a09c21e7-83fd-4f66-83fe-07d44e514f95","year":2024},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.334845Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:6965796d7c701a3f5fa2f6345c2cc179f7a3eb510598bbbf08f365be9ad5911f","observation_id":"05be9cb6-5452-4a70-9b8b-7e04bda73fb6","resolution":{"observed_at":"2026-08-16T10:14:48.433673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:14:48.417601Z","title":"Y., Hartmann, B., and Y ang, Q","venue":null,"work_id":"5df162ac-f574-4262-8f75-f0f16fcc94b1","year":2023},"citing_paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T10:14:48.339108Z"},"links":{"citing_paper":"/paper/2504.18691"},"observation_digest":"sha256:e10bcda3ef192a1047516d7b3e1eaa10da775bd51c8a628f773ebf398bd517d0","observation_id":"b46a9f88-e592-40db-87df-25612bd6201f","resolution":{"observed_at":"2026-08-16T10:14:48.421428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.18691","last_updated":"2025-04-25T20:58:16Z","latest_version":1,"primary_category":"cs.HC","snapshot_observed_at":"2026-08-19T13:22:56.769232Z","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":15},"total_outbound_references":23},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}