Haladir
W26Pivot 1 of 2Rooting Formal Methods into Codegen RL & Data
AI-Enabled Mainframe Modernization and Code Translation.
RLVR changed the game for post-training. We're here to build and supply the next-generation of coding data and RL environments using model checking languages and formal verification. In a world where solid coding data is becoming increasingly sparse, Haladir provides the data and environments needed to build the next generation of coding models.
Haladir is an AI-powered mainframe modernization suite that helps enterprises understand and transform their legacy systems. Our first product, Rosetta, automatically generates comprehensive documentation from COBOL codebases, enabling teams to understand millions of lines of legacy code without months of manual analysis. Our second product, Exodus, translates COBOL to modern languages like Java and C# .NET while preserving business logic through property-based testing, formal verification, and custom models.
Haladir has pivoted from providing RL environments and data for training code generation models (serving AI/ML researchers and model builders) to delivering AI-powered tools for mainframe modernization and code translation for enterprise customers with legacy COBOL systems. This is a complete pivot to a new customer, problem, and product area.
AI-Enabled Mainframe Modernization and Code Translation.(viewing)
Rooting Formal Methods into Codegen RL & Data