this post was submitted on 15 Jul 2023

7 points (88.9% liked)

Formal Methods

177 readers

2 users here now

founded 2 years ago

MODERATORS

synthetic_apriori

7

Back in June, NASEM hosted a workshop on using AI for mathematical reasoning; many talks discussed the use of AI in developing formal mathematical proofs and formally verifying software (www.nationalacademies.org)

submitted 2 years ago* (last edited 2 years ago) by synthetic_apriori to c/formal_methods

0 comments fedilink hide all child comments

Recordings are available here: https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here