Award Winning Creations will publish its first two books on 31 October 2026, both by Abdul Kavungal (AK).
Lean Programming for AI Agents is a practitioner book about using Lean 4 as a language you can ship, and as a kernel that can check what an AI agent claims.
Systems Thinking for Human and Machine Judgment is an operating manual for decisions that people and AI systems now make together, in 45 chapters and 81 protocols.
Both will be available in paperback and as Kindle eBooks from Amazon. Each format carries its own ISBN, registered to the press. Links to buy will appear on each book’s page on publication day.