Pith. sign in

REVIEW 2 cited by

Learning Program Embeddings to Propagate Feedback on Student Code

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1505.05969 v1 pith:S77DKY4G submitted 2015-05-22 cs.LG cs.NEcs.SE

classification cs.LGcs.NEcs.SE
keywords codefeedbackalgorithmassignmentsembeddedlinearpropagatespace
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Providing feedback, both assessing final work and giving hints to stuck students, is difficult for open-ended assignments in massive online classes which can range from thousands to millions of students. We introduce a neural network method to encode programs as a linear mapping from an embedded precondition space to an embedded postcondition space and propose an algorithm for feedback at scale using these linear maps as features. We apply our algorithm to assessments from the Code.org Hour of Code and Stanford University's CS1 course, where we propagate human comments on student assignments to orders of magnitude more submissions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Neural-based Program Decompiler

    cs.PL 2019-06 unverdicted novelty 7.0 of 10

    Coda is an end-to-end neural decompiler that recovers source code from binaries at 82% accuracy on unseen samples where conventional tools achieve 0%.

  2. A Survey of Automated Programming Hint Generation -- The HINTS Framework

    cs.HC 2019-08 conditional novelty 6.0 of 10

    All surveyed automated programming hint techniques can be described as iterative combinations of two operations: narrowing down hint data and transforming its representation.

Pith tools