Connect with us

Technology

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

Published

4 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

Technology

JinkoSolar Unveils Tiger Neo 5.0 All-Black Residential Solar Module with 25.52% Efficiency

Published

3 hours ago

on

October 17, 2026

By

SHANGRAO, China, Oct. 17, 2026 /PRNewswire/ — JinkoSolar Holding Co., Ltd. (“JinkoSolar” or the “Company”) (NYSE: JKS), today unveiled Tiger Neo 5.0, an all-black residential solar module built on its all-new TAC technology. The first version to reach the market, an all-black 48-cell module, delivers a maximum power output of 510 W with a module efficiency of 25.52%. It was designed to redefine the upper limits of what a scenario-specific module can deliver in both appearance and efficiency for premium homes and other architecturally refined residences.

The module showcases a deeper, more uniform and more refined black appearance than conventional back-contact (BC) modules. Semiconductor-grade low- and high-temperature processes bring the power temperature coefficient down to -0.24%/℃, meaning stronger energy yield in high-temperature environments.

TAC technology combines the excellent carrier transport of TOPCon with the low-temperature processing and positive electrode passivation of HJT, pushing peak cell efficiency to 28%, approaching the theoretical limit of monocrystalline silicon cells. Together with a zero-gap cell layout and hidden-ribbon technology at module level, the module achieves an efficiency of 25.52%. Compared with conventional BC products, it delivers approximately 30 W more power, and a lower temperature coefficient. Its deeper, more premium black appearance blends seamlessly into residential rooftops— especially dark-colored ones — making it a standout in the residential module category for both power and aesthetics.

“Our vision for Tiger Neo 5.0 was to develop a panel tailored to premium residential rooftops. It pushes the boundaries of both performance and aesthetics with innovations in cell technology, passivation processes, structural design, module format and interconnections. With this launch, we aim to help move the industry toward solutions tailored to specific applications,” said Charlie Cao, CEO of Jinko Solar Co., Ltd.

About JinkoSolar Holding Co., Ltd.

JinkoSolar (NYSE: JKS) is a holding company combining clean energy industrial operations and strategic investment in emerging technologies. Its industrial foundation is a controlling interest in Jinko Solar Co., Ltd. (SSE: 688223), a global leader in clean energy technology. The Company makes disciplined strategic investments in renewable energy, advanced materials, artificial intelligence, commercial space and other frontier technologies, drawing on its industrial experience and its ability to identify emerging technologies and bring them to commercial scale.

Through Jinko Solar Co., Ltd., the Company distributes its solar products and sells its solutions and services to a diversified international utility, commercial and residential customer base in China, the United States, Japan, Germany, the United Kingdom, Chile, South Africa, India, Mexico, Brazil, the United Arab Emirates, Italy, Spain, France, Belgium, Netherlands, Poland, Austria, Switzerland, Greece and other countries and regions.

JinkoSolar has over 10 production facilities globally, over 20 overseas subsidiaries in Japan, South Korea, Vietnam, India, Turkey, Germany, Italy, Switzerland, the United States, Mexico, and other countries, and a global sales network with sales teams in China, the United States, Canada, Brazil, Chile, Mexico, Italy, Germany, Turkey, Spain, Japan, the United Arab Emirates, Netherlands, Vietnam and India, as of June 30, 2026.

To find out more, please see: www.jinkosolar.com 

Safe Harbor Statement

This press release contains forward-looking statements. These statements constitute “forward-looking” statements within the meaning of Section 27A of the Securities Act of 1933, as amended, and Section 21E of the Securities Exchange Act of 1934, as amended, and as defined in the U.S. Private Securities Litigation Reform Act of 1995. These forward-looking statements can be identified by terminology such as “will,” “expects,” “anticipates,” “future,” “intends,” “plans,” “believes,” “estimates” and similar statements. Among other things, the quotations from management in this press release and the Company’s operations and business outlook, contain forward-looking statements. Such statements involve certain risks and uncertainties that could cause actual results to differ materially from those in the forward-looking statements. Further information regarding these and other risks is included in JinkoSolar’s filings with the U.S. Securities and Exchange Commission, including its annual report on Form 20-F. Except as required by law, the Company does not undertake any obligation to update any forward-looking statements, whether as a result of new information, future events or otherwise.

For investor and media inquiries, please contact:

Ms. Stella Wang
JinkoSolar Holding Co., Ltd.
Tel: +86 21-5180-8777 ext.7806
Email: pr@jinkosolar.com

View original content:https://www.prnewswire.com/news-releases/jinkosolar-unveils-tiger-neo-5-0-all-black-residential-solar-module-with-25-52-efficiency-302911814.html

SOURCE JinkoSolar Holding Co., Ltd.

Continue Reading

Technology

AGFUND wins international award for excellence in inclusive banking and social impact

Published

4 hours ago

on

October 17, 2026

By

 Prince Abdulaziz bin Talal credits the founders of AGFUND’s microfinance banks for laying the foundations of its development impact

