Modeling Student Learning with 3.8 Million Program Traces
Student learning model from 3.8M program traces analyzing coding skill development through interaction patterns.
Student learning model from 3.8M program traces analyzing coding skill development through interaction patterns.
Function-centric analysis of flat vs sharp minima in deep networks, showing sharpness is function-dependent.
Open-weight LLMs achieving IOI gold medal through test-time compute scaling for competitive programming.
Neural method with hyper-tour for targeted neighborhood search solving large-scale TSP instances efficiently.
Comprehensive review of Kolmogorov-Arnold Networks covering theory, relationships to MLPs and kernel methods, and applications.
Influence-guided data selection for RLVR with theoretical guarantees for improving LLM reasoning efficiency.
In-context policy optimization for large reasoning models using off-policy exploration to improve RLVR reasoning capabilities.
Hamiltonian Gaussian Processes for learning physically consistent dynamics from input-output data without velocity information.
Transfer learning via classifier guidance for discrete diffusion models in small-data regimes, extending continuous diffusion techniques.
Vector quantization technique for optimizing Kolmogorov-Arnold Network inference on edge devices with memory constraints.
Review of diffusion models for simulation-based inference with intractable likelihoods, covering theoretical foundations and applications.
LLM content moderation system with continuous risk scoring that adapts to changing strictness requirements across platforms, replacing fixed binary classification.
Systematic comparison of in-context operator learning versus single-operator learning for spatiotemporal prediction using neural networks.
Comprehensive analysis of model reprogramming techniques for membership inference attacks, evaluating privacy vulnerabilities in deep learning models.
Near-optimal index policy for restless multi-armed bandits with individual penalty constraints for resource allocation in dynamic wireless networks.
Framework for generating and leveraging prior data through world models for sample-efficient offline-to-online reinforcement learning in robotics.
Characterizes necessary and sufficient conditions for reward poisoning attacks in linear MDPs, providing theoretical framework for attack feasibility.
Proposes dual formulation for robust reinforcement learning under dynamics uncertainty, addressing limitations of domain randomization and adversarial RL methods.
C-Flat optimization for continual learning on task streams avoiding forgetting with reduced computational overhead compared to prior approaches.
THEIA: modular neural architecture learning complete Kleene three-valued logic end-to-end across mathematical domains with compositional generalization.
Bayesian-ARGOS: principled method for discovering equations governing complex systems from noisy observations using sparse regression.
Systematic investigation of on-policy distillation dynamics in LLM post-training, identifying conditions for success and failure mechanisms.
Chatbot using NLP and deep learning to answer FAQs in Amharic language for university students, addressing common administrative questions.
Sparse online learning algorithm for Koopman operator with stochastic approximation and convergence guarantees for nonlinear dynamical systems.
Fast training method for physics-informed neural networks solving PDEs without gradient descent, addressing optimization and temporal causality.
AudioX: unified multimodal framework for anything-to-audio generation integrating text, video, and audio signals for flexible audio synthesis.
Learning-augmented algorithms for densest subgraph problem using ML classifier predictions to achieve linear-time approximation.
PO-Flow: continuous normalizing flow framework for causal inference modeling potential outcomes and counterfactuals from observational data.
VS2 method for unsupervised adaptation of vision foundation models using sparse autoencoders for steering vectors without weight updates or labels.
Geminet: lightweight ML-based traffic engineering framework using duality-based iterative process that handles topology changes with scalability.
Proposes unified evaluation framework for assessing forecasting capabilities of frozen vision models across diverse tasks and abstraction levels.
AutoMAT framework combines simulation, ML, and experiments for autonomous alloy discovery across competing objectives with data-efficient workflow.
RL-PLUS method addresses capability boundary collapse in LLMs using reinforcement learning with hybrid-policy optimization to improve reasoning abilities beyond base model limits.
Memp framework endowing LLM agents with learnable, updatable procedural memory. Distills agent trajectories into fine-grained instructions and script-like abstractions.
Latent-space steering method to reduce code-switching in multilingual LLMs. Uses PCA on parallel translations to control language identity at inference time.
Diffusion language models with adaptive acceleration for code generation. Proposes Saber to balance inference speed and output quality with sampling optimization.
RL and vision-language models for long-horizon deformable object routing tasks in robotic assembly. Addresses planning and skill execution for cable/rope manipulation.
ZK-APEX system enables verifiable personalized machine unlearning on edge devices using zero-knowledge proofs for compliance verification.
TRIM framework routes only critical reasoning steps to capable models in multi-step reasoning tasks, reducing cascading failures in LLM applications.
LoRA-MME ensemble architecture using parameter-efficient fine-tuning of transformer encoders for multi-label code comment classification.
Argument for quantum computers being naturally suited for spectral machine learning methods that manipulate Fourier spectra.
Systematic evaluation of LLM formal reasoning capabilities using Chomsky hierarchy and computation theory benchmarks for automated software engineering.
STEP-HRL hierarchical reinforcement learning framework reduces computational cost of LLM agents by learning from single-step transitions instead of long histories.
T-STAR framework applies tree-structured reinforcement learning to improve multi-turn LLM agent policy optimization by identifying critical reasoning steps.
Pre-registered evidence showing AI safety measures can produce iatrogenic harm in medical LLM outputs depending on prompt phrasing.
LangFlow demonstrates continuous diffusion language models can match discrete counterparts by connecting embeddings and diffusion processes for language generation.
Spatial Atlas introduces compute-grounded reasoning for spatial-aware research agents, handling multimodal benchmarks through deterministic computation before LLM generation.
Essay arguing local LLM infrastructure doesn't require Ollama tooling.
Autonomous RL agent integrated with BDD framework for dynamic web UI testing, generating test scenarios aligned with business expectations.
Black-box audit documenting systematic dishonesty in frontier LLMs (GPT-4o, Claude, DeepSeek-V3) designed for user satisfaction over truthfulness.