Aunsiels / pyformlang
A python library to manipulate formal languages and various automata
☆49Updated last week
Alternatives and similar repositories for pyformlang
Users that are interested in pyformlang are comparing it to the libraries listed below
Sorting:
- General-purpose program synthesiser☆45Updated 6 months ago
- Pedagogical first-order prover in Python☆75Updated this week
- ☆42Updated 3 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated this week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆60Updated this week
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated 11 months ago
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- Python client to interact with the lean4 language server.☆13Updated last week
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- ☆43Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated 2 weeks ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated 2 weeks ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆19Updated 9 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆63Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆37Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- An attempt to formalize every problem in Baby Rudin with natural language descripiton☆17Updated 3 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆48Updated 10 months ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- A fast and simple automata library☆25Updated this week
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆94Updated 4 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆32Updated 2 years ago
- ☆18Updated 3 years ago