Benchmarking LLMs on Real-World Software Verification in Lean 4
☆16Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for VeriSoftBench
Users that are interested in VeriSoftBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆37Oct 18, 2026Updated 3 weeks ago
- ☆33Jul 22, 2025Updated last year
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- WybeCoder Verified Generation of Imperative Code with LLMs☆43May 6, 2026Updated 6 months ago
- GPU kernel verification with Pulse☆30Updated this week
- ☆63Dec 1, 2025Updated 11 months ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆86Aug 17, 2026Updated 2 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆50Aug 26, 2026Updated 2 months ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 8 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆24Mar 10, 2026Updated 8 months ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆79Updated this week
- 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.
- [ICLR 2026] Lean Finder: Semantic Search For Mathlib That Understands User Intents☆12May 21, 2026Updated 5 months ago
- ☆19Jul 13, 2026Updated 3 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆151Oct 30, 2026Updated last week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- ☆25May 18, 2026Updated 5 months ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated 3 months ago
- General neural tactic for Lean 4☆48Updated this week
- ☆12Feb 16, 2024Updated 2 years ago
- Python client to interact with the lean4 language server.☆50Aug 19, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆34Jun 12, 2025Updated last year
- Making the transition from Scratch to Python☆10Apr 11, 2017Updated 9 years ago
- Natural language Lean☆13Updated this week
- ☆52Jun 5, 2026Updated 5 months ago
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 3 years ago
- Fastest du replacement and file tree analysis for 100+GB, million-file worktrees☆18Updated this week
- Distributed, objective-led control plane for Lean 4 formalization projects.☆37Oct 9, 2026Updated last month
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 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.
- The MATLAB Tensor Core: a set of models of tensor cores written in MATLAB☆31Sep 15, 2026Updated last month
- Amigo: Secure Group Mesh Messaging in Realistic Protest Settings☆13Oct 27, 2025Updated last year
- ☆56Jun 15, 2026Updated 4 months ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆46Apr 3, 2025Updated last year
- Vermilion: Verus meets Lean☆65Nov 5, 2026Updated last week
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- Lean 4 framework for reasoning about Triton-style kernels.☆31Updated this week
Are these results useful?