Return to Article Details
AI-assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review
Download
Download PDF