Alternatives and similar repositories for pyformlang:

Users that are interested in pyformlang are comparing it to the libraries listed below

• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last month
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆42Updated 5 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 9 months ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆49Updated 5 years ago
• google-research / crossbeam
  ☆43Updated last year
• UCSD-PL / proverbot9001
  ☆40Updated 2 months ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆58Updated 3 weeks ago
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆30Updated last year
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆50Updated last year
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• lean-mine / baby-rudin-project
  An attempt to formalize every problem in Baby Rudin with natural language descripiton
  ☆17Updated last month
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆13Updated 3 weeks ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated this week
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆33Updated 5 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆82Updated 3 years ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago
• fredfeng / Trinity
  ☆24Updated 3 years ago
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆18Updated 3 weeks ago
• LASER-UMASS / Diva
  DIversity in VerificAtion
  ☆7Updated last year
• WM-SEMERU / dl4se
  A Systematic Literature Review of Deep Learning in Software Engineering
  ☆19Updated 7 months ago
• pentagonalize / Transformer-Cookbook
  ☆11Updated last month
• jianguda / afm4acs
  ☆15Updated 3 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago