Aunsiels / pyformlang
A python library to manipulate formal languages and various automata
☆45Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pyformlang
- A Machine-to-Machine Interaction System for Lean 4.☆16Updated last week
- ☆43Updated last year
- Heavyweight Python dynamic analysis framework☆13Updated 7 months ago
- ☆39Updated 2 months ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆33Updated 5 months ago
- Probabilistic Type Inference using Graph Neural Networks☆48Updated last year
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 4 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- A formalized proof of Carleson's theorem in Lean☆28Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆15Updated this week
- DIversity in VerificAtion☆7Updated 10 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆47Updated 3 weeks ago
- An curated list of papers on program synthesis.☆67Updated 5 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- Python bindings for the egg-smol rust library☆65Updated this week
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆37Updated last year
- Tool for suggesting lemma names in Coq verification projects☆18Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- A database app for ring theory☆21Updated last month
- ☆27Updated 3 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- ☆49Updated 2 years ago
- ☆14Updated last year
- A fast and simple automata library☆23Updated this week
- ☆21Updated 11 months ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆12Updated 3 months ago