reinforcement learning

Adaptive bus bridging strategies for disrupted light rail transit networks via a two-stage reinforcement learning driven approach

Verified Deep Learning with Lean 4

A formal verification of the math of modern deep learning, written as a Lean 4 blueprint project and shipped as the code it proves. Mathlib's fderiv is the foundation; every layer's backward is derived as a vector-Jacobian product rather than asserted -- dense, ReLU, softmax cross-entropy, 2D convolution, max-pool, Bat...

Reproducibility package for "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study"

This record contains the complete reproducibility package supporting the manuscript "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study." The study evaluates 12 independently prepared AA6061 hybrid-composite specimens nested within four reinf...

Strategi Guru Tahfiz dalam Memotivasi Siswa Menghafal al-Qur’an di SMPN 6 Gunung Talang Kabupaten Solok

Tahfiz teachers’ strategies for motivating students to memorize the Qur’an are important for sustaining school tahfiz programs. However, studies specifically describing these strategies in the context of public junior high schools remain limited. This study aimed to analyze the strategies used by tahfiz teachers to mot...

Reproducibility package for "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study"

This record contains the complete reproducibility package supporting the manuscript "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study." The study evaluates 12 independently prepared AA6061 hybrid-composite specimens nested within four reinf...

Trajectory Tracking Control for UUVs Based on Deep Reinforcement Learning

The DDPG-DLPID, an adaptive motion controller, including a Deep Deterministic Policy Gradient (DDPG) reinforcement learning that can acquire the parameters of PID controllers is introduced, which achieves faster response and higher tracking accuracy, while substantially reducing tracking errors under interference condi...

Decoupling engine operation from transient loads: a Mamba-based predictive reinforcement learning framework for quasi-steady energy management in gasoline compression ignition hybrid powertrains

Physics-informed reinforcement learning for inverse design of Airy-beam metasurfaces

Artificial intelligence-driven optimization and reinforcement learning for intelligent mobile robot operations in warehouse automation: A review

Deep reinforcement learning for solving airport slot allocation problems

Deep reinforcement learning-based collaborative task offloading and secure transmission optimization for UAV swarms

Deep reinforcement learning for optimizing mobile depots allocation and hybrid order dispatch in last-mile delivery under multi-participants behavioral uncertainty