SKVMN improves KT models by tracing student knowledge states and dependencies.
problem Tackling limitations of existing KT models in deep learning.
method Proposes SKVMN, a deep learning model unifying recurrent and memory capacities.
result Significantly outperforms state-of-the-art KT models on multiple datasets.
RKT model improves knowledge tracing by considering exercise relations and student forget behavior.
problem Traditional KT models fail to consider both exercise relations and student forget behavior.
method RKT model uses relation-aware self-attention to incorporate exercise relations and student forget behavior.
result RKT model outperforms state-of-the-art KT methods on real-world datasets.
Deep learning based knowledge tracing model has been shown to outperform traditional knowledge tracing model without the need for human-engineered features, yet its parameters and representations have long been criticized for not being explainable. In this paper, we propose Deep-IRT which is a synthesis of the item res…
KT models struggle with student concept drift, but BKT remains the most stable.
problem Impact of student concept drift on KT models.
method Applied four KT models to five academic years of data.
result KT models generally degrade in performance with concept drift, BKT remains stable.
Recent student knowledge modeling algorithms such as Deep Knowledge Tracing (DKT) and Dynamic Key-Value Memory Networks (DKVMN) have been shown to produce accurate predictions of problem correctness within the same learning system. However, these algorithms do not attempt to directly infer student knowledge. In this pa…
We propose SPARFA-Trace, a new machine learning-based framework for time-varying learning and content analytics for education applications. We develop a novel message passing-based, blind, approximate Kalman filter for sparse factor analysis (SPARFA), that jointly (i) traces learner concept knowledge over time, (ii) an…
Knowledge tracing is the task of modeling each student's mastery of knowledge concepts (KCs) as (s)he engages with a sequence of learning activities. Each student's knowledge is modeled by estimating the performance of the student on the learning activities. It is an important research area for providing a personalized…
PSI-KT improves KT accuracy and interpretability in learning materials.
problem Optimizing learning materials selection and timing for understanding and retention.
method Hierarchical generative approach using Bayesian inference.
result Superior multi-step predictive accuracy and scalable inference.
Knowledge tracing is a sequence prediction problem where the goal is to predict the outcomes of students over questions as they are interacting with a learning platform. By tracking the evolution of the knowledge of some student, one can optimize instruction. Existing methods are either based on temporal latent variabl…
KT models improved slightly with synthetic student data.
problem Limited access to real student data and lack of diversity in public datasets.
method Simulated student data using three statistical strategies and tested on KT baselines.
result Synthetic data can lead to similar performance as real data.
Hybrid framework injects TSLM insights into GRLM for robust time-series reasoning.
problem Lack of domain-specific knowledge in large language models for time-series reasoning.
method Hybrid knowledge-injection framework combining RLVR for efficient knowledge transfer.
result Consistently outperforms existing models by 7.9%-26.1% on multivariate time-series benchmarks.
qDKT improves KT models by considering individual question outcomes.
problem Ignoring question-specific outcomes leads to inaccurate learner skill tracking.
method qDKT incorporates graph Laplacian regularization and uses a fastText-inspired initialization scheme.
result qDKT achieves state-of-the-art performance in predicting learner outcomes.
A new method predicts student skill success rates in real-time.
problem Accurate and explainable prediction of student skill success rates in real-time.
method Performance Distribution Tracing (PDT) using a Dynamic Bayesian Network with continuous random variables.
result PDT provides both explainability and accuracy in real-time predictions of student skill success rates.
Paper derives constraints for Bayesian Knowledge Tracing parameters.
problem Issues with EM algorithm in BKT parameter estimation.
method From first principles, derives constraints on BKT parameter space.
result Novel algorithm respects derived constraints for parameter estimation.
TrueLearn uses Bayesian algorithms to match learners with educational resources.
problem Matching lifelong learners to open educational resources efficiently and effectively.
method TrueLearn uses a text ontology and Bayesian strategies to match learners with educational resources based on their background knowledge and material novelty.
result TrueLearn algorithms show promise in building an effective educational recommendation system.
Online knowledge repositories typically rely on their users or dedicated editors to evaluate the reliability of their content. These evaluations can be viewed as noisy measurements of both information reliability and information source trustworthiness. Can we leverage these noisy evaluations, often biased, to distill a…
Study integrates attentional and spacing factors to improve category learning models.
problem Understanding the impact of training sequences on category learning.
method Introduced a novel integration of attentional factors and spacing into logistic knowledge tracing models.
result Enhanced model predicts students' learning outcomes better than existing models.
Paper proves stability for recovering connections from holonomy traces.
problem Recovering a connection from holonomy traces on Riemannian manifolds.
method Combination of microlocal analysis and non-Abelian approximate Livsic Theorem.
result Hölder type stability estimates for holonomy inverse problem.
This survey analyzes knowledge discovery in cryptocurrency transactions.
problem Understanding user behaviors and collective actions in cryptocurrency transactions.
method Data mining techniques and literature review.
result Classified existing research into three aspects and discussed major findings.
Learning from the crowd has become increasingly popular in the Web and social media. There is a wide variety of crowdlearning sites in which, on the one hand, users learn from the knowledge that other users contribute to the site, and, on the other hand, knowledge is reviewed and curated by the same users using assessm…
Over the past few years, trace regression models have received considerable attention in the context of matrix completion, quantum state tomography, and compressed sensing. Estimation of the underlying matrix from regularization-based approaches promoting low-rankedness, notably nuclear norm regularization, have enjoye…
We study the interplay between surrogate methods for structured prediction and techniques from multitask learning designed to leverage relationships between surrogate outputs. We propose an efficient algorithm based on trace norm regularization which, differently from previous methods, does not require explicit knowled…
This paper introduces our solution to the 2018 Duolingo Shared Task on Second Language Acquisition Modeling (SLAM). We used deep factorization machines, a wide and deep learning model of pairwise relationships between users, items, skills, and other entities considered. Our solution (AUC 0.815) hopefully managed to bea…
Adaptive learning, also known as adaptive teaching, relies on learning path recommendation, which sequentially recommends personalized learning items (e.g., lectures, exercises) to satisfy the unique needs of each learner. Although it is well known that modeling the cognitive structure including knowledge level of lear…
This is a continuation of our previous work arXiv:1601.05617 on trace and inverse trace of Steklov eigenvalues. More new inequalities for the trace and inverse trace of Steklov eigenvalues are obtained.
Bayesian optimization is popular for optimizing time-consuming black-box objectives. Nonetheless, for hyperparameter tuning in deep neural networks, the time required to evaluate the validation error for even a few hyperparameter settings remains a bottleneck. Multi-fidelity optimization promises relief using cheaper p…
Study of torus surgeries on knot traces, finding exotic surfaces and traces.
problem Understanding exotic surfaces and traces through torus surgeries.
method Realizing annulus twisting as torus surgery, using key technical insight.
result Exotic elliptic surfaces and traces discovered, improving known geography.
Classifies knot traces with specific trisection genus limits.
problem Classifying knot traces with specific trisection genus limits.
method Classifying knot traces with specific trisection genus limits.
result Infinitely many knots have traces with trisection genus 3 and 4, and arbitrarily large trisection genus.
Guillemin trace formula adapted for group actions.
problem Distributional trace for proper, cocompact group actions.
method Developing an equivariant version of the distributional trace.
result Equivariant Guillemin trace formula for group actions.
ConCuR generates high-quality CUDA kernels with concise reasoning traces.
problem Scarce high-quality data for kernel generation.
method Developed a pipeline to generate and curate high-quality CUDA kernels with reasoning traces.
result Our model achieves significant improvements in KernelBench setup.
Paper derives trace formula for magnetic Laplacian at zero energy.
problem Trace formula for magnetic Laplacian at zero energy.
method Generalizes Gutzwiller trace formula, focuses on zero energy level.
result Derives trace formula at zero energy level.
In this paper, we obtain some new estimates for the trace and inverse trace of Steklov eigenvalues. The estimates generalize some previous results of Hersch-Payne-Schiffer , Brock}, Raulot-Savo and Dittmar.
Automates hair color digitization using imaging and deep learning.
problem Challenges in capturing and rendering realistic hair colors.
method Combines imaging, path-tracing, and self-supervised machine learning.
result Accurately captures and renders hair color with synthetic images.
New methods derive a generalized Frenkel trace formula for Lie groups.
problem Deriving a generalized Frenkel trace formula for Lie groups.
method Applying supersymmetric localization to quantum mechanical and gauged sigma models.
result Presented two complementary approaches for the derivation of the trace formula.
Examines a new type of analytic torsion on Riemannian manifolds.
problem Analyzing a new trace formula for Riemannian manifolds.
method Uses residue-trace instead of spectral zeta function quasi-trace.
result Defines and examines the residue analytic torsion.
Derives Selberg trace formula on Riemann surfaces and generalizes to other spaces.
problem Deriving and generalizing the Selberg trace formula.
method Supersymmetric localization principle and path integral derivation.
result Derives Selberg trace formula on arbitrary compact Riemann surfaces and generic compact locally symmetric spaces.
Introduces a new model for mapping matrices to matrices, subsuming linear regression.
problem Learning matrix-to-matrix mappings from data.
method Partial trace regression model, leveraging quantum information theory.
result Relevance demonstrated in matrix-to-matrix regression and positive semidefinite matrix completion.
CausalSim corrects bias in trace-driven simulations for more accurate results.
problem Bias in trace-driven simulations due to system conditions during trace collection.
method CausalSim learns a causal model of system dynamics and latent factors from an RCT to remove bias from trace data.
result CausalSim reduces simulation errors by 53% and 61% compared to baselines, providing more accurate insights.
New findings on knots and their traces, distinguishing L-space knots by their 0-trace.
problem Characterizing knots by their traces and Dehn surgeries.
method Combining Heegaard Floer homology with surface homeomorphisms and dynamics.
result The 0-trace detects every L-space knot, contrasting with characterizing surgeries.
This paper investigates the strength of the trace field as a commensurability invariant of hyperbolic 3-manifolds. We construct an infinite family of two-component hyperbolic link complements which are pairwise incommensurable and have the same trace field, and infinitely many 1-cusped finite volume hyperbolic 3-manifo…
Clarifies a trace for Heisenberg operators on contact manifolds.
problem Calculating the index of Heisenberg elliptic operators on contact manifolds.
method Introduced a new trace on Heisenberg pseudodifferential operators and constructed a cocycle in periodic cyclic cohomology.
result Simplified the construction of the trace on Heisenberg pseudodifferential operators.
We give axioms which characterize the local Reidemeister trace for orientable differentiable manifolds. The local Reidemeister trace in fixed point theory is already known, and we provide both uniqueness and existence results for the local Reidemeister trace in coincidence theory.
Researchers compute trace formula for magnetic Laplacian on hyperbolic surfaces.
problem Analyzing the magnetic Laplacian on compact hyperbolic surfaces.
method Computed the trace formula for magnetic Laplacian energies above the Mane critical level.
result Asymptotic behavior of trace formula coefficients near the Mane critical level.
Sharp inequality found on three-balls for fourth order Sobolev traces.
problem Fourth order Sobolev trace inequality on three-balls.
method Established through equivalence to a third order Sobolev inequality on two-spheres.
result Sharp fourth order Sobolev trace inequality on three-balls.
Infinite knots have non-integer trace values.
problem Finding knots with non-integer trace values.
method Proved existence of infinitely many non-homeomorphic hyperbolic knot complements with specific trace properties.
result Infinitely many non-homeomorphic hyperbolic knot complements with non-integer trace values.
Introduces expected eligibility traces for more efficient credit assignment in reinforcement learning.
problem Efficiently assigning credit to states and actions in reinforcement learning.
method Introduces expected eligibility traces, allowing updates to counterfactual sequences.
result Substantial improvements in temporal-difference learning can be achieved with expected traces.
Quantum trace map defined for 3-manifolds with torus boundaries.
problem Quantifying topological structures of 3-manifolds with torus boundaries.
method Defining a quantum trace map from skein module to a quantum torus module.
result Established a 3D quantum trace map for 3-manifolds with torus boundaries.
New knots found that resist trace detection.
problem Knots not detected by any trace.
method Extended existing results to new knots.
result Knots exist that share traces with infinitely many distinct knots and are not detected by any trace.