Connect with us

Technology

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

Published

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.

Continue Reading

Technology

The United States Golf Association Selects Gupta Media as Paid Media Agency of Record

Published

on

By

The appointment comes as the USGA looks to continue to strengthen brand equity and increase awareness and engagement with golfers nationwide

BOSTON, Oct. 17, 2026 /PRNewswire-PRWeb/ — The USGA, the non-profit governing body of golf in the United States, has named Gupta Media its paid media agency of record following a competitive pitch process that began in February. Gupta Media will lead paid media strategy, planning, buying and reporting in support of the USGA’s Championship ticketing and broader commercial initiatives, while helping grow brand equity, awareness and engagement across the organization. Its work will span key USGA priorities, including golf’s official Handicap Index® and GHIN app; the Rules of Golf and the USGA’s governance of the game; Membership; and initiatives that advance golf through sustainability, research and innovation, and greater access and inclusion. The relationship expands beyond media execution to include audience strategy, first-party data integration, measurement and optimization.

“Gupta Media stood out for its ability to connect the dots between data, audience strategy, media and creative to real business outcomes, so we’re incredibly excited for this next chapter.”

The relationship comes at an important moment for the USGA, with the organization focused on continuing to expand its reach and deepening brand affinity across the ever-growing, diverse golf community. Gupta Media will help drive ticket sales for some of the sport’s biggest events, including the 2027 U.S. Open at Pebble Beach Golf Links, the 2027 U.S. Women’s Open at Inverness Club, the 2028 U.S. Open at Winged Foot Golf Club and the 2028 U.S. Women’s Open at Oakmont Country Club. The agency will also support the USGA in creating greater awareness and brand recognition for its corporate Partners through co-branded content and paid media.

Golf has an enormous network of people who love the game, creating a growing opportunity to build a deeper, more direct relationship between golfers and the organization. That challenge is exactly what Gupta Media is built to strategically address — from growing membership and promoting ticket sales for major live events to reaching new audiences and understanding customer lifetime value. By bringing together audience insights, first-party data and media performance, Gupta Media will help the USGA create more relevant, effective marketing that drives measurable business results while strengthening its connection with the next generation of golfers.

“We were looking for an agency that could bring a deep understanding of our audiences, a genuine enthusiasm for our mission and the strategic expertise to work with us through this next phase of golf’s growth,” said Lynn LaRocca, USGA’s Managing Director of Brand & Marketing. “Gupta Media stood out for its ability to connect the dots between data, audience strategy, media and creative to real business outcomes, so we’re incredibly excited for this next chapter.”

“There’s a personal element to this partnership that makes it especially rewarding. My golf journey began 30 years ago when I first visited Pebble Beach as a teenager, long before I could imagine actually playing on the course,” said Gogi Gupta, Founder, Gupta Media. “To now have the opportunity to connect that lifelong passion for the game with the work we’ve spent years building and fine-tuning our agency to do feels like kismet. We’re eager to bring our proficiency to an organization that plays a leading role in the great game.”

The relationship brings together Gupta Media’s deep experience in sports marketing with its data-driven approach to audience strategy, media and creative. The agency has developed a specialized set of tools and processes to address data and analytics challenges of sports and live events, including TallyTickets.com, its proprietary ticketing analytics platform that helps teams understand sales trends, forecast demand and make more informed marketing and media decisions. Gupta Media’s experience spans sports, entertainment, premium events, and pop culture, giving the agency a comprehensive understanding of the audience models and fan behaviors that shape the industry.

About the USGA:

The USGA is a mission-based golf organization whose purpose is to unify the golf community through handicapping and grassroots programs; to showcase the game’s best talent through the U.S. Open, U.S. Women’s Open, and 13 other national championships and our museum; to provide unbiased global governance with The R&A through the playing, equipment and Amateur Status rules; and to advance issues important to golf’s future, with a focus on driving sustainability.

About Gupta Media:

Gupta Media, a certified Minority Business Enterprise, is a strategic consultancy at the intersection of creative strategy, digital media, advanced analytics, and performance marketing. We drive growth for professional sports franchises, global tech leaders, DTC brands, major music labels, and other high-profile organizations by building intelligent media plans, best-in-class reporting tools, and custom enterprise technology. Founded 25 years ago by Cornell grad Gogi Gupta, the agency is known for developing new methods of maximizing advertising efficiency in a digital-first world. Harvard Business School’s case study on Gupta Media was taught to all incoming students for three years and is still taught around the globe.

Media Contact

Carly Carioli, Gupta Media, 1 617-682-3733, ccarioli@guptamedia.com, guptamedia.com

View original content:https://www.prweb.com/releases/the-united-states-golf-association-selects-gupta-media-as-paid-media-agency-of-record-302911621.html

SOURCE Gupta Media

Continue Reading

Technology

China Mobile Hong Kong Establishes Hong Kong’s First U6G Network

