Connect with us

Technology

Sondera Compiles Natural-Language Rules into Provable Control Over AI Agent Actions

Published

2 months ago

on

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.

Related Topics:
Continue Reading
Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

Technology

LCN Senior Swing first to utilize newly released Allegion Optimize mobile application

Published

18 minutes ago

on

September 1, 2026

By

Optimize unifies connected solutions, enabling better efficiency while managing, calibrating and troubleshooting devices throughout their life cycle.

CARMEL, Ind., Sept. 1, 2026 /PRNewswire/ — Allegion US, a leading provider of security solutions, technology and services, launched Allegion Optimize™, a mobile application created to unify and streamline management of select Allegion products within one easy-to-use tool built with customers’ needs in mind. The release coincides with the latest firmware update for the award-winning LCN Senior Swing Series Auto Operator, making it the first device to utilize Optimize. Key features allow installers and facility teams to calibrate, adjust, maintain and troubleshoot the LCN Senior Swing with just the app, resulting in greater efficiency, precision and safety.

Not your typical commissioning app

Optimize creates a single, unified experience that reduces time and friction in device commissioning, diagnostics and firmware updates across connected Allegion solutions via Bluetooth® connection. By providing support throughout the device’s life cycle, facility teams not only gain improved efficiency but better insight into the data and controls that help keep their openings running smoothly.

“Between 2018 and 2033, it’s predicted that up to 50 percent of the facility management workforce will retire,” said Emily Zentz, Allegion product manager, automatic operators. “As new facilities professionals step into the industry, it’s imperative that technology advances in line with their growing expectations. The Optimize app answers that call, positioning Allegion’s line of auto operators with a modern experience.”

LCN Senior Swing first to utilize Allegion Optimize

Setting adjustments, troubleshooting and calibration on the LCN Senior Swing is now even easier. In-app calibration, diagnostic tools, firmware updates and data management enable installers and facility teams to have a greater level of control over their buildings.

Once the LCN Senior Swing is installed, the installer can run the calibration cycle from the app. This allows them to be safely on the ground and watch the door more closely to determine whether further adjustments are needed. Users can fine tune the settings on the Optimize app without removing the cover on the Senior Swing or climbing a ladder. When troubleshooting, Optimize provides details for any error codes or notifications, so the user can quickly review, digest and act upon that information before engaging with technical support.

Device management with one seamless solution from Allegion

Allegion Optimize won’t stop with the LCN Senior Swing. It is designed to be the new unified device management mobile application that will simplify the commissioning, configuration and ongoing maintenance of future Allegion connected devices across multiple product categories. Plans to support additional auto operators and electronic locks will be announced later this year.

Allegion Optimize is available now in the Apple App Store® and Google Play™ store for use with LCN auto operators. Learn more about Optimize and the LCN Senior Swing at AllegionOptimize.com.

About Allegion 

At Allegion (NYSE: ALLE), we design and manufacture innovative security and access solutions that help keep people safe where they live, learn, work and connect. We’re pioneering safety with our strong legacy of brands like CISA®, Interflex®, LCN®, Schlage®, SimonsVoss®, Von Duprin®. Our comprehensive portfolio of hardware, software and electronic solutions is sold around the world and spans residential and commercial locks, door closer and exit devices, steel doors and frames, access control and workforce productivity systems. For more, visit www.allegion.com.

View original content to download multimedia:https://www.prnewswire.com/news-releases/lcn-senior-swing-first-to-utilize-newly-released-allegion-optimize-mobile-application-302866691.html

SOURCE Allegion US

Continue Reading

Technology

In HelloNation, Breast Pump Expert Patty Gatter Explains Breast Pumps That Fit Busy and Unpredictable Schedules

Published

18 minutes ago

on

September 1, 2026

By

The article explains how flexible pumping solutions help parents balance breastfeeding with changing daily routines.

EMMAUS, Pa., Sept. 1, 2026 /PRNewswire/ — What is the best breast pump for a busy schedule? A HelloNation article features insights from Breast Pump Expert Patty Gatter of The Breastfeeding Shop in Emmaus, Pennsylvania, explaining how choosing a breast pump that fits changing routines can make breastfeeding easier to manage.

The article explains that becoming a parent often means adjusting to schedules that change from one day to the next. Meetings may run late, errands take longer than expected, and childcare responsibilities can interrupt carefully planned routines. Choosing a breast pump that supports flexibility instead of adding extra demands can help parents continue breastfeeding while balancing work, family responsibilities, and everyday life.

According to the article, a flexible breast pump is designed to fit into a variety of routines rather than requiring parents to stop everything for each pumping session. Whether pumping while working from home, during breaks at the office, or between appointments, equipment that adapts to changing schedules helps reduce stress and supports a more consistent breastfeeding routine.

The article also highlights the convenience of a wearable breast pump. Unlike traditional systems that often require parents to remain seated near an outlet, wearable options fit inside a nursing bra and provide greater freedom of movement. Parents may be able to answer emails, complete household tasks, prepare simple meals, or care for their baby while pumping, making it easier to use available time efficiently.

Portability is another important feature discussed in the article. A portable breast pump can be especially helpful for parents who commute, travel regularly, or spend much of the day away from home. Lightweight designs that fit easily into a diaper bag, work bag, or backpack make it easier to stay consistent with pumping regardless of where the day leads.

