DELPHI: Deep Logical Reasoning via Neural Learning

The overarching goal of the DELPHI project is to simplify the development of correct and reliable software. Existing methodologies require significant human expertise, such as in the design of appropriate abstract domains and environment models, or suffer from significant barriers to adoption, such as limited scalability and flexibility. This project Read more

By Zachary Ives, ago

Measuring the World’s Well-Being

The World Well-Being Project (WWBP) is pioneering scientific techniques for measuring psychological well-being and physical health based on the analysis of language in social media. As a collaboration between computer scientists, psychologists, and medical researchers, we are shedding new light on the psychosocial processes that affect health and happiness and Read more

By Zack Ives, ago