implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
☆18Jan 8, 2020Updated 6 years ago
Alternatives and similar repositories for weighted_lstar
Users that are interested in weighted_lstar are comparing it to the libraries listed below
Sorting:
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated last year
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- ☆12Jan 31, 2026Updated last month
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Aug 5, 2024Updated last year
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- A documentation automation system for SaMD and medical device software. Documentation-as-code for ISO62304 compliant development processe…☆13Feb 8, 2026Updated 3 weeks ago
- Applications using the GTN library and code to reproduce experiments in "Differentiable Weighted Finite-State Transducers"☆83Jul 20, 2022Updated 3 years ago
- Implementation and evaluation of Almanac (Automaton/Logic Multi-Agent Natural Actor-Critic), an algorithm for multi-agent reinforcement l…☆10May 5, 2022Updated 3 years ago
- Evaluation of Oasis Platform - simple install, UI and API☆14Feb 9, 2026Updated 3 weeks ago
- ☆16Nov 8, 2024Updated last year
- ☆14Feb 12, 2025Updated last year
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- Application for Math formula detection in image/pdf and then recognition☆12Jan 14, 2025Updated last year
- Open Policy Agent for FHIR APIs☆11Apr 19, 2024Updated last year
- ☆11Nov 10, 2025Updated 3 months ago
- ☆12Nov 22, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Read-only unofficial mirror of OpenFst☆44May 15, 2022Updated 3 years ago
- Fluent API generator☆42Jan 23, 2026Updated last month
- ☆12Apr 17, 2021Updated 4 years ago
- LaTeX beamer template for TUM presentations☆17Nov 6, 2013Updated 12 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- Docker image and script for creating an AppImage package for Tmux☆10Jun 15, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆11Jun 21, 2022Updated 3 years ago
- exotx provides a simple and user-friendly interface for pricing and analyzing financial derivatives using QuantLib's advanced numerical m…☆15Dec 2, 2023Updated 2 years ago
- A rule-based aproach to explain the output of any machine learning model☆15Apr 4, 2024Updated last year
- To design an algorithm that can automatically measure the fetal head circumference given a 2D ultrasound image.☆12Feb 1, 2019Updated 7 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- Simple Telegram bot to annotate and varify automatic speech recognition datasets☆12Mar 30, 2021Updated 4 years ago
- Facile exploration and assessment of chemical tautomer space.☆13Aug 20, 2025Updated 6 months ago