Proceedings 10th International Workshop on Theorem Proving Components for Educational Software

• URL: http://arxiv.org/abs/2202.02144v1
• Date: Wed, 2 Feb 2022 05:48:14 GMT
• Title: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
• Authors: Jo\~ao Marcos (Federal University of Rio Grande do Norte, Brazil), Walther Neuper (TUG University of Technology, Austria), Pedro Quaresma (University of Coimbra, Portugal)
• Abstract summary: ThEdu'21 was a vibrant workshop, with an invited talk by Gilles Dowek (ENS Paris-Saclay), eleven contributions, and one demonstration. The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co-located events happened as virtual events. ThEdu'21 was a vibrant workshop, with an invited talk by Gilles Dowek (ENS Paris-Saclay), eleven contributions, and one demonstration. After the workshop an open call for papers was issued and attracted 10 submissions, 7 of which have been accepted by the reviewers, and collected in the present post-proceedings volume. The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the power of theorem-proving technologies. The volume editors hope that this collection of papers will further promote the development of theorem-proving based software, and that it will collaborate on improving mutual understanding between computer scientists, mathematicians and stakeholders in education.

Related papers

• Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
  QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
  arXiv  Detail & Related papers  (2024-08-09T15:04:17Z)
• Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
  LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
  arXiv  Detail & Related papers  (2024-04-21T14:22:53Z)
• Proceedings 12th International Workshop on Theorem proving components for Educational software [0.0]
  ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'23 was very successful, with one invited talk, by Yves Bertot (Inria, France), "The challenges of using Type Theory to teach Mathematics", and seven regular contributions. Seven submissions have been accepted by our reviewers, who jointly produced at least three careful reports on each of the contributions.
  arXiv  Detail & Related papers  (2024-04-04T11:51:26Z)
• Monitoring AI-Modified Content at Scale: A Case Study on the Impact of ChatGPT on AI Conference Peer Reviews [51.453135368388686]
  We present an approach for estimating the fraction of text in a large corpus which is likely to be substantially modified or produced by a large language model (LLM) Our maximum likelihood model leverages expert-written and AI-generated reference texts to accurately and efficiently examine real-world LLM-use at the corpus level.
  arXiv  Detail & Related papers  (2024-03-11T21:51:39Z)
• Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
  Third ML4H symposium was held in person on December 10, 2023, in New Orleans, Louisiana, USA. We organized eleven in-person roundtables and four virtual roundtables at ML4H 2022. This document serves as a comprehensive review paper, summarizing the recent advancements in machine learning for healthcare.
  arXiv  Detail & Related papers  (2024-03-03T22:21:58Z)
• Proceedings 39th International Conference on Logic Programming [53.44544554999452]
  This volume includes the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023) Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.
  arXiv  Detail & Related papers  (2023-08-28T20:46:59Z)
• The KiTS21 Challenge: Automatic segmentation of kidneys, renal tumors, and renal cysts in corticomedullary-phase CT [50.41526598153698]
  This paper presents the challenge report for the 2021 Kidney and Kidney Tumor Challenge (KiTS21) KiTS21 is a sequel to its first edition in 2019, and it features a variety of innovations in how the challenge was designed. The top-performing teams achieved a significant improvement over the state of the art set in 2019, and this performance is shown to inch ever closer to human-level performance.
  arXiv  Detail & Related papers  (2023-07-05T02:00:14Z)
• Proceedings 11th International Workshop on Theorem Proving Components for Educational Software [0.0]
  ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard and Yoni Zohar. The resulting revised papers are collected in the present volume.
  arXiv  Detail & Related papers  (2023-03-09T16:10:13Z)
• ESPnet-ST IWSLT 2021 Offline Speech Translation System [56.83606198051871]
  This paper describes the ESPnet-ST group's IWSLT 2021 submission in the offline speech translation track. This year we made various efforts on training data, architecture, and audio segmentation. Our best E2E system combined all the techniques with model ensembling and achieved 31.4 BLEU.
  arXiv  Detail & Related papers  (2021-07-01T17:49:43Z)
• Proceedings 9th International Workshop on Theorem Proving Components for Educational Software [0.0]
  The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by surprise, though, and the main conference was virtualised. Fearing that an online meeting would not allow our community to fully reproduce the usual face-to-face networking opportunities of the ThEdu initiative, the Steering Committee of ThEdu decided to cancel our workshop. Given that many of us had already planned and worked for that moment, we decided that
  arXiv  Detail & Related papers  (2020-10-28T00:36:08Z)
• Proceedings 8th International Workshop on Theorem Proving Components for Educational Software [0.0]
  This volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth installment of the ThEdu series, ThEdu'19 was a vibrant workshop, with an invited talk by Sarah Winkler, four contributions, and the first edition of a Geometry Automated Provers Competition. The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favoring software support for this transition by exploiting the power of theorem-proving
  arXiv  Detail & Related papers  (2020-02-27T03:10:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.