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

No leaderboard results yet.