Mathematical Induction
1개 벤치마크 · 논문 12편 · 이 태스크의 논문 보기 →
Benchmarks
BIG-bench
Most implemented
Scaling Language Models: Methods, Analysis & Insights from Training Gopher
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
Training Compute-Optimal Large Language Models
Papers
MiMuon: Mixed Muon Optimizer with Improved Generalization for Large Models
Matrix-structured parameters frequently appear in many artificial intelligence models such as large language models. More recently, an efficient Muon optimizer is designed for matrix parameters of large-scale models, and…
Mathematical InductionCLion: Efficient Cautious Lion Optimizer with Enhanced Generalization
Lion optimizer is a popular learning-based optimization algorithm in machine learning, which shows impressive performance in training many deep learning models. Although convergence property of the Lion optimizer has bee…
Stochastic OptimizationMathematical InductionTransient Error Analysis of the LMS and RLS Algorithm for Graph Signal Estimation
Recently, the proposal of the least mean square (LMS) and recursive least squares (RLS) algorithm for graph signal processing (GSP) provides excellent solutions for processing signals defined on irregular structures such…
Mathematical InductionDynamic Logistic Ensembles with Recursive Probability and Automatic Subset Splitting for Enhanced Binary Classification
This paper presents a novel approach to binary classification using dynamic logistic ensemble models. The proposed method addresses the challenges posed by datasets containing inherent internal clusters that lack explici…
Binary ClassificationComputational EfficiencyMathematical InductionA Unified Analysis for Finite Weight Averaging
Averaging iterations of Stochastic Gradient Descent (SGD) have achieved empirical success in training deep learning models, such as Stochastic Weight Averaging (SWA), Exponential Moving Average (EMA), and LAtest Weight A…
Mathematical InductionAutograding Mathematical Induction Proofs with Natural Language Processing
In mathematical proof education, there remains a need for interventions that help students learn to write mathematical proofs. Research has shown that timely feedback can be very helpful to students learning new skills. …
Mathematical InductionMathematical Proofs