Decompositions in Compositional Translation of LTLf to DFA (Student Abstract).
Yash KankariyaSuguman BansalPublished in: AAAI (2024)
Keyphrases
- intelligent tutoring systems
- student learning
- learning environment
- high level
- regular expressions
- tutoring system
- reflective learning
- simple examples
- university level
- computer programming
- knowledge level
- learning styles
- online course
- high school students
- database
- student model
- low level
- learning process
- programming course
- teacher education
- statistical machine translation
- machine translation system
- computer science
- e learning
- word problems
- neural network