Sondera’s autoformalization research was accepted at ICML 2026’s Agents in the Wild workshop and at FLoC 2026’s LLM-Solve workshop, with a related tool demo at Black Hat Arsenal. Sondera transforms natural-language policy into formally verified rules that run on any agent.

NEW YORK, June 30, 2026 /PRNewswire/ — Every organization runs on rules, security, compliance, and business logic written in natural language. As AI agents take on real work, those rules have to bind them too. Sondera today announced that its research on compiling natural-language policy into formally verified controls for AI agents has been accepted at workshops at ICML 2026 and at the Federated Logic Conference (FLoC) 2026’s LLM-Solve workshop, and selected for a tool demonstration at Black Hat Arsenal.

The paper, “Autoformalization of Agent Instructions into Policy-as-Code,” by Sondera’s Adam Mondl, Matthew Maisel, and John Brock, was accepted at the Second Workshop on Agents in the Wild at ICML 2026, one of the field’s leading machine learning conferences, and LLMSolve, a workshop at FLoC on applying large language models to formal and solver-based reasoning. A related tool, “GolemHalt: A Deterministic Reference Monitor for AI Coding Agents,” will be demonstrated at Black Hat Arsenal, Black Hat’s curated showcase of open-source security tools.

In peer-reviewed research using MedAgentBench, an independent benchmark for clinical AI agents published in NEJM AI, Sondera’s pipeline autoformalized more of the 88-rule policy than prior published work had hand-coded (23 of 88), and the resulting rules blocked every adversarial unsafe write attempt (99 of 99).

Autoformalization is critical for enforcing agent policies because real policy and business logic live in natural language — in documents like a HIPAA manual, FINRA guidelines, a standard operating procedure, or an agent’s own instructions. Traditionally, turning natural-language policies into something a machine can enforce has meant hand-coding rules one at a time, which does not scale to how fast agents are being deployed.

Sondera’s pipeline reads the natural language and compiles it directly into formally verified Cedar policy-as-code, with a theorem prover checking every rule and adversarial simulation stress-testing it before production, both to find edge cases and to confirm that legitimate work is still permitted. The approach is neurosymbolic: neural classifiers such as LLMs-as-judges evaluate what an agent is doing probabilistically, while symbolic rules decide deterministically what the agent is allowed to do.

At runtime, a verified deterministic rule returns a decision (such as allow, deny, or escalate) for each agent action. Because the policy-as-code is enforced deterministically outside the context window, rather than relying on an AI-as-judge, issues such as prompt injection, emergent behavior, and model drift cannot talk the policy enforcement layer out of its rules. And because enforcement is stateful, tracking the agent’s full trajectory and the flow of information across it, the same action can be allowed or denied depending on what the agent did earlier in the run.

“The agent incidents we see today aren’t from prompt injection and hijacking. They’re from authorized humans asking authorized agents to do legitimate tasks, like analyzing a financial file or configuring a server. Along the way, the agent reaches the goal with unintended behavior, like leaking or destroying data,” said Josh Devon, co-founder and CEO of Sondera. “Even beyond that, enterprises are struggling to apply business logic at scale to their agents, rules that aren’t security or compliance but just standard operating procedure, like a coding agent that should stand up a server on the company’s approved cloud account rather than an unapproved vendor. Our research is focused on letting organizations turn on the most powerful, long-running agents possible while having the confidence that they will follow the rules.”

Sondera’s policy and agent control plane is currently in private beta. Teams interested in participating can visit sondera.ai.

The full paper “Autoformalization of Agent Instructions into Policy-as-Code” is available at arxiv.org/abs/2606.26649.

Sondera’s open-source harness and SDKs are at github.com/sondera-ai.

About Sondera

Sondera gives enterprises provable control over AI agents, in natural language. Its approach is neurosymbolic: neural classifiers detect what an agent is doing, symbolic rules decide what it is allowed to do. Through a process called autoformalization, Sondera compiles an organization’s natural-language rules into formally verified Cedar policy-as-code, checked by a theorem prover and enforced on every action an agent takes, on any agent runtime or harness. Because symbolic enforcement runs outside the model and across the full run, prompt injection and drift can’t bypass it, and the same action can be allowed or denied based on what the agent did before it.

