An official website of the United States government
Investigations into the Effects of Hint Reading Time and Hint Type in a Digital Mathematics Game Through Response Time Decomposition
- Award ID(s):
- 2142984
- PAR ID:
- 10596299
- Publisher / Repository:
- ISLS Repository
- Date Published:
- Journal Name:
- Proceedings
- ISSN:
- 3079-9929
- Page Range / eLocation ID:
- 83 to 90
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
De Sitter black holes and other non-perturbative configurations can be used to probe the holographic degrees of freedom of de Sitter space. For small black holes evidence was first given in seminal work of Banks, Fiol, and Morrise; and followups by Banks and Fischler; showing that dS is described by a form of matrix theory. For large black holes the evidence given here is new: Gravitational calculations and matrix theory calculations of the rates of exponentially rare fluctuations match one another in surprising detail. The occurrence of the Nariai geometry and the "inside-out" transition are especially interesting examples which I explain.more » « less
-
We describe a system called Qr-Hint that, given a (correct) target query Q* and a (wrong) working query Q, both expressed in SQL, provides actionable hints for the user to fix the working query so that it becomes semantically equivalent to the target. It is particularly useful in an educational setting, where novices can receive help from Qr-Hint without requiring extensive personal tutoring. Since there are many different ways to write a correct query, we do not want to base our hints completely on how Q* is written; instead, starting with the user's own working query, Qr-Hint purposefully guides the user through a sequence of steps that provably lead to a correct query, which will be equivalent to Q* but may still look quite different from it. Ideally, we would like Qr-Hint's hints to lead to the smallest possible corrections to Q. However, optimality is not always achievable in this case due to some foundational hurdles such as the undecidability of SQL query equivalence and the complexity of logic minimization. Nonetheless, by carefully decomposing and formulating the problems and developing principled solutions, we are able to provide provably correct and locally optimal hints through Qr-Hint. We show the effectiveness of Qr-Hint through quality and performance experiments as well as a user study in an educational setting.more » « less
-
The existing work on vision and language navigation mainly relies on navigation-related losses to establish the connection between vision and language modalities, neglecting aspects of helping the navigation agent build a deep understanding of the visual environment.In our work, we provide indirect supervision to the navigation agent through a hint generator that provides detailed visual descriptions.The hint generator assists the navigation agent in developing a global understanding of the visual environment. It directs the agent’s attention toward related navigation details, including the relevant sub-instruction, potential challenges in recognition and ambiguities in grounding, and the targeted viewpoint description. To train the hint generator, we construct a synthetic dataset based on landmarks in the instructions and visible and distinctive objects in the visual environment.We evaluate our method on the R2R and R4R datasets and achieve state-of-the-art on several metrics. The experimental results demonstrate that generating hints not only enhances the navigation performance but also helps improve the agent’s interpretability.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.22318/icls2024.849100
