Using AI to Combat Illegal Fishing 

Illegal, Unreported, and Unregulated (IUU) fishing represents a significant global threat to our shared natural resources, undermining the sustainability of fish stocks, damaging ocean ecosystems, and robbing nations of their natural heritage and economic foundation. Nowhere is this challenge more acute than in the Galapagos Marine Reserve (GMR), a biodiversity hotspot of extreme ecological significance. […]

Read More

Using GPT-4 to Assist in C to Rust Translation

At Galois, we have been experimenting with multiple Large Language Models (LLMs), including GPT-4. Part of the motivation for this is to continue increasing the accessibility and utility of our formal verification and software assurance tools. While these tools provide high assurance for critical software, they can require significant expertise or time to extract full […]

Read More

Can we digitally engineer expertise for the masses? 

Organizations seeking to integrate digital-first practices into their engineering processes often rapidly discover a common roadblock: critical dependencies on the individual expertise of specific employees embedded in legacy workflows. Discovering this issue has prompted some to ask what role might generative technologies play in supporting digital engineering transformation efforts: “Can they help us reduce reliance […]

Read More

Ontology, AI, and Human-Machine Teaming: How Does a Machine Know What We Mean?

We’ve all seen it—a couple on a date, politicians, friends, or colleagues talking right past each other, trapped in a moment of profound misunderstanding over the meaning of a single word. For me, that moment came when my partner, a New Yorker through and through, told me, a Midwesterner, to take “the next left” while […]

Read More

Formal methods + AI: Where does Galois fit in?

Thus far in our ongoing series on artificial intelligence we’ve spoken in depth on questions of trust, human perception, and limitations of generative models. We have focused specifically on large language models (LLMs), due in part to their recent successes and media attention. We’ve explored questions of data, testing, and broad model implications. However, LLMs […]

Read More

Language is a Noisy Measure

In my ongoing efforts to deeply engage with research into large language models, I have continually wrestled with and confronted a persistent sense of dissatisfaction. Unfortunately, the source of my dissatisfaction has also been frustratingly difficult to articulate and to pin down.  At times, I have wondered if I’m not dissatisfied but rather uneasy because […]

Read More

Confabulators, Persuaders, and Imagination Catalysts: An Expert Perspective on the Chatbot Phenomenon

In all my years as a researcher, I’ve never had so many friends and family members asking me about AI – chatbots, in particular. Even people that I would have described as fairly disinterested in tech in general have shared with me their experiences interacting with ChatGPT, or expressed that they are fearful and/or intrigued […]

Read More