https://aclanthology.org/2024.acl-long.98/
Selene: Pioneering Automated Proof in Software Verification - ACL Anthology
Lichen Zhang, Shuai Lu, Nan Duan. Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2024.
automated proofsoftware verificationselenepioneeringacl
https://proofybubble.com/
ProofyBubble - Boost Conversions with Automated social proof
ProofyBubble turns casual visitors into customers by leveraging social proof to build trust and credibility.
boostconversionsautomatedsocialproof
https://www.assert-project.net/
The assert-project : Automated proof-based System and Software Engineering for Real-Time Systems...
ASSERT technologies allow industries to build reliable and cost-effective embedded systems and software with a new measurable and proof-based process based on...
https://easychair.org/publications/paper/qzr
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
https://www.youtube.com/playlist?list=PL5GANliQQ6TYZGFkMUU0kPJmOqSeDeeNy
Proof-of-concept attacks from smart glasses to Tesla via automated control chains (iPhone and...