{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FTDJ235Q32JBNDCO63777YLN3F","short_pith_number":"pith:FTDJ235Q","canonical_record":{"source":{"id":"2504.18691","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2025-04-25T20:58:16Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bc802ab472ee0864989ce8d44b978c80b6095f66cd75f05c31afe478215b2514","abstract_canon_sha256":"8e75f644ed222430566a4096bd2e744a583428ffce5490f94b0917c146d59b22"},"schema_version":"1.0"},"canonical_sha256":"2cc69d6fb0de92168c4ef6ffffe16dd970d988cd72b2d00d4fa074837cd2a4a0","source":{"kind":"arxiv","id":"2504.18691","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.18691","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.18691v1","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.18691","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_12","alias_value":"FTDJ235Q32JB","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_16","alias_value":"FTDJ235Q32JBNDCO","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_8","alias_value":"FTDJ235Q","created_at":"2026-07-05T10:54:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FTDJ235Q32JBNDCO63777YLN3F","target":"record","payload":{"canonical_record":{"source":{"id":"2504.18691","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2025-04-25T20:58:16Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bc802ab472ee0864989ce8d44b978c80b6095f66cd75f05c31afe478215b2514","abstract_canon_sha256":"8e75f644ed222430566a4096bd2e744a583428ffce5490f94b0917c146d59b22"},"schema_version":"1.0"},"canonical_sha256":"2cc69d6fb0de92168c4ef6ffffe16dd970d988cd72b2d00d4fa074837cd2a4a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:54:19.202750Z","signature_b64":"FEQtHO16iTwwhPS9mEnvrzEqQNgszxoEAyjfOUvQPHWZSQm3SYJVhSMj/y5XyF5izZmK4Edr5OkGqF7RoPi6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2cc69d6fb0de92168c4ef6ffffe16dd970d988cd72b2d00d4fa074837cd2a4a0","last_reissued_at":"2026-07-05T10:54:19.202239Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:54:19.202239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.18691","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:54:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SA1b+5oXFf6otiEQfkU83d7c9ZlzRrRPq0eD7g+l+PmtWYyzQndA6gIteMVV2OycRIhAdwkKWIbyykadQ8KwAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:24:53.567888Z"},"content_sha256":"21bfb9d098f91986e0e0d1aa54ee0521200e4b43bcd9b8b0b0efc7017e42121a","schema_version":"1.0","event_id":"sha256:21bfb9d098f91986e0e0d1aa54ee0521200e4b43bcd9b8b0b0efc7017e42121a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FTDJ235Q32JBNDCO63777YLN3F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.HC","authors_text":"Ali Alfageeh, Daniel Prol, Daye Nam, James Prather, Juho Leinonen, Matin Amoozadeh, Michael Hilton, Mohammad Amin Alipour, Paul Denny, Sadegh AlMahdi Kazemi Zarkouei, Souti Chattopadhyay, Sruti Srinivasa Ragavan","submitted_at":"2025-04-25T20:58:16Z","abstract_excerpt":"Background and Context. The increasing integration of large language models (LLMs) in computing education presents an emerging challenge in understanding how students use LLMs and craft prompts to solve computational tasks. Prior research has used both qualitative and quantitative methods to analyze prompting behavior, but these approaches lack scalability or fail to effectively capture the semantic evolution of prompts. Objective. In this paper, we investigate whether students prompts can be systematically analyzed using propositional logic constraints. We examine whether this approach can id"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.18691","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.18691/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:54:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54dGYYzz71xT5/JiK9BTswA1RPE1uV7EJrWj5Z3TPFyEvasp0dBDoLYR4BopBDh7HRzHlxuenEII5oV7Pn3TBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:24:53.568525Z"},"content_sha256":"1084e4dcf93d52afd9ffc9bf1d95469b7de00285e2835141f1e92f40ac2cd34c","schema_version":"1.0","event_id":"sha256:1084e4dcf93d52afd9ffc9bf1d95469b7de00285e2835141f1e92f40ac2cd34c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FTDJ235Q32JBNDCO63777YLN3F/bundle.json","state_url":"https://pith.science/pith/FTDJ235Q32JBNDCO63777YLN3F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FTDJ235Q32JBNDCO63777YLN3F/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-04T14:24:53Z","links":{"resolver":"https://pith.science/pith/FTDJ235Q32JBNDCO63777YLN3F","bundle":"https://pith.science/pith/FTDJ235Q32JBNDCO63777YLN3F/bundle.json","state":"https://pith.science/pith/FTDJ235Q32JBNDCO63777YLN3F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FTDJ235Q32JBNDCO63777YLN3F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FTDJ235Q32JBNDCO63777YLN3F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"8e75f644ed222430566a4096bd2e744a583428ffce5490f94b0917c146d59b22","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2025-04-25T20:58:16Z","title_canon_sha256":"bc802ab472ee0864989ce8d44b978c80b6095f66cd75f05c31afe478215b2514"},"schema_version":"1.0","source":{"id":"2504.18691","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.18691","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.18691v1","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.18691","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_12","alias_value":"FTDJ235Q32JB","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_16","alias_value":"FTDJ235Q32JBNDCO","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_8","alias_value":"FTDJ235Q","created_at":"2026-07-05T10:54:19Z"}],"graph_snapshots":[{"event_id":"sha256:1084e4dcf93d52afd9ffc9bf1d95469b7de00285e2835141f1e92f40ac2cd34c","target":"graph","created_at":"2026-07-05T10:54:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.18691/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Background and Context. The increasing integration of large language models (LLMs) in computing education presents an emerging challenge in understanding how students use LLMs and craft prompts to solve computational tasks. Prior research has used both qualitative and quantitative methods to analyze prompting behavior, but these approaches lack scalability or fail to effectively capture the semantic evolution of prompts. Objective. In this paper, we investigate whether students prompts can be systematically analyzed using propositional logic constraints. We examine whether this approach can id","authors_text":"Ali Alfageeh, Daniel Prol, Daye Nam, James Prather, Juho Leinonen, Matin Amoozadeh, Michael Hilton, Mohammad Amin Alipour, Paul Denny, Sadegh AlMahdi Kazemi Zarkouei, Souti Chattopadhyay, Sruti Srinivasa Ragavan","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2025-04-25T20:58:16Z","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.18691","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:21bfb9d098f91986e0e0d1aa54ee0521200e4b43bcd9b8b0b0efc7017e42121a","target":"record","created_at":"2026-07-05T10:54:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"8e75f644ed222430566a4096bd2e744a583428ffce5490f94b0917c146d59b22","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2025-04-25T20:58:16Z","title_canon_sha256":"bc802ab472ee0864989ce8d44b978c80b6095f66cd75f05c31afe478215b2514"},"schema_version":"1.0","source":{"id":"2504.18691","kind":"arxiv","version":1}},"canonical_sha256":"2cc69d6fb0de92168c4ef6ffffe16dd970d988cd72b2d00d4fa074837cd2a4a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2cc69d6fb0de92168c4ef6ffffe16dd970d988cd72b2d00d4fa074837cd2a4a0","first_computed_at":"2026-07-05T10:54:19.202239Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:54:19.202239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FEQtHO16iTwwhPS9mEnvrzEqQNgszxoEAyjfOUvQPHWZSQm3SYJVhSMj/y5XyF5izZmK4Edr5OkGqF7RoPi6Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:54:19.202750Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.18691","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21bfb9d098f91986e0e0d1aa54ee0521200e4b43bcd9b8b0b0efc7017e42121a","sha256:1084e4dcf93d52afd9ffc9bf1d95469b7de00285e2835141f1e92f40ac2cd34c"],"state_sha256":"7ec93a9aad5755642a0b82683c4d5f854a8cc8d2799de50df9518b4ec27f22f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3fooBhBGPG+GvQR3b1sTtCdsP1YecQlfa5M9S4HJLP9nNJ08/8jNgWukGILJ2n7pXtNul+Y0rVWpP+wTz8CHAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T14:24:53.610191Z","bundle_sha256":"f76128086d42b68c09245fad1738728ee8e063f3e7aa2f8860cc6ea42ddb600a"}}