grantjenks / scikit-sequiturLinks
SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.
☆10Updated 4 years ago
Alternatives and similar repositories for scikit-sequitur
Users that are interested in scikit-sequitur are comparing it to the libraries listed below
Sorting:
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆21Updated 3 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆33Updated this week
- ☆10Updated 3 years ago
- Python bindings for the egglog rust library☆91Updated this week
- ☆17Updated 7 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Python client for coq-lsp☆41Updated this week
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- FreeTikZ☆40Updated 7 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆17Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- Evolutionary decision trees☆11Updated 5 months ago
- A SyGuS Solver☆30Updated 6 months ago
- General-purpose program synthesiser☆48Updated last year
- An open-source course on constraint solving☆24Updated last month
- ☆21Updated 3 years ago
- A Rocq version of the miniF2F dataset☆20Updated 3 weeks ago
- ☆18Updated 3 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- ☆15Updated 2 years ago
- ☆43Updated last week
- Regular expression for form validations synthesizer☆15Updated 7 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- ☆31Updated 3 months ago
- Clover: Closed-Loop Verifiable Code Generation☆36Updated 6 months ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Bonn Lean course for winter 24/25☆37Updated 2 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆78Updated 5 months ago