Systematic investigation of 11 exotic math frameworks (Lie groups, tropical algebra, p-adic numbers, etc.) applied to deep learning, with dual JAX and PyTorch implementations
☆112Jun 13, 2026Updated this week
Alternatives and similar repositories for model_guided_research
Users that are interested in model_guided_research are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆75Apr 20, 2026Updated last month
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Nov 25, 2020Updated 5 years ago
- Adaptive Subgoal Search☆20Apr 3, 2023Updated 3 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 5 years ago
- Worldline Yomani XR Flash Unpacker https://stefan-gloor.ch/yomani-hack☆45Nov 13, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆22Jan 12, 2021Updated 5 years ago
- Implementation of Quantum Ising Born Machine☆19May 1, 2020Updated 6 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆66May 22, 2026Updated 3 weeks ago
- Implementation of <Model Merging with Functional Dual Anchors>☆47Nov 23, 2025Updated 6 months ago
- Codebase from our first release.☆58Feb 17, 2026Updated 3 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A GPT-2-class language model trained from scratch on OpenWebText with the intent to augment AI Transformer-model education and reverse en…☆24Mar 4, 2026Updated 3 months ago
- Fork of Flame repo for training of some new stuff in development☆19Jun 1, 2026Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 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.
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆12Mar 20, 2026Updated 2 months ago
- Binary Ninja plugin to provide MCP functionality.☆36Apr 27, 2026Updated last month
- ☆27Oct 29, 2021Updated 4 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Web components framework for Deno☆12Sep 3, 2021Updated 4 years ago
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 9 months ago
- ☆15Jan 27, 2015Updated 11 years ago
- Plain-text declaration export for Lean 4☆35Jun 5, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This repository provides all the sounds necessary to use the WowWee RoboRemote IR dongle provided with RoboSapien X.☆13Nov 26, 2014Updated 11 years ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Dec 29, 2023Updated 2 years ago
- Hoon Git implementation☆11Jan 30, 2026Updated 4 months ago
- Pen plotter utilities and GUI for image conversion, SVG optimization, HPGL conversion and headless print☆13Aug 13, 2021Updated 4 years ago
- Collection of utilities for working with Deno KV☆16Feb 14, 2024Updated 2 years ago
- GoldFinch and other hybrid transformer components☆46Jul 20, 2024Updated last year
- Code for the paper "Continual Model-Based Reinforcement Learning with Hypernetworks"☆15Jul 28, 2021Updated 4 years ago
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- ☆25Apr 21, 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.
- ☆13Dec 29, 2023Updated 2 years ago
- Forked version of the Seurat plugin. Supports HDRP! Seurat is a scene simplification technology designed to process very complex 3D scene…☆17Mar 29, 2021Updated 5 years ago
- A short introduction to SageMath☆20Jan 19, 2026Updated 4 months ago
- An OpenSCAD library for standard metric bolts, nuts, washers etc.☆13Jan 6, 2022Updated 4 years ago
- GitHub Action to invoke the PI coding agent on issues and PRs via comment triggers☆27May 4, 2026Updated last month
- A search engine for Lean 4 declarations☆71May 7, 2026Updated last month
- https://x.com/BlinkDL_AI/status/1884768989743882276☆28May 4, 2025Updated last year