Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
☆28Mar 18, 2026Updated 5 months ago
Alternatives and similar repositories for intent-formalization
Users that are interested in intent-formalization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 weeks ago
- vRAG: Verified Code Synthesis with Retrieval-Augmented Generation [FSE-2024]☆57Jun 9, 2024Updated 2 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 9 months ago
- verification toolchain for TypeScript (Tech Preview)☆90Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 6 months ago
- ☆13Apr 28, 2025Updated last year
- An intermediate verification language☆28Jan 4, 2026Updated 7 months ago
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated 2 weeks ago
- ☆13Nov 19, 2024Updated last year
- guarded interaction trees☆14Jul 6, 2026Updated last month
- Make agents prove that their code is correct.☆61Jun 2, 2026Updated 2 months ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 years ago
- AI-Assisted Verification of Data Structures☆22May 27, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆48Mar 3, 2026Updated 5 months ago
- ☆15Jun 10, 2025Updated last year
- A library used for generating C# classes from DTDL interfaces.☆15Jul 9, 2024Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated 10 months ago
- Jacdac Device Development Kit☆22Aug 13, 2025Updated last year
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 4 months ago
- Lustre Repository with MS patches☆17Updated this week
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Oct 21, 2024Updated last year
- Golang package for setting/retrieving a device id.☆18Apr 24, 2025Updated last year
- This repo contains tools for parsing source code into structured json to be used in model training and evaluation for software engineerin…☆15May 24, 2024Updated 2 years ago
- Universal Robot blocks for MakeCode micro:bit - beta☆26Mar 3, 2025Updated last year
- ☆17Aug 12, 2026Updated 2 weeks ago
- ☆16Nov 18, 2025Updated 9 months ago
- Gephi tutorials for data visualisation lecture. A Network Tour of Data Science 2019 Fall semester☆12Apr 11, 2021Updated 5 years ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- ☆11May 30, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Jan 23, 2026Updated 7 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Updated this week
- ☆12Feb 12, 2018Updated 8 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆29Jul 5, 2026Updated last month
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- A repository of code examples to accompany the LSU CSC7809/7700/47000 course on AI foundation models.☆13Apr 5, 2025Updated last year