BANGKOK, Oct. 17, 2026 /CNW/ — The Arab Gulf Programme for Development (AGFUND) won the “Excellence in Inclusive Banking and Social Impact” award at the 2026 Sustainable Development Goals Awards, organized by the World Savings and Retail Banking Institute (WSBI) in cooperation with the European Savings and Retail Banking Group (ESBG).

AGFUND CEO Hammam bin Nasser bin Juraid accepted the award in Bangkok, Thailand, alongside the Annual Meetings of the International Monetary Fund and World Bank Group.

HRH Prince Abdulaziz bin Talal bin Abdulaziz, President of AGFUND, said the recognition acknowledges AGFUND’s experience using financial services to empower underserved communities, strengthen livelihoods and promote economic independence.

He credited the founders of AGFUND’s microfinance banks, particularly the late Prince Talal bin Abdulaziz, for establishing institutions centered on empowering people.

He added that the award reflects over two decades of commitment, the dedication of financial inclusion banks and partners, and clients who transformed financing into businesses and family income. He emphasized expanding opportunities and measuring success through lasting improvements in people’s lives.

Prince Abdulaziz stressed that the recognition reflects the value of institutions reaching excluded populations and encourages broader access and economic opportunities for families.

AGFUND’s financial inclusion banking network has served more than 1.3 million clients and disbursed over US$1.37 billion in financing since inception. Women represent 59 per cent of borrowers, demonstrating its contribution to economic empowerment.

Presented by WSBI, established in 1924, together with ESBG, the award recognizes an approach linking financial services, social impact and sustainable development.

Following its first bank in Jordan in 2004, AGFUND expanded across nine countries: Jordan, Yemen, Bahrain, Syria, Lebanon, Palestine, Sudan, Mauritania and Sierra Leone, focusing on communities underserved by conventional financial institutions.

The network has issued more than 1.5 million loans, opened over 927,000 savings accounts, established 112 branches and employed more than 1,500 people. Its services finance micro and small enterprises and income-generating activities, improving livelihoods and economic independence.

AGFUND plans to strengthen development partnerships, advance digital solutions and innovative financial products, and integrate financing with training, capacity development, market access and risk protection.

It is also exploring geographic expansion, particularly in Africa, through institutional partnerships that adapt successful approaches to local needs and extend sustainable financial inclusion to more communities.

Website – https://agfund.org/

View original content to download multimedia:https://www.prnewswire.com/news-releases/agfund-wins-international-award-for-excellence-in-inclusive-banking-and-social-impact-302911811.html

SOURCE The Arab Gulf Programme for Development (AGFUND)

Continue Reading

Technology

GAC Showcases Multiple Models at Canton Fair: Systemic Global Expansion as a Response to High‑Level Opening‑Up

Published

5 hours ago

on

October 17, 2026

By

GUANGZHOU, China, Oct. 17, 2026 /PRNewswire/ — On 15 October, the 140th China Import and Export Fair (Canton Fair) kicked off in Guangzhou. Dubbed “China’s No.1 Exhibition” with a 70‑year history, it serves as a vital window for global merchants to understand China, and one of GAC’s stages to connect with the world. For international buyers, GAC serves not only as a sourcing platform but as a trusted channel for experiencing Chinese automotive innovation and building long-term local partnerships. Having made its debut in 2012, GAC has participated in the fair 30 times to date. Together with the Canton Fair, it has witnessed the transformation of Made‑in‑China products into Chinese global brands.

This transformation is reflected in GAC’s global expansion journey through a string of continuously refreshed sales figures. Overseas sales stood at 90,000 units in 2024, hit 130,000 units in 2025, and exceeded 197,000 units in January‑September 2026, representing a year‑on‑year surge of 138.9%. GAC is sprinting full steam ahead toward its annual target of 300,000 overseas units. GAC has accomplished a shift from “product export” to “system‑level global expansion”.

At the GAC booth, XT80, AION i60 and AISTALAND GX7 showcased intelligent driving, three-electric systems and premium cabins. The energy-ecology zone featured DC ultra-fast charging piles, 7 kW smart home chargers, multi-in-one electric drive units and PV-Storage-Charging-Swapping Technology, addressing range anxiety. Opening day drew buyers from Southeast Asia, the Middle East, Europe, Latin America and Africa. At the Music & Cuisine Festival, GAC built three immersive spaces blending smart mobility, Cantonese cuisine, camping and sports. The XT80, AION N60, GAC S7 and AISTALAND GT7 served as lifestyle carriers, letting guests enjoy morning tea, global cuisines and intangible cultural heritage.

GAC will advance its ONE GAC 2.0 strategy, deepening localized operations and expanding its systematic global layout. As a tribute to the Canton Fair’s 70th anniversary and a new business card for China’s auto industry, GAC will help drive Chinese intelligent manufacturing onto the global stage.

For further information about GAC, please visit https://www.gacgroup.com/en or follow us on social media.

 

SOURCE GAC

Continue Reading

Trending