Published

on

By

Expanding Next-Generation Network Capabilities and Accelerating the Innovative Convergence of Communication, Computing, and AI Laying a Solid Foundation for 6G Development in Hong Kong

HONG KONG, Oct. 17, 2026 /PRNewswire/ — China Mobile Hong Kong Company Limited (“China Mobile Hong Kong”) announced that it has taken the lead in realising a U6GHz network, successfully completing network testing and validation at its Mong Kok flagship store and advancing the exploration of Upper 6GHz band applications in mobile networks. Implementing China Mobile Group’s strategy of “strengthening the network foundation and full-stack innovation”, China Mobile Hong Kong aims to enhance network capabilities through new frequency band applications, drive collaborative innovation between terminals and the wider industry, and lay a robust foundation for Hong Kong’s future 6G development.

Strategic Early Deployment of New Spectrum to Build Momentum for a 6G Future
U6GHz, or the Upper 6GHz band, can provide continuous wide bandwidth and is a crucial spectrum resource supporting 5G-A and future 6G evolution. On 29 November 2024, Hong Kong completed its 6/7GHz spectrum auction, becoming the first region globally to auction this frequency band for public mobile services. China Mobile Hong Kong successfully bid for 100MHz of continuous spectrum and has made appropriate forward-looking deployments, advancing network capability validation and terminal adaptation to accumulate experience for future 6G commercialisation.

Expanding Network Capacity to Enable Smoother Smart Applications
The newly added U6GHz spectrum can be utilised synergistically with existing frequency bands. Through various combinations with current spectrums, it can achieve download speeds of 3Gbps. The increased availability of spectrum helps enhance data transmission capabilities, accommodating more simultaneous user connections, improving the internet experience in highly congested areas, and supporting high-definition video and large-capacity data transmission.

As artificial intelligence becomes increasingly integrated into production and daily life, the demand for data transmission from devices such as smart glasses and AI robots continues to rise. China Mobile Hong Kong will promote the synergistic development of U6GHz and intelligent computing services, enhance connectivity between terminals and intelligent computing platforms, and explore AI image analysis, immersive interactions, and industrial applications. This will allow smart services to better integrate into everyday life and corporate operations.

Aligning with Mainland China and Hong Kong Blueprints to Consolidate the Foundation of Digital-Intelligent Development
China Mobile Hong Kong will actively align with the Nation’s “15th Five-Year Plan” and Hong Kong’s first Five-Year Plan. Focusing on “AI+”, computing infrastructure, and new industrialisation, the company will enhance communication and smart services through network upgrades to assist Hong Kong in building an international innovation and technology centre. Concurrently, China Mobile Hong Kong will collaborate with industry partners to accelerate the research, development, and testing of U6GHz products. By expanding hotspot coverage according to demand, it aims to drive the maturity of the industrial ecosystem and accelerate Hong Kong’s 6G development. Looking ahead, China Mobile Hong Kong will continue to leverage its strengths as a central state-owned enterprise, providing high-quality digital infrastructure to serve Hong Kong and the Guangdong-Hong Kong-Macao Greater Bay Area, thereby fully contributing to the building of a cyber superpower and a digital China.

About China Mobile Hong Kong Limited
China Mobile Hong Kong Company Limited (“China Mobile Hong Kong”) is the wholly-owned subsidiary of China Mobile Limited (HKEx: 941), which is listed on the Fortune Global 500. China Mobile Hong Kong was incepted in January 1997 and was the first mobile network operator to launch PCS services in Hong Kong.

As the world’s leading mobile network brand with the largest customer base*, The Company offers innovative and comprehensive 5G communications services, including voice, data, IDD and international roaming. The Company is committed to the development of 5G with new technologies such as artificial intelligence, internet of things, cloud computing and big data, integrating 5G applications in different industries, promoting the construction and development of smart city groups in Greater Bay Area.

* China Mobile (Hong Kong) Limited is a wholly-owned subsidiary of China Mobile Limited. As of 31 December 2025, China Mobile Limited had the largest number of mobile network subscribers in the world.

View original content to download multimedia:https://www.prnewswire.com/apac/news-releases/china-mobile-hong-kong-establishes-hong-kongs-first-u6g-network-302911836.html

SOURCE China Mobile Hong Kong Company Limited

Continue Reading

Technology

LG Electronics Kicks Off UAE Winter Roadshow for the All-New LG OLED EVO W6 Wallpaper TV

Published

on

By

UAE residents can spot the ultra-thin 9 mm True Wireless OLED evo W6 at iconic destinations across the country, with interactive social contests and a chance to win the flagship television.

