Automatically Generating Algebra Problems

Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

Volumn , Issue , 2012, Pages 1620-1627

  Singh, Rohit ^a   Gulwani, Sumit ^b   Rajamani, Sriram ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; TEACHING;

COMPUTER ASSISTED; EMPIRICAL EVALUATIONS; MANUAL TUNING; POLYNOMIAL IDENTITY TESTING; PRUNING TECHNIQUES; SUB FIELDS; TEACHERS'; TECHNICAL DETAILS;

ALGEBRA;

EID: 84864042467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (41)

1. Agrawal, R., and Srikant, R. 2003. Searching with numbers. Knowledge and Data Engineering, IEEE 15(4):855-870.
2. Cafarella, M. J., and Etzioni, O. 2005. A search engine for natural language applications. In World Wide Web (WWW), 442-452.
3. Cypher, A., ed. 1993. Watch What I Do - Programming by Demonstration. MIT Press.
4. Gulwani, S., and Tiwari, A. 2008. Constraint-based approach for analysis of hybrid systems. In Computer Aided Verification (CAV), 190-203.
5. Gulwani, S.; Harris, W.; and Singh, R. 2012. Spreadsheet data manipulation using examples. Communications of ACM (CACM).
6. Gulwani, S.; Korthikanti, V. A.; and Tiwari, A. 2011. Synthesizing geometry constructions. In Programming Language Design and Implementation (PLDI), 50-61.
7. Gulwani, S.; Srivastava, S.; and Venkatesan, R. 2008. Program analysis as constraint solving. In Programming Language Design and Implementation (PLDI), 281-292.
8. Gulwani, S. 2011. Automating string processing in spreadsheets using input-output examples. In Principles of Programming Languages (POPL).
9. Gulwani, S. 2012. Synthesis from examples. WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue, Infosys Labs Briefings 10(2).
10. Harris, W. R., and Gulwani, S. 2011. Spreadsheet table transformations from examples. In Programming Language Design and Implementation (PLDI).
11. Jurkovic, N. 2001. Diagnosing and correcting student's misconceptions in an educational computer algebra system. In Symbolic and Algebraic Computation (ISSAC), 195-200.
12. Khan. Khan Academy. http://www.khanacademy.org/.
13. Khanna, M. L. IIT Mathematics. Jai Prakash Nath Publications.
14. Lau, T.; Bergman, L.; Castelli, V.; and Oblinger, D. 2004. Programming shell scripts by demonstration. In Supervisory Control of Learning and Adaptive Systems, AAAI.
15. Lau, T. A.; Domingos, P.; and Weld, D. S. 2000. Version space algebra and its application to programming by demonstration. In Machine Learning (ICML), 527-534.
16. Lau, T. A.; Domingos, P.; and Weld, D. S. 2003. Learning programs from traces using version space algebra. In Knowledge Capture (K-CAP), 36-43.
17. Lieberman, H. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann.
18. Loney, S. L. Plane Trigonometry. Cambridge University Press.
19. MathNet. F# Math.NET Numerics Library. http://numerics.mathdotnet.com/.
20. Mendelzon, A. O.; Mihaila, G. A.; and Milo, T. 1996. Querying the world wide web. In Parallel and Distributed Information Systems, 80-91.
21. Microsoft. F# PowerPack Library. http://fsharppowerpack.codeplex.com/.
22. Microsoft. Math Worksheet Generator. http://www.educationlabs.com/projects/MathWorksheetGenerator/Pages/default.aspx.
23. Miller, R. C., and Myers, B. A. 1999. Lightweight structured text processing. In USENIX Annual Technical Conference, 131-144.
24. MITx: MIT's New Online Learning Initiative. http://mitx.mit.edu/.
25. Mitchell, T. M. 1982. Generalization as search. Artificial Intelligence 18(2):203-226.
26. NCERT. Mathematics - Grade 11 and Grade 12. http://ncertbooks.prashanthellina.com/.
27. Pardowitz, M.; Glaser, B.; and Dillmann, R. 2007. Learning repetitive robot programs from demonstrations using version space algebra. In International Conference on Robotics and Applications, 394-399. ACTA Press.
28. Schwartz, J. T. 1980. Fast probabilistic algorithms for verification of polynomial identities. Journal of ACM (JACM) 27(4):701-717.
29. Singh, R., and Gulwani, S. 2012a. Learning semantic string transformations from examples. Very Large Databases (VLDB) 5.
30. Singh, R., and Gulwani, S. 2012b. Synthesizing number transformations from input-output examples. In Computer Aided Verification (CAV).
31. Singh, R.; Gulwani, S.; and Rajamani, S. 2012. Automatically generating algebra problems. Technical Report MSR-TR-2012-43.
32. Singh, R.; Gulwani, S.; and Solar-Lezama, A. 2012. Automated semantic grading of programs. Technical Report arXiv:1204.1751.
33. Solar-Lezama, A.; Rabbah, R.; Bodík, R.; and Ebcioglu, K. 2005. Programming by sketching for bit-streaming programs. In Programming Language Design and Implementation (PLDI).
34. Solar-Lezama, A. 2008. Program Synthesis by Sketching. Ph.D. Dissertation, University of California, Berkeley.
35. Spertus, E., and Stein, L. A. 2000. Squeal: a structured query language for the web. In World Wide Web conference on Computer Networks, 95-103.
36. Srivastava, S.; Gulwani, S.; and Foster, J. S. 2010. From program verification to program synthesis. In Principles of Programming Languages (POPL), 313-326.
37. Taly, A.; Gulwani, S.; and Tiwari, A. 2009. Synthesizing switching logic using constraint solving. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 305-319.
38. Wiki. Adaptive Quadrature. http://en.wikipedia.org/wiki/Adaptivequadrature.
39. Wiki. Finite Differencing. http://en.wikipedia.org/wiki/Finitedifferencecoefficients.
40. Wiki. Integration Problems. http://www.math10.com/en/university-math/integrals/2en.html.
41. Wiki. LU Decomposition. http://en.wikipedia.org/wiki/LUdecomposition#Determinant.