this post was submitted on 15 Jul 2023

5 points (85.7% liked)

Formal Methods

165 readers

3 users here now

founded 1 year ago

MODERATORS

synthetic_apriori

5

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 1 year ago* (last edited 1 year 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