User Assistant
Helps the user in formulating the questions
- Transforms user questions to theorems
- Long term goals is to go from the parameterized question grammar to the formal representation
Helps in understanding the answer
- Generates explanations
- Summarizes results