1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
CORGI: Efficient Pattern Matching With Quadratic Guarantees
Daniel Weitekamp
Rule-based systems must solve complex matching problems within tight time constraints to be effective in real-time applications, such as planning and reactive control for AI agents…
Decomposed Inductive Procedure Learning: Learning Academic Tasks with Human-Like Data Efficiency
Daniel Weitekamp, Christopher MacLellan, Erik Harpstead +1
Human learning relies on specialization -- distinct cognitive mechanisms working together to enable rapid learning. In contrast, most modern neural networks rely on a single mechan…
TutorGym: A Testbed for Evaluating AI Agents as Tutors and Students
Daniel Weitekamp, Momin N. Siddiqui, Christopher J. MacLellan
Recent improvements in large language model (LLM) performance on academic benchmarks, such as MATH and GSM8K, have emboldened their use as standalone tutors and as simulations of h…
Beyond Final Answers: Evaluating Large Language Models for Math Tutoring
Adit Gupta, Jennifer Reddig, Tommaso Calo +2
Researchers have made notable progress in applying Large Language Models (LLMs) to solve math problems, as demonstrated through efforts like GSM8k, ProofNet, AlphaGeometry, and Mat…
Data Augmentation for Sparse Multidimensional Learning Performance Data Using Generative AI
Liang Zhang, Jionghao Lin, John Sabatini +6
Learning performance data describe correct and incorrect answers or problem-solving attempts in adaptive learning, such as in intelligent tutoring systems (ITSs). Learning performa…