SOTAVerified

Mathematical Induction

Tests the language model's capability to understand induction by asking the model to verify the correctness of an induction argument.

Source: BIG-bench

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–10 of 10 papers

TitleStatusHype
Transient Error Analysis of the LMS and RLS Algorithm for Graph Signal Estimation—0
Dynamic Logistic Ensembles with Recursive Probability and Automatic Subset Splitting for Enhanced Binary ClassificationCode0
A Unified Analysis for Finite Weight Averaging—0
Autograding Mathematical Induction Proofs with Natural Language Processing—0
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-trainingCode1
Analysis of function approximation and stability of general DNNs in directed acyclic graphs using un-rectifying analysis—0
Training Compute-Optimal Large Language ModelsCode6
Scaling Language Models: Methods, Analysis & Insights from Training GopherCode2
Derivation of the Backpropagation Algorithm Based on Derivative Amplification Coefficients—0
Automation of Mathematical Induction as part of the History of Logic—0
Show:102550

No leaderboard results yet.