☆84Aug 31, 2023Updated 2 years ago
Alternatives and similar repositories for teaching_arithmetic
Users that are interested in teaching_arithmetic are comparing it to the libraries listed below
Sorting:
- Official implementation of the transformer (TF) architecture suggested in a paper entitled "Looped Transformers as Programmable Computers…☆30Apr 8, 2023Updated 2 years ago
- 6,080-param transformer achieving 100% accuracy on 10-digit addition. Trained from scratch in 10 minutes.☆21Feb 19, 2026Updated last week
- ☆38Feb 18, 2025Updated last year
- The Full Spectrum of Deepnet Hessians at Scale: Dynamics with SGD Training and Sample Size☆19May 19, 2019Updated 6 years ago
- codes and plots for "Active-Dormant Attention Heads: Mechanistically Demystifying Extreme-Token Phenomena in LLMs"☆10Dec 30, 2024Updated last year
- Position Coupling: Improving Length Generalization of Arithmetic Transformers Using Task Structure (NeurIPS 2024) + Arithmetic Transfor…☆14Oct 26, 2025Updated 4 months ago
- ☆11Jun 20, 2023Updated 2 years ago
- ☆35Jul 5, 2023Updated 2 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆24Aug 19, 2025Updated 6 months ago
- ☆29Nov 30, 2025Updated 3 months ago
- ☆30Dec 27, 2024Updated last year
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆15Oct 14, 2022Updated 3 years ago
- Weighted Training for Cross-Task Learning☆15Feb 12, 2023Updated 3 years ago
- ☆38Oct 3, 2023Updated 2 years ago
- ☆38Jul 13, 2022Updated 3 years ago
- Neural Networks and the Chomsky Hierarchy☆214Apr 12, 2024Updated last year
- Spectral Attention Autoregressive Model (SAAM)☆16Oct 27, 2022Updated 3 years ago
- ☆19Mar 25, 2025Updated 11 months ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Feb 19, 2026Updated last week
- The code to reproduce CVPR 2021 paper "Towards Robust Classification Model by Counterfactual and Invariant Data Generation"☆17Jul 29, 2021Updated 4 years ago
- ☆21Jan 19, 2024Updated 2 years ago
- ☆20Mar 1, 2023Updated 3 years ago
- Code for experiments on transformers using Markovian data.☆22Nov 22, 2024Updated last year
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated 4 months ago
- Official repository for our paper, Transformers Learn Higher-Order Optimization Methods for In-Context Learning: A Study with Linear Mode…☆19Nov 19, 2024Updated last year
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated last year
- A scalable automated alignment method for large language models. Resources for "Aligning Large Language Models via Self-Steering Optimiza…☆20Nov 21, 2024Updated last year
- ☆20Jun 12, 2023Updated 2 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆198May 28, 2024Updated last year
- Code for Abstract-to-Executable Trajectory Translation for One Shot Task Generalization (ICML 2023)☆23May 12, 2023Updated 2 years ago
- Implementation of approximate free-energy minimization in PyTorch☆21Oct 16, 2021Updated 4 years ago
- Test-time-training on nearest neighbors for large language models☆49Apr 18, 2024Updated last year
- Scaling Data-Constrained Language Models☆342Jun 28, 2025Updated 8 months ago
- Official Repository for ICML 2023 paper "Can Neural Network Memorization Be Localized?"☆21Oct 26, 2023Updated 2 years ago
- [ACL 2023 Findings] What In-Context Learning “Learns” In-Context: Disentangling Task Recognition and Task Learning☆21Jul 9, 2023Updated 2 years ago
- ☆26May 30, 2023Updated 2 years ago
- ☆25Aug 23, 2024Updated last year
- ☆26Nov 1, 2021Updated 4 years ago