Euphony: a probabilistic model-guided program synthesizer
☆27Nov 21, 2022Updated 3 years ago
Alternatives and similar repositories for euphony
Users that are interested in euphony are comparing it to the libraries listed below
Sorting:
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- ☆21Apr 11, 2025Updated 10 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- ☆12Oct 22, 2021Updated 4 years ago
- The Return of Lexical Dependencies: Neural Lexicalized PCFGs (TACL)☆33Sep 22, 2025Updated 5 months ago
- ☆12Jun 19, 2025Updated 8 months ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- A repo for code based language models☆18Feb 10, 2021Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 3 weeks ago
- Neural Shift Reduce Parser for CCG Semantic Parsing (Misra and Artzi, EMNLP 2016)☆17Feb 21, 2017Updated 9 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- ☆39Dec 7, 2021Updated 4 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20May 24, 2018Updated 7 years ago
- Solving floating point SMT constraints on a GPU☆50Dec 22, 2020Updated 5 years ago
- ☆48Nov 25, 2025Updated 3 months ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Nov 3, 2018Updated 7 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Apr 27, 2017Updated 8 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
- A System for Debloating C/C++ Programs☆31Jul 16, 2021Updated 4 years ago
- A SyGuS Solver☆29May 18, 2025Updated 9 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Jul 30, 2016Updated 9 years ago
- ☆44Apr 5, 2023Updated 2 years ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆15Updated this week
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV☆14Jan 24, 2026Updated last month
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated 2 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- headless-ida-mcp-server☆30Apr 4, 2025Updated 10 months ago
- ☆40Apr 17, 2019Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- ☆42Aug 14, 2017Updated 8 years ago