Francesco BULLA

Le Leggi di Bulla: Seventeen Derived Laws from Existing Formalized Mathematics

We present seventeen derived statements, the Leggi di Bulla (Bulla Laws I–XVII), obtained by combination, generalization, duality and quantification of existing formalized results in a large Lean mathematics library (23 domains, OAI library, branch F_B, directorydrfrancescobulla/...

CPPTAI-Traslocatore: A Five-Phase Entropic Framework for Hierarchical Problem Solving

CPPTAI-Traslocatore is an open and reproducible five-phase framework for hierarchical problem solving based on explicit entropy management.The system guides complex tasks from high-uncertainty states to stable solutions through adaptive decomposition, bounded cognitive refinement...