Reproduction code for Lattice Deduction Transformers
☆42Oct 17, 2026Updated this week
Alternatives and similar repositories for lattice-deduction-transformers
Users that are interested in lattice-deduction-transformers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆136Jul 9, 2026Updated 3 months ago
- ☆16Sep 24, 2026Updated 3 weeks ago
- Official repository for “Shared Geometry As A Rosetta Stone: Cross-Modal Alignment Without Paired Data”☆101Oct 8, 2026Updated last week
- ☆110Feb 18, 2026Updated 7 months ago
- NCM: Next Concept Modeling☆77Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Official code for PAMI: Part Anchored Motion for Text to Human-Object Interaction Generation☆83Oct 1, 2026Updated 2 weeks ago
- Official Project Page for KL-Regularized Policy Optimization (KLPO) (https://arxiv.org/abs/2610.08963)☆186Oct 10, 2026Updated last week
- Modular Cognitive Architecture Emerges in Large Language Models☆69Jul 24, 2026Updated 2 months ago
- A repository for do-on-container☆47Updated this week
- ☆72Updated this week
- Faster inference backend for Open-Jev-27B: fused CUDA kernels, prefix tree, CUDA Graphs (B300, bf16)☆91Sep 28, 2026Updated 2 weeks ago
- A model for high-frequency mathematical intelligence.☆150Oct 6, 2026Updated last week
- PyTorch Code for Explorative Modeling: Unlocking a Third Pretraining Axis and End-to-End Generation☆249Sep 30, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16May 23, 2026Updated 4 months ago
- ☆115Updated this week
- ☆87Updated this week
- A universal GUI for coding harnesses.☆71Updated this week
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- A Git platform for software agents, built on Cloudflare Workers and Artifacts.☆47Updated this week
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- 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.
- The Noperthedron does not have Rupert Property: a proof in Lean4☆20Updated this week
- Epistemological database for agent and human efforts, beliefs, and findings.☆123Updated this week
- An self-improvement suite for optimizing chains with Claude Code☆112Oct 5, 2026Updated last week
- An open protocol for distributed multi-agent autoformalization.☆116Oct 1, 2026Updated 2 weeks ago
- An unbounded n-gram language model on Tiny Shakespeare☆22Jan 21, 2026Updated 8 months ago
- c++ implementation of alphagozero☆15May 29, 2018Updated 8 years ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- Full-weight Qwen decision model with calibrated probabilities, training code, REST API, and playground.☆132Sep 22, 2026Updated 3 weeks ago
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 10 months 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.
- Official Code for "Can These Views Be One Scene?"☆21May 22, 2026Updated 4 months ago
- exact tokenizers ids, as fast as the hardware allows☆108Oct 9, 2026Updated last week
- Cynthia Solomon's history of Logo☆13Jan 21, 2025Updated last year
- The standalone distribution of NVIDIA Omniverse's omni.ui UI framework, extracted to run independently outside of Kit. It provides a decl…☆55Updated this week
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 5 months ago
- Naive-N0.5-Flash is an open-weight 309B MoE model with 15.5B active parameters, built for coding and AI R&D.☆178Sep 27, 2026Updated 2 weeks ago
- PGSync — Real-time PostgreSQL replication☆90Updated this week