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
☆101Mar 18, 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.☆55Updated this week
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Codebase from our first release.☆50Feb 17, 2026Updated last month
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fork of Flame repo for training of some new stuff in development☆19Mar 17, 2026Updated last week
- watch your screen while doing sales and fill your crm automatically☆17Jun 2, 2024Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Mar 12, 2026Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- Contains Jupyter notebooks and other materials prepared for the course Numerical Methods offered at TIFR Hyderabad (https://moldis-group.…☆12Dec 26, 2022Updated 3 years ago
- BGZF Stream☆13Jul 27, 2023Updated 2 years ago
- ☆10Oct 18, 2023Updated 2 years ago
- programs written in Picat☆11Feb 10, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Apr 9, 2025Updated 11 months ago
- ☆16Jul 3, 2023Updated 2 years ago
- Julia module to handle PLINK BED files☆11Jul 10, 2018Updated 7 years ago
- An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions…☆13Jun 7, 2017Updated 8 years ago
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 6 months ago
- ☆14Feb 2, 2025Updated last year
- ☆12Mar 31, 2024Updated last year
- [TMLR 2025] Stability-Aware Training of Machine Learning Force Fields with Differentiable Boltzmann Estimators☆17Nov 20, 2025Updated 4 months ago
- 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.
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- Hoon Git implementation☆11Jan 30, 2026Updated last month
- ☆44Sep 19, 2024Updated last year
- Meld compiler written in Common Lisp☆13Nov 20, 2015Updated 10 years ago
- Find the fastest PIA server☆10May 2, 2021Updated 4 years ago
- GoldFinch and other hybrid transformer components☆45Jul 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…☆18Feb 19, 2026Updated last month
- ☆25Apr 21, 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Automation of VASP DFT workflows with ASE - application scripts☆14May 24, 2023Updated 2 years ago
- ☆13Dec 29, 2023Updated 2 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 6 months ago
- A search engine for Lean 4 declarations☆57Mar 9, 2026Updated 2 weeks ago
- A SQLite-backed event and work engine that stays consistent across retries, restarts, and failures.☆37Updated this week
- Implements core functions for AiiDAlab.☆16Mar 1, 2026Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆344Feb 12, 2026Updated last month