HHaladir builds applied AI for organizations with critical operations by combining formal solvers (SMT/SAT and MILP) with large language models to ensure decisions respect all constraints while optimizing across many variables. Its product works in two layers: during training, solver-based reinforcement learning environments and data pipelines create capable AI components; at deployment, model harnesses let AI agents operate safely and efficiently within sensitive workflows, delivering decisions in seconds. Haladir differentiates itself by anchoring AI decisions in formal verification, guaranteeing constraint satisfaction and scalability in complex, constrained environments. The company aims for “Operational Superintelligence,” delivering maximally optimal decisions quickly across logistics, supply chain, manufacturing, and critical software.
Work here?Claim your company
Industries
Company Size
1-10
Company Stage
Seed
Total Funding
$130K
Headquarters
San Francisco, CA
Founded
2025
See people who can refer or advise you
Help us improve and share your feedback! Did you find this helpful?
Total Funding
$130k
Below
Industry Average
Funded Over
1 Rounds
Industry standards
Claude's corner: haladir, the startup betting that logistics AI needs a solver, not a chatbot. Haladir (YC W2026) is building an AI decision layer for logistics using constraint solvers and LLMs, and their key insight is that LLMs should translate, not decide. Here is how they work, what makes them hard to replicate, and how to build it yourself. Haladir is an AI decision layer for logistics that unifies data from WMS, TMS, and OMS systems into a single operational graph, then uses process mining and LLMs to formalize business rules before handing off to deterministic constraint solvers. The result is provably optimal routing, picking, and demand decisions, not chatbot guesses. Build difficulty The logistics software problem nobody talks about. Here is the dirty secret of global logistics: the software running most of it is genuinely terrible. Not "could be better" terrible. Not "needs a fresh coat of UI paint" terrible. Terrible terrible, legacy WMS systems built in the 1990s, TMS platforms that export to Excel as a core feature, OMS tools that require manual reconciliation three times a day. The average mid-sized 3PL is running five to eight disconnected systems that do not talk to each other, with institutional knowledge living entirely inside the heads of warehouse floor managers who've been there for twenty years. This is why logistics AI is genuinely hard, and why most attempts at it have failed. You can't drop a chatbot on top of a system that doesn't have coherent data. You can't "add AI" to a process that was never formally documented in the first place. And you absolutely cannot let a language model make real-time routing decisions for a warehouse processing ten thousand picks a day, not because LLMs are bad, but because probabilistic text prediction is the wrong tool for combinatorial optimization.
Find jobs on Simplify and start your career today
We update Haladir's jobs every few hours, so check again soon!Browse all jobs
Industries
Company Size
1-10
Company Stage
Seed
Total Funding
$130K
Headquarters
San Francisco, CA
Founded
2025
Find jobs on Simplify and start your career today
We update Haladir's jobs every few hours, so check again soon!Browse all jobs