Mathematical Induction
3 papers with code • 1 benchmarks • 1 datasets
Tests the language model's capability to understand induction by asking the model to verify the correctness of an induction argument.
Source: BIG-bench
Benchmarks
These leaderboards are used to track progress in Mathematical Induction
| Trend | Dataset | Best Model | Paper | Code | Compare |
|---|---|---|---|---|---|
|
BIG-bench
Most implemented papers
Scaling Language Models: Methods, Analysis & Insights from Training Gopher
Language modelling provides a step towards intelligent communication systems by harnessing large repositories of written human knowledge to better predict and understand the world.
Training Compute-Optimal Large Language Models
We investigate the optimal model size and number of tokens for training a transformer language model under a given compute budget.
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
deep-symbolic-mathematics/Multimodal-Math-Pretraining
•
•
To bridge the gap, we introduce SNIP, a Symbolic-Numeric Integrated Pre-training model, which employs contrastive learning between symbolic and numeric domains, enhancing their mutual similarities in the embeddings.
