I had ChatGPT build me a free PDF editor because I didn't trust it to change my files - it worked!

The smartest way to use AI may not be letting it touch your files, but asking it to write software that handles them safely - ...
Communications of the ACMOpinion

Artificial Intelligence for Software Engineering: From Probable to Provable

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...