Connect with us

AI Insights

Writing reliable software with AI

Published

on


As an intuitive example, consider a crossword puzzle. While filling in suggestions, you check that the words actually fit with the overall entries in the puzzle. This is a generate-and-check approach, and we apply it to a generative AI-based system: after the AI generates a creative proposal — such as a word — a separate system checks it against practical constraints and rules. For the crossword, we can check the correct length of suggestions and, over time, the consistency of letters across different entries. Additionally, if there is an issue such as an inconsistency of letters across words, you can provide this feedback to the assistant to improve future suggestions.

The generate-and-check approach is particularly well-suited for software development, where established rules can be automatically checked. These rules can vary in complexity — ranging from coding style guides to formal verification of specified properties. This facilitates verification and validation, as we verify resulting artifacts rather than validating the system under all circumstances. By implementing strong rule sets, we can ensure that the AI’s output is safe, accurate, and compliant with specific requirements, reducing the need for extensive human supervision.

We’re excited about the potential of generate-and-check and pleased to see this approach gaining traction within the software engineering community. Generate-and-check is inherently a multi-disciplinary approach, e.g., combining AI, software engineering, and — in our case — domain-specific aspects such as embedded systems and safe software. As such, we have a great collaboration in our team where each member contributes their unique background to tackle exciting and challenging applications of generate-and-check. Let’s take a closer look at some of these.



Source link

Continue Reading
Click to comment

Leave a Reply

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

AI Insights

Russia allegedly field-testing deadly next-gen AI drone powered by Nvidia Jetson Orin — Ukrainian military official says Shahed MS001 is a ‘digital predator’ that identifies targets on its own

Published

on


Ukrainian Major General Vladyslav (Владислав Клочков) Klochkov says Russia is field-testing a deadly new drone that can use AI and thermal vision to think on its own, identifying targets without coordinates and bypassing most air defense systems. According to the senior military figure, inside you will find the Nvidia Jetson Orin, which has enabled the MS001 to become “an autonomous combat platform that sees, analyzes, decides, and strikes without external commands.”

Digital predator dynamically weighs targets

With the Jetson Orin as its brain, the upgraded MS001 drone doesn’t just follow prescribed coordinates, like some hyper-accurate doodle bug. It actually thinks. “It identifies targets, selects the highest-value one, adjusts its trajectory, and adapts to changes — even in the face of GPS jamming or target maneuvers,” says Klochkov. “This is not a loitering munition. It is a digital predator.”



Source link

Continue Reading

AI Insights

Artificial Intelligence Predicts the Packers’ 2025 Season!!!

Published

on


On today’s show, Andy simulates the Packers 2025 season utilizing artificial intelligence. Find out the results on today’s all-new Pack-A-Day Podcast! #Packers #GreenBayPackers #ai To become a member of the Pack-A-Day Podcast, click here: https://www.youtube.com/channel/UCSGx5Pq0zA_7O726M3JEptA/join Don’t forget to subscribe!!! Twitter/BlueSky: @andyhermannfl If you’d like to support my channel, please donate to: PayPal: https://paypal.me/andyhermannfl Venmo: @Andrew_Herman Email: [email protected] Discord: https://t.co/iVVltoB2Hg





Source link

Continue Reading

AI Insights

WHO Director-General’s remarks at the XVII BRICS Leaders’ Summit, session on Strengthening Multilateralism, Economic-Financial Affairs, and Artificial Intelligence – 6 July 2025

Published

on


Your Excellency President Lula da Silva,

Excellencies, Heads of State, Heads of Government,

Heads of delegation,

Dear colleagues and friends,

Thank you, President Lula, and Brazil’s BRICS Presidency for your commitment to equity, solidarity, and multilateralism.

My intervention will focus on three key issues: challenges to multilateralism, cuts to Official Development Assistance, and the role of AI and other digital tools.

First, we are facing significant challenges to multilateralism.

However, there was good news at the World Health Assembly in May.

WHO’s Member States demonstrated their commitment to international solidarity through the adoption of the Pandemic Agreement. South Africa co-chaired the negotiations, and I would like to thank South Africa.

It is time to finalize the next steps.

We ask the BRICS to complete the annex on Pathogen Access and Benefit Sharing so that the Agreement is ready for ratification at next year’s World Health Assembly. Brazil is co-chairing the committee, and I thank Brazil for their leadership.

Second, are cuts to Official Development Assistance.

Compounding the chronic domestic underinvestment and aid dependency in developing countries, drastic cuts to foreign aid have disrupted health services, costing lives and pushing millions into poverty.

The recent Financing for Development conference in Sevilla made progress in key areas, particularly in addressing the debt trap that prevents vital investments in health and education.

Going forward, it is critical for countries to mobilize domestic resources and foster self-reliance to support primary healthcare as the foundation of universal health coverage.

Because health is not a cost to contain, it’s an investment in people and prosperity.

Third, is AI and other digital tools.

Planning for the future of health requires us to embrace a digital future, including the use of artificial intelligence. The future of health is digital.

AI has the potential to predict disease outbreaks, improve diagnosis, expand access, and enable local production.

AI can serve as a powerful tool for equity.

However, it is crucial to ensure that AI is used safely, ethically, and equitably.

We encourage governments, especially BRICS, to invest in AI and digital health, including governance and national digital public infrastructure, to modernize health systems while addressing ethical, safety, and equity issues.

WHO will be by your side every step of the way, providing guidance, norms, and standards.

Excellencies, only by working together through multilateralism can we build a healthier, safer, and fairer world for all.

Thank you. Obrigado.



Source link

Continue Reading

Trending