What problem does it solve?
Gaia-formalize-fine helps you convert a scientific source into an executable Gaia knowledge package with complete, reviewable reasoning structure and probabilistic belief updates, so your argument becomes explicit and checkable rather than narrative and implicit.
Core Features & Use Cases
- Six-pass, audit-grade formalization pipeline: extract knowledge nodes, connect reasoning relations, check completeness, refine strategy types, verify structural integrity, and polish for standalone readability.
- Compile+check loop after every pass: ensures the intermediate graph remains valid and progressively improves, not a single end-to-end “surprise.”
- Produces publishable deliverables: emits package DSL under src/<pkg>/, leaf priors in priors.py, and a critical-analysis ANALYSIS.md for handoff to rendering.
- Bayesian tail for priors and inference: runs hole-based prior assignment, then executes inference to generate beliefs for interpretation and subsequent iteration.
Quick Start
Use gaia-formalize-fine to formalize a multi-section scientific paper by running a six-pass extraction-to-polish workflow that compiles and checks the Gaia package after each pass and ends with priors assignment and belief inference.
