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
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
Analysis of function approximation and stability of general DNNs in directed acyclic graphs using un-rectifying analysis—0
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.