{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:O2QHB5YT2QWAJKAV7EURCNFZPK","short_pith_number":"pith:O2QHB5YT","schema_version":"1.0","canonical_sha256":"76a070f713d42c04a815f9291134b97a96c39376f27ea932087bc04dabc0079f","source":{"kind":"arxiv","id":"2410.09268","version":1},"attestation_state":"computed","paper":{"title":"One Step at a Time: Combining LLMs and Static Analysis to Generate Next-Step Hints for Programming Tasks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CY","cs.HC"],"primary_cat":"cs.SE","authors_text":"Anastasiia Birillo, Anna Potriasaeva, Elizaveta Artser, Hieke Keuning, Igor Gerasimov, Ilya Vlasov, Katsiaryna Dzialets, Timofey Bryksin, Yaroslav Golubev","submitted_at":"2024-10-11T21:41:57Z","abstract_excerpt":"Students often struggle with solving programming problems when learning to code, especially when they have to do it online, with one of the most common disadvantages of working online being the lack of personalized help. This help can be provided as next-step hint generation, i.e., showing a student what specific small step they need to do next to get to the correct solution. There are many ways to generate such hints, with large language models (LLMs) being among the most actively studied right now.\n  While LLMs constitute a promising technology for providing personalized help, combining them"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2410.09268","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-11T21:41:57Z","cross_cats_sorted":["cs.AI","cs.CY","cs.HC"],"title_canon_sha256":"69f1998dc0547940c1a3dafae9531ecffb2d000d5f5424272ec300eb9dbac406","abstract_canon_sha256":"7068f3b5873b1d4da9f650b06a9511599841949650d22a9f58ac94e0cf2391ad"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:19:37.042361Z","signature_b64":"4ruqKqDw1tv8SmDkSbZNBDfCpqGOMNxFdDCi47vSl7qoMYtRUkctt6EXclaCdwbhNYwE8rBPtompiLzJhmw3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76a070f713d42c04a815f9291134b97a96c39376f27ea932087bc04dabc0079f","last_reissued_at":"2026-07-05T09:19:37.041889Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:19:37.041889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"One Step at a Time: Combining LLMs and Static Analysis to Generate Next-Step Hints for Programming Tasks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CY","cs.HC"],"primary_cat":"cs.SE","authors_text":"Anastasiia Birillo, Anna Potriasaeva, Elizaveta Artser, Hieke Keuning, Igor Gerasimov, Ilya Vlasov, Katsiaryna Dzialets, Timofey Bryksin, Yaroslav Golubev","submitted_at":"2024-10-11T21:41:57Z","abstract_excerpt":"Students often struggle with solving programming problems when learning to code, especially when they have to do it online, with one of the most common disadvantages of working online being the lack of personalized help. This help can be provided as next-step hint generation, i.e., showing a student what specific small step they need to do next to get to the correct solution. There are many ways to generate such hints, with large language models (LLMs) being among the most actively studied right now.\n  While LLMs constitute a promising technology for providing personalized help, combining them"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.09268","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/2410.09268/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2410.09268","created_at":"2026-07-05T09:19:37.041948+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.09268v1","created_at":"2026-07-05T09:19:37.041948+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.09268","created_at":"2026-07-05T09:19:37.041948+00:00"},{"alias_kind":"pith_short_12","alias_value":"O2QHB5YT2QWA","created_at":"2026-07-05T09:19:37.041948+00:00"},{"alias_kind":"pith_short_16","alias_value":"O2QHB5YT2QWAJKAV","created_at":"2026-07-05T09:19:37.041948+00:00"},{"alias_kind":"pith_short_8","alias_value":"O2QHB5YT","created_at":"2026-07-05T09:19:37.041948+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK","json":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK.json","graph_json":"https://pith.science/api/pith-number/O2QHB5YT2QWAJKAV7EURCNFZPK/graph.json","events_json":"https://pith.science/api/pith-number/O2QHB5YT2QWAJKAV7EURCNFZPK/events.json","paper":"https://pith.science/paper/O2QHB5YT"},"agent_actions":{"view_html":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK","download_json":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK.json","view_paper":"https://pith.science/paper/O2QHB5YT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.09268&json=true","fetch_graph":"https://pith.science/api/pith-number/O2QHB5YT2QWAJKAV7EURCNFZPK/graph.json","fetch_events":"https://pith.science/api/pith-number/O2QHB5YT2QWAJKAV7EURCNFZPK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK/action/storage_attestation","attest_author":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK/action/author_attestation","sign_citation":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK/action/citation_signature","submit_replication":"https://pith.science/pith/O2QHB5YT2QWAJKAV7EURCNFZPK/action/replication_record"}},"created_at":"2026-07-05T09:19:37.041948+00:00","updated_at":"2026-07-05T09:19:37.041948+00:00"}