LG Electronics is launching a winter-long roadshow across premier UAE destinations to showcase the all-new flagship LG OLED evo W6, True Wireless Wallpaper TV.The tour officially kicks off at The Lotus Lounge, Anantara The Palm Dubai Resort, running from 16 to 19 October 2026.Secret upcoming locations will be teased on Instagram via @lg_gulf. Guests who visit one of the spot and post an Instagram Story tagging #LGW6spotted and @lg_gulf will enter a grand draw to win an LG OLED W6 TV.

DUBAI, UAE, Oct. 17, 2026 /PRNewswire/ — LG Electronics (LG) has announced the official launch of its nationwide UAE Winter Roadshow, showcasing the groundbreaking LG OLED evo W6, True Wireless Wallpaper TV. Commencing this weekend, the showcase will invite residents and visitors across the Emirates to experience the future of ultra-premium home entertainment firsthand in some of the country’s most scenic and luxurious lifestyle venues.

The roadshow marks the regional debut of the LG OLED evo W6, True Wireless Wallpaper TV, celebrating the much-anticipated return of LG’s iconic “Wallpaper” aesthetic. Measuring an ultra-slim 9.95mm in depth, the W6 mounts seamlessly flush against the wall with zero gaps, transforming the living space into a high-tech art gallery. Equipped with LG’s proprietary Zero Connect wireless transmission technology, the screen delivers lossless 4K video and audio from an untethered AV box placed up to 10 meters away, completely eliminating visible cable clutter.

First Stop: The Lotus Lounge, Anantara The Palm Dubai Resort

The LG OLED evo W6 winter journey kicks off with an exclusive opening pop-up at The Lotus Lounge at Anantara The Palm Dubai Resort, running from 16 to 19 October 2026. Guests visiting the venue will see the display blending seamlessly into an upscale seaside hospitality environment.

A Gamified Winter Tour: #LGW6spotted

Throughout the winter season, the LG OLED evo W6 will pop up at surprise footfall lifestyle destinations across UAE.

To engage consumers and tech enthusiasts, LG Gulf is introducing an interactive social campaign:

Ahead of every pop-up, upcoming secret locations will be teased on @lg_gulf on Instagram. Followers who correctly guess the venue can win exclusive on-the-spot giveaways.Visitors who embark on the city-wide trail and spot the installation at locations can enter a lucky draw to win their very own LG OLED evo W6, True Wireless Wallpaper TV at the conclusion of the campaign. To qualify, participants simply need to capture a photo of the TV, upload it to their Instagram Story, tag @lg_gulf, and use the hashtag # LGW6spotted.

Next-Generation Picture and AI Performance

Beneath its ultra-thin profile, the LG OLED evo W6 is driven by LG’s most sophisticated brain yet: the α11 (Alpha 11) AI Processor 4K Gen3. Engineered to analyze content frame-by-frame, the processor utilizes deep learning to upscale imagery with astonishing spatial depth, refine facial realism, and map multi-channel virtual surround sound tailored to room acoustics.

Complementing the processor is LG’s next-evolution Hyper Radiant Color technology alongside Brightness Booster Ultra, delivering luminous peak highlights that push conventional OLED boundaries while preserving the iconic inky, Perfect Blacks that define the medium. To suit the light-filled, open-plan spaces characteristic of modern homes in the region, the screen incorporates an advanced Reflection Free Premium coating that dramatically suppresses ambient glare without muting color vibrancy.

Setting an industry first, the LG OLED evo W6 also stands as the world’s first True Wireless TV capable of transmitting 4K visual clarity at an ultra-smooth 165Hz refresh rate. Complete with full support for Dolby Vision, Dolby Atmos, and leading gaming technologies, including Variable Refresh Rate (VRR), NVIDIA G-Sync, and AMD FreeSync Premium, the LG OLED evo W6 ensures uncompromising performance whether playing host to high-octane gaming or an intimate, theater-grade cinema evening.

For more information about the LG OLED evo W6, visit:
https://www.lg.com/ae/tvs-soundbars/lg-oled83w66la. To follow the roadshow schedule, decipher location clues, and enter the contest, follow @lg_gulf on Instagram.

About LG Electronics Media Entertainment Solution Company

 The LG Media Entertainment Solution Company (MS) is a recognized innovator in televisions, audio, displays and smart TV platforms. The MS Company enhances the media entertainment experience with its OLED TVs, renowned for perfect black and perfect color, and premium LCD QNED TVs, all powered by the personalized webOS smart TV platform. The MS Company also offers Information Technology solutions (gaming monitors, business monitors, laptops, projectors, cloud devices and medical displays) as well as Signage solutions (Micro LED signage, digital signage, hospitality displays and signage software solutions) that are designed to maximize customers’ work efficiency and deliver strong value. For more news on LG, visit www.LGnewsroom.com. 

View original content to download multimedia:https://www.prnewswire.com/news-releases/lg-electronics-kicks-off-uae-winter-roadshow-for-the-all-new-lg-oled-evo-w6-wallpaper-tv-302911823.html

SOURCE LG

Continue Reading

Trending