Math tutor based on question asking
☆13Jan 26, 2023Updated 3 years ago
Alternatives and similar repositories for socratic-tutor
Users that are interested in socratic-tutor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Evaluating LLMs on Interactive Guided Data Analysis☆11May 31, 2025Updated last year
- The dataset of ACL2020 Paper "MOOCCube: A Large-scale Data Repository for NLP Applications in MOOCs"☆10May 16, 2020Updated 6 years ago
- ☆10Jul 27, 2026Updated 3 months ago
- Codebase for the paper "A Percolation Model of Emergence: Analyzing Transformers Trained on a Formal Language"☆11Oct 11, 2024Updated 2 years ago
- Official Code for What Makes and Breaks Safety Fine-tuning? A Mechanistic Study (NeurIPS 2024)☆11Oct 31, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated last year
- ☆10Oct 3, 2024Updated 2 years ago
- A code repository accompanying the paper "Transformers, parallel computation, and logarithmic depth" by Clayton Sanford, Daniel Hsu, and …☆12Feb 15, 2024Updated 2 years ago
- Coming soon~☆14Jul 15, 2025Updated last year
- ☆11Jan 15, 2026Updated 9 months ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- ☆15Sep 29, 2022Updated 4 years ago
- Flax (JAX) implementation of Progressive Growing of GANs for Improved Quality, Stability, and Variation☆12May 24, 2021Updated 5 years ago
- Alphazero on GPU thanks to CUDA.jl☆34Aug 30, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for Looped Transformers for Length Generalization (https://arxiv.org/abs/2409.15647), ICLR 2025☆15Apr 30, 2025Updated last year
- Official code for the paper Scale leads to compositional generalization.☆13Jul 11, 2025Updated last year
- A framework to meta-train transformers for causal ICL☆11Jul 15, 2026Updated 3 months ago
- ☆15Oct 26, 2021Updated 5 years ago
- ☆16Apr 15, 2026Updated 6 months ago
- Rubric is a domain specific language for specifying constraints and validating AI-generated code.☆12Nov 4, 2025Updated last year
- iDesignGPT☆18Dec 19, 2025Updated 10 months ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official Repository of Paper "Watch the Weights: Unsupervised monitoring and control of fine-tuned LLMs"☆15Sep 25, 2025Updated last year
- Resources About Student Cognitive Modeling☆14Aug 1, 2024Updated 2 years ago
- A Julia wrapper for the OpenSpiel project☆12Sep 5, 2024Updated 2 years ago
- Agent4Edu: Generating Learner Response Data by LLM-based Agents for Intelligent Education Systems (AAAI 2025, Oral Presentation)☆100Sep 29, 2026Updated last month
- PyTorch implementation for "ProtoTransformer: A Meta-Learning Approach to Providing Student Feedback" (https://arxiv.org/abs/2107.14035).☆16Sep 9, 2022Updated 4 years ago
- Codes of the paper Deformable Butterfly: A Highly Structured and Sparse Linear Transform.☆16Nov 1, 2021Updated 5 years ago
- ☆16Jun 12, 2026Updated 4 months ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- An implementation of Deepmind's MuZero algorithm.☆17Aug 23, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Using runtime-free macro packages as dev-only dependencies.☆22Jan 6, 2023Updated 3 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- Reproducing GPT on the TinyStories dataset☆22Jan 18, 2024Updated 2 years ago
- Service wrapper for PDDL planners☆10Updated this week
- Simple Set-Theoretic Types library☆20Updated this week
- JAX code for the paper "Control-Oriented Model-Based Reinforcement Learning with Implicit Differentiation"☆43Jun 14, 2021Updated 5 years ago
- ☆25Jun 2, 2026Updated 5 months ago