Formal Methods
synthetic_apriori
•
1y ago
•
100%
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
https://www.nationalacademies.org/our-work/ai-to-assist-mathematical-reasoning-a-workshopRecordings are available here: https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop
Comments 0