中文
相关论文

相关论文: Math Operation Embeddings for Open-ended Solution …

200 篇论文

In recent years, large language models have greatly improved in their ability to perform complex multi-step reasoning. However, even state-of-the-art models still regularly produce logical mistakes. To train more reliable models, we can…

We present a novel class of methods to compute functions of matrices or their action on vectors that are suitable for parallel programming. Solving appropriate simple linear systems of equations in parallel (or computing the inverse of…

数值分析 · 数学 2022-10-10 Sergio Blanes

A pedagogical approach of problem-based learning with embedded librarianship in several undergraduate mathematics courses is implemented in this educational research. The students are assigned to work on several projects on various…

历史与综述 · 数学 2015-04-08 N. Karjanto , M. Kairatbekkyzy , J. Agee

To advance the evaluation of multimodal math reasoning in large multimodal models (LMMs), this paper introduces a novel benchmark, MM-MATH. MM-MATH consists of 5,929 open-ended middle school math problems with visual contexts, with…

计算与语言 · 计算机科学 2024-07-03 Kai Sun , Yushi Bai , Ji Qi , Lei Hou , Juanzi Li

Evaluation of students' performance for the completion of courses has been a major problem for both students and faculties during the work-from-home period in this COVID pandemic situation. To this end, this paper presents an in-depth…

机器学习 · 计算机科学 2020-09-08 Vipul Bansal , Himanshu Buckchash , Balasubramanian Raman

Embeddings play an important role in end-to-end solutions for multi-modal language processing problems. Although there has been some effort to understand the properties of single-modality embedding spaces, particularly that of text, their…

计算与语言 · 计算机科学 2023-01-20 Muhammad Huzaifah , Ivan Kukanov

The feedback provided by current testing education tools about the deficiencies in a student's test suite either mimics industry code coverage tools or lists specific instructor test cases that are missing from the student's test suite.…

软件工程 · 计算机科学 2020-11-30 Lucas Cordova , Jeffrey Carver , Gursimran Walia , Noah Gershmel

Adaptive scaffolding enhances learning, yet the field lacks robust methods for measuring it within authentic tutoring dialogue. This gap has become more pressing with the rise of remote human tutoring and large language model-based systems.…

计算与语言 · 计算机科学 2026-03-26 Conrad Borchers , Jiayi Zhang , Ashish Gurung

Mathematical learning environments give domain-specific and immediate feedback to students solving a mathematical exercise. Based on a language for specifying strategies, we have developed a feedback framework that automatically calculates…

计算机与社会 · 计算机科学 2010-12-30 Alex Gerdes , Bastiaan Heeren , Johan Jeuring

Effective and timely feedback in educational assessments is essential but labor-intensive, especially for complex tasks. Recent developments in automated feedback systems, ranging from deterministic response grading to the evaluation of…

Undergraduate physics education has greatly benefited from the introduction of computational activities. However, despite the benefits computation has delivered, we still lack a complete understanding of the computationally integrated…

物理教育 · 物理学 2021-12-13 W. Brian Lane , Cortney Headley

A large body of the literature of automated program repair develops approaches where patches are generated to be validated against an oracle (e.g., a test suite). Because such an oracle can be imperfect, the generated patches, although…

软件工程 · 计算机科学 2020-08-10 Haoye Tian , Kui Liu , Abdoul Kader Kaboreé , Anil Koyuncu , Li Li , Jacques Klein , Tegawendé F. Bissyandé

We ran a study on engagement and achievement for a first year undergraduate programming module which used an online learning environment containing tasks which generate automated feedback. Students could also access human feedback from…

计算机与社会 · 计算机科学 2022-01-05 Beate Grawemeyer , John Halloran , Matthew England , David Croft

Spreadsheets are one of the most widely used tools for end users. As a result, spreadsheets such as Excel are now included in many curricula. However, digital solutions for assessing spreadsheet assignments are still scarce in the teaching…

This work aims to build a text embedder that can capture characteristics of texts specified by user instructions. Despite its tremendous potential to deploy user-oriented embeddings, none of previous approaches provides a concrete solution…

计算与语言 · 计算机科学 2024-02-16 Letian Peng , Yuwei Zhang , Zilong Wang , Jayanth Srinivasa , Gaowen Liu , Zihan Wang , Jingbo Shang

Computation is a central aspect of modern science and engineering work, and yet, computational instruction has yet to fully pervade university STEM curricula. In physics, we have begun to integrate computation into our courses in a variety…

物理教育 · 物理学 2017-09-19 Marcos. D. Caballero , Michael J. Obsniuk , Paul W. Irving

This article addresses the logistics of implementing projects in an undergraduate mathematics class and is intended both for new instructors and for instructors who have had negative experiences implementing projects in the past. Project…

历史与综述 · 数学 2017-01-06 R. Corban Harwood

Common knowledge distillation methods require the teacher model and the student model to be trained on the same task. However, the usage of embeddings as teachers has also been proposed for different source tasks and target tasks. Prior…

机器学习 · 计算机科学 2024-02-13 Yiwei Ding , Alexander Lerch

In many machine learning tasks, learning a good representation of the data can be the key to building a well-performant solution. This is because most learning algorithms operate with the features in order to find models for the data. For…

机器学习 · 计算机科学 2020-05-22 David Charte , Francisco Charte , María J. del Jesus , Francisco Herrera

A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional programs. Many programming concepts that are important in the…

计算机与社会 · 计算机科学 2014-12-17 Tim Olmer , Bastiaan Heeren , Johan Jeuring