The article emphasizes that comfort should remain a priority when selecting a breast pump. Adjustable suction settings, proper flange sizing, and an easy-to-use design all contribute to a better pumping experience. Comfortable equipment often encourages more consistent pumping, which may better support ongoing breastfeeding goals.

Battery life and noise level are also important considerations covered in the article. Rechargeable batteries that last through multiple pumping sessions reduce the need for frequent charging, while quieter operation can provide additional privacy in workplaces and other shared environments. These practical features often become more valuable as parents settle into their daily routines.

Cleaning and maintenance are equally important. The article explains that wearable breast pumps and portable breast pumps with fewer individual parts may reduce the time spent washing and reassembling equipment after each use. Those small conveniences can make pumping feel more manageable for parents with demanding schedules.

The article also encourages parents to think about their long-term needs instead of focusing only on the first weeks after birth. Family routines often change as babies grow, work responsibilities evolve, and childcare arrangements develop. Choosing a breast pump that continues meeting those changing needs can provide lasting value throughout the breastfeeding journey.

The article concludes that there is no single breast pump that is right for every parent. Some families prioritize portability, while others place greater importance on comfort, quiet operation, or wearable convenience. Carefully considering personal routines, pumping frequency, and daily responsibilities helps narrow the available options and makes choosing a breast pump feel less overwhelming.

Breast Pumps That Fit Busy and Unpredictable Schedules features insights from Patty Gatter, Breast Pump Expert of Emmaus, Pennsylvania, in HelloNation.

About HelloNation

HelloNation is America’s Good News Network, a premier media platform built on the idea that good news travels faster when real people tell real stories. Through its community-focused publications and innovative “edvertising” approach, HelloNation delivers content that informs, inspires, and spotlights the leaders making a meaningful impact in their communities.

View original content to download multimedia:https://www.prnewswire.com/news-releases/in-hellonation-breast-pump-expert-patty-gatter-explains-breast-pumps-that-fit-busy-and-unpredictable-schedules-302866696.html

SOURCE HelloNation

Continue Reading

Technology

Lucid Bots Launches Power Tether, the Cleaning Drone Industry’s First Ground-Powered Continuous Flight System

Published

18 minutes ago

on

September 1, 2026

By

The launch comes as Lucid Bots’ connected fleet surpasses 8,760 cumulative flight hours — the equivalent of a full year in the air

CHARLOTTE, N.C., Sept. 1, 2026 /PRNewswire/ — Lucid Bots has announced the Power Tether, making it the first company to bring a ground-powered continuous-power system to commercial cleaning and spraying drones. The system supplies continuous external power to the Sherpa drone, reducing planned battery-change interruptions during longer cleaning and spraying operations. The announcement comes as Lucid Bots operators have recently recorded more than 8,760 cumulative flight hours; the equivalent of more than one full calendar year in the air.

Measured through telemetry data as of August 17, the milestone aggregates airborne time across 600+ Sherpa drones. It represents cumulative activity across the network, not a single continuous flight and not exclusively Power Tether-powered flight.

Conventional battery operations require the drone to land periodically so crews can swap packs, relaunch and reacquire position. The Power Tether shifts the primary power source to the ground: its air module mounts in the Sherpa drone’s battery bay, while a ground station connects to a compatible generator. The result is a longer, steadier work session with fewer planned interruptions and less need to schedule the job around battery cycles.

Adoption data reflects the shift. Among customers who have logged more than an hour on the Power Tether, more than 90% of their flight time now runs on tether power, with batteries used for the remaining 10%. That split is a signal that once crews have the system on hand, they default to it for the bulk of the job.

“Those hours belong to our customers. A year in the air is a year of everyday businesses generating revenue and doing dangerous work faster and more safely,” said Andrew Ashur, Founder and CEO of Lucid Bots. “Too much of robotics has lived in the promise of headlines. This is customers on job sites building real companies and creating real value. The Power Tether also ends the old battery debate that has dominated our industry. Once customers try it, the data shows they don’t go back to swapping packs. Crews stay focused on the building instead of the battery clock.”

— Andrew Ashur, Founder and CEO of Lucid Bots

The Power Tether installs in less than 15 minutes on compatible Sherpa drone systems. Firmware monitors power draw in real time and alerts operators as they approach operating limits. If generator power is lost, onboard battery backup supports the system’s automatic landing sequence.

In a continuous-flight test at Lucid Bots headquarters, a Power Tether-equipped Sherpa drone remained airborne for eight hours and 48 seconds on one generator connection with no battery swaps.

The Power Tether is designed for commercial building-maintenance work where longer flight sessions help crews maintain job momentum, including exterior facade, window, hotel, institutional and distribution-center applications.

Product specifications, operating requirements and purchasing information are available at lucidbots.com/products/power-tether.

About Lucid Bots

Lucid Bots is a Charlotte, NC-based drone hardware company and the manufacturer of the Sherpa Drone, a purpose-built platform for exterior cleaning and protection applications. Backed by Y Combinator and $34 million in funding, Lucid Bots serves a network of 400+ operators across more than 40 states and three continents. The Sherpa Drone is designed and built in the USA and a distinct NDAA-compliant configuration is available. Learn more at lucidbots.com.

Contact: Abigail Steinberg | asteinberg@lucidbots.com 

View original content to download multimedia:https://www.prnewswire.com/news-releases/lucid-bots-launches-power-tether-the-cleaning-drone-industrys-first-ground-powered-continuous-flight-system-302866698.html

SOURCE Lucid Bots

Continue Reading

Trending