paper-with-me

홈 › Papers

STAND: Data-Efficient and Self-Aware Precondition Induction for Interactive Task Learning

2024-09-11 · Daniel Weitekamp, Kenneth Koedinger

STAND is a data-efficient and computationally efficient machine learning approach that produces better classification accuracy than popular approaches like XGBoost on small-data tabular classification problems like learning rule preconditions from interactive training. STAND accounts for a complete set of good candidate generalizations instead of selecting a single generalization by breaking ties randomly. STAND can use any greedy concept construction strategy, like decision tree learning or sequential covering, and build a structure that approximates a version space over disjunctive normal logical statements. Unlike candidate elimination approaches to version-space learning, STAND does not suffer from issues of version-space collapse from noisy data nor is it restricted to learning strictly conjunctive concepts. More importantly, STAND can produce a measure called instance certainty that can predict increases in holdout set performance and has high utility as an active-learning heuristic. Instance certainty enables STAND to be self-aware of its own learning: it knows when it learns and what example will help it learn the most. We illustrate that instance certainty has desirable properties that can help users select next training problems, and estimate when training is complete in applications where users interactively teach an AI a complex program.

📄 PDF Abstract BibTeX arXiv:2409.07653

Code (0)

등록된 구현이 없습니다.

Tasks

Active LearningHoldout Settabular-classification

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

AI2T: Building Trustable AI Tutors by Interactively Teaching a Self-Aware Learning Agent

2024-11-26 · Daniel Weitekamp, Erik Harpstead, Kenneth Koedinger

AI2T is an interactively teachable AI for authoring intelligent tutoring systems (ITSs). Authors tutor AI2T by providing a few step-by-step solutions and then grading AI2T's own problem-solving attempts. From just 20-30 …

Hallucination

Training Dynamics of Softmax Self-Attention: Fast Global Convergence via Preconditioning

2026-03-02 · Gautam Goel, Mahdi Soltanolkotabi, Peter Bartlett arxiv

We study the training dynamics of gradient descent in a softmax self-attention layer trained to perform linear regression and show that a simple first-order optimization algorithm can converge to the globally optimal sel…

Solver-Aided Expansion of Loops to Avoid Generate-and-Test

2025-08-11 · Niklas Dewally, Özgür Akgün arxiv

Constraint modelling languages like MiniZinc and Essence rely on unrolling loops (in the form of quantified expressions and comprehensions) during compilation. Standard approaches generate all combinations of induction v…

Learning incomplete factorization preconditioners for GMRES

2024-09-12 · Paul Häusner, Aleix Nieto Juscafresa, Jens Sjölund

Incomplete LU factorizations of sparse matrices are widely used as preconditioners in Krylov subspace methods to speed up solving linear systems. Unfortunately, computing the preconditioner itself can be time-consuming a…

Graph Neural Networksubspace methods

Code Models are Zero-shot Precondition Reasoners

2023-11-16 · Lajanugen Logeswaran, Sungryull Sohn, Yiwei Lyu, Anthony Zhe Liu 외

One of the fundamental skills required for an agent acting in an environment to complete tasks is the ability to understand what actions are plausible at any given point. This work explores a novel use of code representa…

Decision MakingSequential Decision Making