ARIA
Contents:
Getting Started
Logic and Solving
Proofs and Explanations
Quantified Reasoning
Automata and Languages
Verification
Abstraction
Counting, Sampling, and Probability
Program Synthesis
Logic Programming
LLM and ML
LLM Tools
Machine Learning Components
CLI and Tools
Global Parameters
ARIA
LLM and ML
View page source
LLM and ML
LLM Tools
Package layout
Public API
Example
LLM-backed tool base classes
Relationship to EFMC
API reference
Machine Learning Components
Overview
LLM-Assisted Reasoning
Portfolio Selection and Feature Extraction
Tactic Optimization
Examples and Entry Points
Status Notes
Further Reading