Evaluating Automatic Difficulty Estimation Of Logic Formalization Exercises: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

28 November 2025

  • curprev 02:4802:48, 28 November 2025SusanaWhitehead talk contribs 4,937 bytes +4,937 Created page with "<br> Another telling example for which the difficulty was overestimated by the system is Exercise 11.16.4, "A massive cube is in front of a small cube". Hold the band handles in entrance of you and sit on a bench or chair or stand up. Put the left hand on the right knee and gently pull to rotate the shoulders to the proper as if trying behind the chair. Move the shoulders in a circular motion, squeezing the shoulder blades collectively after which releasing them to push..."