TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework
☆47Mar 1, 2026Updated 8 months ago
Alternatives and similar repositories for leanx
Users that are interested in leanx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- ☆30Updated this week
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- ☆12Jul 21, 2024Updated 2 years ago
- 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.
- ☆12Jul 20, 2022Updated 4 years ago
- A Simple Lisp Interpreter☆10Feb 21, 2022Updated 4 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.☆204Oct 29, 2026Updated last week
- This repository is an implementation of the ViT paper from scratch with tutorials on model, dataloading, training, inference, finteuning,…☆12Aug 14, 2024Updated 2 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- virtual lisp machine on Arm64 macOS☆17Oct 7, 2026Updated 3 weeks ago
- This repository contains codes and data-sets for the PDE inference from limited spatio-temporal data☆13Mar 25, 2022Updated 4 years ago
- ☆34Aug 10, 2026Updated 2 months ago
- 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.
- Official repository for “PATE: Proximity-Aware Time series anomaly Evaluation”.☆19Dec 19, 2024Updated last year
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Source code & exercises in Arend's documentation☆23Jul 24, 2026Updated 3 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆24Updated this week
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- ☆11May 1, 2024Updated 2 years ago
- 这是一个用chisel实现的FP8混合乘加单元☆19Jun 18, 2025Updated last year
- 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.
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 4 years ago
- Models of dependent type theory☆25Aug 10, 2026Updated 2 months ago
- ☆16Mar 11, 2022Updated 4 years ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- A terminal-based, JIT-compiled CHIP-8 VM in Zig☆15Aug 15, 2023Updated 3 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 10 years ago
- Multi-object tracking for the Microduck robot, built on roboflow/trackers: target lock and fetch in its official MuJoCo sim, plus a measu…☆15Sep 7, 2026Updated last month
- 『低レイヤを知りたい人のためのCコンパイラ作成入門』をM1 Mac上でRustで追ってみる☆12Mar 16, 2022Updated 4 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Fall 2025☆12Dec 3, 2025Updated 11 months 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.
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- graph viewer☆12May 7, 2026Updated 5 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 6 months ago
- Efficient, opinionated remote LSP client for notebooks☆15May 23, 2025Updated last year
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- Type Checking in Lean 4☆42Mar 22, 2026Updated 7 months ago