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
☆114Jun 24, 2026Updated last 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.☆76Apr 20, 2026Updated 2 months ago
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆22Jan 12, 2021Updated 5 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- John Tromp homepage☆29May 16, 2026Updated last month
- Implementation of <Model Merging with Functional Dual Anchors>☆47Nov 23, 2025Updated 7 months ago
- Codebase from our first release.☆58Feb 17, 2026Updated 4 months ago
- Implementation of the LDP module block in PyTorch and Zeta from the paper: "MobileVLM: A Fast, Strong and Open Vision Language Assistant …☆15Mar 11, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 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
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆12Mar 20, 2026Updated 3 months ago
- ☆14Dec 14, 2024Updated last year
- ☆11Sep 16, 2024Updated last year
- ☆10Oct 18, 2023Updated 2 years ago
- Python input file generators for Avogadro 2☆16Apr 1, 2026Updated 3 months ago
- The fastai book, published as Jupyter Notebooks☆11Jun 7, 2022Updated 4 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- Calculate 3rd order elastic constant.☆13Mar 23, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 10 months ago
- Tutorials about computational chemistry☆13Sep 22, 2024Updated last year
- [TMLR 2025] Stability-Aware Training of Machine Learning Force Fields with Differentiable Boltzmann Estimators☆17Nov 20, 2025Updated 7 months ago
- ML benchmarking and pipeling framework☆15Oct 28, 2025Updated 8 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- Plain-text declaration export for Lean 4☆35Jun 17, 2026Updated 2 weeks ago
- Scripts, codes, and initial structures required to reproduce the phase diagram of monolayer nanoconfined water.☆12Aug 1, 2023Updated 2 years ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Dec 29, 2023Updated 2 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 samples for Lean 4☆79Oct 19, 2023Updated 2 years ago
- Hoon Git implementation☆11Jan 30, 2026Updated 5 months ago
- 💸Agent-based stock analysis and investment strategy 🔷Microsoft Agent Framework vs.🎰AutoGen☆32Apr 8, 2026Updated 2 months ago
- ☆44Sep 19, 2024Updated last year
- a find-and-replace tool for crystal structure models. implements (i) subgraph matching and (ii) point set alignment to search a parent cr…☆22Jun 28, 2024Updated 2 years ago
- GoldFinch and other hybrid transformer components☆46Jul 20, 2024Updated last year
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆19Jun 22, 2026Updated last week