Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations

arXiv:2604.02598 · cs.HC, cs.AI, cs.PL · Submitted 2026-04-03 · Read on arXiv

cs.HC, cs.AI, cs.PL

Submitted: 2026-04-03

Updated: 2026-10-14

Terminology

• Grounding — 2× in this paper · explained in 3 episodes
• Affordance — 1× in this paper · explained in 1 episode
• Trace — 1× in this paper · explained in 2 episodes

Related papers

• EduGage: A Multimodal Dataset and Benchmark for Sensor-Based Momentary Assessment of Engagement in Self-Guided Video Learning
• EvoDesign: Agentic Editable Diagram Creation via Design Expertise Evolution
• HAGI++: Head-Assisted Gaze Imputation and Generation
• Hybrid Cinematography: Previsualizing and Managing Hallucination Risk in Generative Video Reshooting
• Linking Behaviour and Perception to Evaluate Meaningful Human Control over Partially Automated Driving
• Review of Explainable Decision Support and Adaptive Human-Machine Interfaces for Automation Transparency in Maritime Autonomous Surface Ships