https://www.ycombinator.com/launches/Pe0-haladir-building-operational-superintelligence
Launch YC: Haladir: Building Operational Superintelligence | Y Combinator
Combining formal solvers with LLMs to make AI reliable for high-stakes operational decisions
launch ycbuildingoperationalsuperintelligencecombinator