Carlson, K. (2026). SI Report-Harmonic Aristotle Automated Theorem Prover. SuperIntelligence - Robotics - Safety & Alignment, 3(3). https://doi.org/10.70777/si.v3i3.18760