Teams use Sondera to apply complex business logic, security, and compliance rules to coding agents, the agents they build, and the agents they sell. Open-source harness at github.com/sondera-ai. Learn more at sondera.ai.

Contacts
Media Contact
pr@sondera.ai

View original content to download multimedia:https://www.prnewswire.com/news-releases/sondera-compiles-natural-language-rules-into-provable-control-over-ai-agent-actions-302814775.html

SOURCE Sondera, Inc.

Co-Founder Wayne Mathisen Transitions to Board Advisor After Fourteen Years Leading the Manufacturer’s Growth and Market Disruption

KANSAS CITY, Kan., June 30, 2026 /PRNewswire/ — Orange EV today announced that Kurt Neutgens, Co-founder, President, and Chief Technology Officer, has assumed the role of Chief Executive Officer. The company also announced the hiring of Antonio Alva as Chief Operating Officer. The leadership moves come as demand grows for the manufacturer’s turnkey solution for yard operations which includes purpose-built EV terminal trucks, fleet chargers, and factory-direct service.

Neutgens’ work on Orange EV began before the company was founded. He spent more than a year analyzing commercial vehicle duty cycles to identify where electrification could deliver a meaningful operational advantage over traditional diesel equipment. Rather than beginning with technology in search of an application, Neutgens focused on finding an application where EVs could solve real-world operating challenges.

That search led him to the terminal truck.

Terminal trucks offered a uniquely strong starting point for electrification: highly repeatable routes and load profiles, controlled operating environments, and a clear operational drag from diesel trucks due to fluctuating fuel costs, high downtime, and maintenance and repair unpredictability. The result was a case that fleets could validate performance, quantify total cost of ownership, and quickly build confidence to move from pilot programs to broader fleet standardization.

Wayne Mathisen, who has served as CEO since co-founding Orange EV with Neutgens in 2012, is stepping back from day-to-day leadership after fourteen years helping build Orange EV from a category-creating idea into the market leader it is today. As CEO, Mathisen helped shape Orange EV’s strategy, business model, customer relationships, and disciplined approach to growth, helping turn an early vision for electric terminal trucks into a proven commercial platform serving fleets across North America. Mathisen will continue as a board advisor, providing continuity and strategic counsel as Orange EV enters its next phase of growth.

“Wayne has been indispensable to Orange EV’s success,” said Neutgens. “When we founded the company, we shared a conviction that electric vehicles, properly designed for the right application, could create a better way to run commercial operations. For fourteen years, every significant decision, direction, and method has been shaped by a partnership built on shared standards, trust, and commitment. Wayne led Orange EV from a germ of an idea in a garage to a transformative company that modernizes an important link in the supply chain. I could not have hoped for a better business partner, and I am deeply grateful that he will remain an advisor as we continue building on what we created together.”

Since Orange EV’s founding, Neutgens and Mathisen have guided Orange EV’s growth. Neutgens focused on the company’s technology, product roadmap, manufacturing strategy, service model, and operational direction. Under his leadership, Orange EV created the electric terminal truck market and established “yard dogs” as the most validated heavy-duty commercial EV application.

“Orange EV is built around a simple idea: yard operations need a better solution than diesel terminal trucks are able to provide,” said Neutgens. “From the beginning, our focus has been helping customers make their yards more reliable, more predictable, and more efficient. That does not change. Our customers depend on us for equipment, charging, and service to help reduce operational drag in the yard. I am grateful for the trust they have placed in Orange EV, and I am committed to continuing to earn that trust every day.”

In addition to Neutgens’ new role, Orange EV continues to build out its leadership team to address growth brought on by an inflection point in the terminal truck market. Antonio Alva brings more than 25 years of executive leadership experience across complex, multi-site industrial organizations. He most recently served as COO and President at parts manufacturer MPI Products, where he had P&L responsibility across engineering, quality, service, production, and procurement, the five functions he will now lead at Orange EV.

Known for aligning cross-functional teams around measurable operating and financial results, Alva has led multiple operational success stories in demanding industrial environments. He holds an MBA from the University of Phoenix and a Bachelor of Science in Industrial and Systems Engineering from the University of Florida.

