mmaaz-git / agentic-pbtLinks
☆21Updated 2 months ago
Alternatives and similar repositories for agentic-pbt
Users that are interested in agentic-pbt are comparing it to the libraries listed below
Sorting:
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- ☆40Updated 9 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- A Low Barrier Proof Assistant☆153Updated this week
- a categorical deep learning compiler☆207Updated 4 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆36Updated last week
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.☆89Updated this week
- ☆87Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated last week
- How to read Lean☆22Updated last year
- Minimal open-source implementation of AlphaProof [WIP]☆60Updated this week
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆24Updated 8 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆120Updated 7 months ago
- Language based on Rewriting Logic☆157Updated this week
- Digital Red Queen: Adversarial Program Evolution in Core War with LLMs☆173Updated 2 weeks ago
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆90Updated last month
- library learning w egraphs☆24Updated 2 years ago
- Training GPTs to solve interaction nets☆18Updated last year
- An LLM-first programming language.☆32Updated 3 months ago
- Interactive visualizer for e-graphs☆28Updated 2 weeks ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆148Updated 4 months ago
- explore token trajectory trees on instruct and base models☆150Updated 8 months ago
- ☆110Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆290Updated 4 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆15Updated 3 weeks ago