1

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@programming.dev to c/formal_methods@programming.dev

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

this post was submitted on 15 Jul 2023

1 points (100.0% liked)

Formal Methods

155 readers

1 users here now

founded 1 year ago

MODERATORS

Ategon@programming.dev

synthetic_apriori@programming.dev