“Orange EV is at a point where execution matters as much as innovation,” said Alva. “My focus is to align engineering, quality, service, production, and procurement around the same customer outcome: reliable equipment, dependable support, and an operating model that provides uptime rates far superior to what fleets have ever experienced with their diesel terminal trucks.”

Orange EV continues to scale, with more than 2,000 electric terminal trucks deployed across hundreds of customer fleets. Those vehicles have accumulated millions of real-world operating miles and key-on hours in warehouse, distribution, manufacturing, port, rail, and logistics environments. As operators evaluate the long-term cost, uptime, maintenance demands, and fuel-price variability of diesel equipment, the terminal truck market is rapidly shifting to broader operational standardization with EVs.

Orange EV’s mission remains unchanged: to help operators modernize their yard operations with a superior financial and operational solution that includes purpose-built terminal trucks, charging solutions, and a network of factory-backed service.

The leadership moves come on the heels of the company announcing the deployment of its 2,000th truck and a historic 600-truck order earlier this spring.

About Orange EV

Orange EV is the leading manufacturer of purpose-built zero-emission terminal trucks in North America. Manufactured in Kansas City, Orange EV delivers a turnkey electrification solution that includes Class 8 EV trucks, on-site service, and chargers including the Orange Juicer™ CCS1 battery-integrated charging system, empowering fleets to deploy yard operations with superior reliability in days or weeks, not years. Surpassing 33 million miles and 12 million hours of operation across more than 41 states, Canada, and the Caribbean, savvy fleets choose Orange EV for more cost-effective, predictable operations. Visit orangeev.com.

View original content to download multimedia:https://www.prnewswire.com/news-releases/orange-ev-names-current-president-kurt-neutgens-as-ceo-and-strengthens-leadership-team-with-antonio-alva-assuming-new-coo-role-302814782.html

SOURCE Orange EV

Your CRM is a picture of where your pipeline stands. Dynamiks turns it into an understanding of where it is going.

SAN FRANCISCO, June 30, 2026 /PRNewswire-PRWeb/ — Dynamiks today introduced the time dimension for CRM, giving revenue teams a way to move from data to understanding. Time is the one dimension every CRM has always left out.

A CRM is a picture. It captures where every deal sits right now, as data points on a record. What a picture cannot show is motion, and a pipeline is nothing but motion. Dynamiks adds time to the data layer, so those data points become understanding. How fast a deal is moving, and what to do next. Static CRM. Living pipeline.

Two measurements appear, and both exist only once time is in the picture. Impact, the dollar value of every action, including the cost of doing nothing. And Momentum, the velocity of every deal. Time is money is the oldest line in sales. Dynamiks is the first to measure both sides of it.

Like ours, the Quarterback’s brain has two sides. The left, a large language model, reasons in language. The right, built on deep reinforcement learning, captures time, learning the optimal sales policies that win deals.

Capturing time is what enables a sales team to win. It delivers the three conditions for success that a static CRM cannot: Feedback, through a live leaderboard that ranks reps by the value they create; Foresight, to see where every deal is heading before it slips; and Agency, to act on what works and let go of what does not.

“Nothing that matters in sales is standing still, yet every CRM is a picture,” said Nicolas Maquaire, co-founder and CEO of Dynamiks. “Add time, and data points become understanding. That is the difference between recording your pipeline and steering it.”

Dynamiks does not replace the CRM, it augments it. It installs with no migration, learns from the data already there, and is ready to act in days. Same CRM. Smarter sales teams. More deals closed.

About Dynamiks

Dynamiks adds the time dimension to CRM. Its agent, the Quarterback, measures the Impact of every action and the Momentum of every deal, augmenting Salesforce and HubSpot. The company was founded by Nicolas Maquaire, whose previous startup EntropySoft was acquired by Salesforce, and Cédric Moitrier, his former colleague there. Dynamiks operates between San Francisco and Paris.

Media Contact
Nicolas Maquaire, Dynamiks, 1 4158158229, media@dynamiks.ai, dynamiks.ai 

LinkedIn

View original content:https://www.prweb.com/releases/dynamiks-adds-the-time-dimension-to-crm-every-action-gets-a-value-every-deal-a-trajectory-302813934.html

SOURCE Dynamiks