synthetic_apriori@programming.devM to

Formal Methods@programming.devEnglish · 1 year ago

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

0

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

synthetic_apriori@programming.devM to

Formal Methods@programming.devEnglish · 1 year ago

0

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

You must log in or register to comment.

Chat