Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology 2013
DOI: 10.1145/2501988.2502028
|View full text |Cite
|
Sign up to set email alerts
|

Crowd-scale interactive formal reasoning and analytics

Abstract: Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of correct solutions. One such domain is derivations: sequences of logical steps commonly used in assignments for technical, mathematical and scientific subjects. We present DeduceIt, a system for creating, grading, and analyzing derivation assignments across arbitrary formal domains. DeduceIt supports assignments in any … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
7
0

Year Published

2014
2014
2016
2016

Publication Types

Select...
5
1
1

Relationship

2
5

Authors

Journals

citations
Cited by 12 publications
(7 citation statements)
references
References 32 publications
0
7
0
Order By: Relevance
“…But more interestingly, these ideas may also apply to indexing formal logic proofs [4] and equations [13], or even natural language mathematical proofs, which can be useful either for researchers or educators. Looking even further, it is tantalizing to speculate about the role that effective search engines for student content might play in the MOOC ecosystem beyond STEM (science, technology, engineering and mathematics) courses.…”
Section: Discussionmentioning
confidence: 99%
“…But more interestingly, these ideas may also apply to indexing formal logic proofs [4] and equations [13], or even natural language mathematical proofs, which can be useful either for researchers or educators. Looking even further, it is tantalizing to speculate about the role that effective search engines for student content might play in the MOOC ecosystem beyond STEM (science, technology, engineering and mathematics) courses.…”
Section: Discussionmentioning
confidence: 99%
“…In contrast, most prior work has capitalized on scale only after all assignments are submitted. For instance, DeduceIt uses the semantic similarity between student solutions to provide automatic hinting and to check solution correctness [14], while other systems cluster solutions to help teachers provide feedback quickly [6].…”
Section: Related Workmentioning
confidence: 99%
“…The large scale of online classes enables machines to effectively improve the educational experience [9]. By lessening grading burden, machines can focus peers on providing more detailed feedback.…”
Section: Future Work and Conclusionmentioning
confidence: 99%