S2-group / experiment-runnerLinks
Tool for the automatic orchestration of experiments targeting software systems
☆16Updated 2 months ago
Alternatives and similar repositories for experiment-runner
Users that are interested in experiment-runner are comparing it to the libraries listed below
Sorting:
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆9Updated 3 months ago
- Evolutionary decision trees☆10Updated last month
- Repository to host the GRAPE code developed by the BDS group☆11Updated last month
- ☆17Updated 2 months ago
- ☆17Updated 2 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆46Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 8 months ago
- The Termination Problem Database☆31Updated last month
- ☆30Updated 11 months ago
- ☆12Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆18Updated 2 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆10Updated this week
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- ☆16Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 3 months ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆9Updated 3 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆19Updated 5 months ago
- Pedagogical first-order prover in Python☆76Updated last month
- ☆18Updated last year
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated this week
- A fast and simple automata library☆26Updated last week
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 3 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated 2 months ago
- A SyGuS Solver☆28Updated last month
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago