Dicklesworthstone / model_guided_researchView external linksLinks
☆93Feb 4, 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
Sorting:
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years 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 last year
- Superposition prover☆17Feb 16, 2023Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 4 years ago
- Hoon Git implementation☆11Jan 30, 2026Updated 2 weeks ago
- watch your screen while doing sales and fill your crm automatically☆17Jun 2, 2024Updated last year
- ☆12Mar 31, 2024Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Dec 3, 2025Updated 2 months ago
- Plain-text declaration export for Lean 4☆22Feb 6, 2026Updated last week
- Adaptive Subgoal Search☆20Apr 3, 2023Updated 2 years ago
- Fork of Flame repo for training of some new stuff in development☆19Jan 5, 2026Updated last month
- ☆16Jul 3, 2023Updated 2 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 5 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…☆18Jan 16, 2026Updated 3 weeks ago
- ☆42Sep 19, 2024Updated last year
- A Julia package for behavioural modeling☆25Dec 5, 2025Updated 2 months ago
- ☆25Apr 21, 2021Updated 4 years ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago
- GoldFinch and other hybrid transformer components☆45Jul 20, 2024Updated last year
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- Model Merging with Functional Dual Anchors☆45Nov 23, 2025Updated 2 months ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆52Dec 29, 2025Updated last month
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- ☆25Jul 16, 2025Updated 6 months ago
- MoonDAO documentation, planning, project notes, and other reference material.☆11Jan 7, 2026Updated last month
- John Tromp homepage☆29Feb 5, 2026Updated last week
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- Modelling the new Lead-Copper apatite proposed room temperature supeconductor☆32Aug 8, 2023Updated 2 years ago
- A search engine for Lean 4 declarations☆49Feb 4, 2026Updated last week
- The Bloom Tree☆31Nov 9, 2020Updated 5 years ago
- ☆30Sep 8, 2023Updated 2 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆148Feb 7, 2026Updated last week
- Formalization of the Millennium Problems in Lean 4☆41Jan 16, 2026Updated 3 weeks ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Oct 8, 2025Updated 4 months ago
- Java web application taking IPFS hashes, extracting (textual) content and metadata through Apache's Tika.☆32Dec 30, 2021Updated 4 years ago
- https://x.com/BlinkDL_AI/status/1884768989743882276☆28May 4, 2025Updated 9 months ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆41Jun 9, 2025Updated 8 months ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week