Haladir

Haladir is a Y Combinator-backed company that building Operational Superintelligence. The company participated in the Winter 2026 batch of Y Combinator.

Haladir is an applied AI product lab for optimal decision-making, working with formal solvers, linear programming models, & LLMs to enable critical operations companies to operate at frontier speed and precision. Today's AI has brought us intelligence. The next frontier is judgement.

We apply solver-based methods, SMT/SAT solvers, MILP, operations research, and formal verification to make both RL and AI deployment possible in domains where correctness has never been formally defined.

Haladir was part of Y Combinator's Winter 2026 cohort, has a team of approximately 4 employees, and is actively operating.