Growing up, Taisa Kushner loved math. There was a functional elegance to the way mathematical techniques could be used to unravel even the most complex problems, and how seemingly disparate systems were linked through simple equations. But she enjoyed the biological sciences too, and wanted to find a career where she could use her skills […]
Read More
The machine learning discourse has been understandably dominated of late by language modeling tools such as Chat-GPT. But machine learning can be applied to a much wider range of contexts, inputs, and applications. One of the most fascinating, and most useful, of these is Computer Vision – the machine learning field focused on analyzing and […]
Read More
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
There has been a lot of chatter recently about large language models, including GPT-4 and LLaMa. At Galois, we have been experimenting with GPT-4, the most capable available large language model. One group of intriguing results that I am excited to present is in the creation of SAWScript memory safety proofs. Using a very simple […]
Read More
While most engineers and scientists join Galois to be part of a company that conducts groundbreaking research, for our unique culture of collaboration, or for the great benefits and work-life balance, there’s a lesser-known but equally exciting perk of working at Galois: participating in the creation of spinouts. Throughout my time as a research engineer […]
Read More
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
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
“We assume that the neuron is the basic functional unit, but that might be wrong. It might be that thinking of the neuron as the basic functional unit of the brain is similar to thinking of the molecule as the basic functional unit of the car, and that is a horrendous mistake.” – John Searle […]
Read More
The public release of ChatGPT3 and DALL-E 2 radically changed our expectations for the near future of AI technologies. Given the demonstrated capability of large generative models (LGMs), the ways in which they immediately captured public imagination, and the level of publicized planned capital investment, we can anticipate rapid integration of these models into current […]
Read More
Researchers at Galois have developed DLKoopman – an open-source software tool that uses machine learning to model and predict the behavior of complex, difficult-to-analyze systems. DLKoopman models a system from limited data, and then predicts how it is going to behave under unknown, often unmeasurable conditions, such as the pressure on a submarine at unknown […]
Read More