ARIA
Contents:
Getting Started
Logic and Solving
Proofs and Explanations
Quantified Reasoning
Automata and Languages
Verification
Abstraction
Counting, Sampling, and Probability
Program Synthesis
Program Synthesis
Introduction
Components
Applications
References
LLM and ML
CLI and Tools
Global Parameters
ARIA
Program Synthesis
View page source
Program Synthesis
Program Synthesis
Introduction
Key Features
Components
SyGuS Solvers
Programming by Example (
aria/synthesis/pbe
)
Version Space Algebra (
aria/synthesis/vsa
)
Spyro: Property Synthesis (
aria/synthesis/spyro
)
SMT-Based PBE (
aria/synthesis/pbe/
)
Applications
References