nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
☆52Feb 13, 2024Updated 2 years ago
Alternatives and similar repositories for nl2spec
Users that are interested in nl2spec are comparing it to the libraries listed below
Sorting:
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated 11 months ago
- Framework to transform natural language into formal language (Temporal Logics).☆41Apr 2, 2024Updated last year
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…☆30Aug 16, 2023Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- ☆15Nov 9, 2022Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- ☆47Dec 8, 2022Updated 3 years ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- ☆14Sep 14, 2020Updated 5 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated last week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- ☆13Feb 6, 2021Updated 5 years ago
- Optimal gate sizing of digital circuits using geometric programming☆11Aug 18, 2016Updated 9 years ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆91Sep 17, 2025Updated 5 months ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 9 months ago
- ☆15May 24, 2023Updated 2 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- ☆16Mar 14, 2024Updated last year
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Hardware Formal Verification☆17Aug 10, 2020Updated 5 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Feb 10, 2025Updated last year
- ☆17Nov 19, 2023Updated 2 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Sep 4, 2025Updated 6 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- ☆18Jul 11, 2021Updated 4 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Jun 4, 2019Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago