2UrbanGirls on MSNOpinion

Neel Somani on formal methods and the future of machine learning safety

Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...
Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Nature

Formal Methods for Software

Formal methods constitute a suite of mathematically based techniques that are employed to specify, develop, and verify software systems with a high degree of rigour. These techniques aim to transform ...
Nature

Formal Methods in Medical Device Software Verification

Formal methods provide a rigorous mathematical foundation for the specification, development and verification of medical device software. This approach enhances both reliability and safety, which are ...
Semiconductor Engineering

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

Information Flow Verification at the Pre-silicon Stage Utilizing Static-Formal Methodology.” Abstract “Modern system-on-chips (SoCs) are becoming prone to numerous security vulnerabilities due to ...
Forbes

Building A Formal Verification Framework For GenAI Compliance

In August 2023, the EEOC reached its first AI-bias settlement: $365,000 paid over a hiring algorithm that automatically rejected older applicants. Meanwhile, Europe’s new AI Act threatens fines of up ...