Programming
Published August 6, 2025 | Version v1.2
Dataset Open

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL

Creators

  • 1. Brown University

Description

Datasets and source materials for our studies of Linear Temporal Logic (LTL).

Includes:

  •  Labelled responses to our surveys

  • The surveys themselves

  • The coding rubric that guided our categorization

Notes

This work was partially supported by the US National Science Foundation. Greenman received support from NSF grant 2030859 to the CRA for the CIFellows project. This work was also partially supported by RelationalAI.

Files

Files (8.1 MB)

Name Size Download all
md5:19b2e36373c3c450a4fe4ffd6e418d8a
8.1 MB Download