Avatar

synthetic_apriori

synthetic_apriori@programming.dev
Joined
3 posts • 0 comments
Direct message
Filter:
OverviewPostsComments
Sort:
NewOldTopAll
1

So you want to be a proof engineer?(proofcraft.org)

posted
by
Avatar
synthetic_apriori@programming.devM
in
Avatar
formal_methods@programming.dev
0 comments
hidereport
1

The Dafny Programming and Verification Language(dafny.org)

posted
*
by
Avatar
synthetic_apriori@programming.devM
in
Avatar
formal_methods@programming.dev
0 comments
hidereport
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)

posted
*
by
Avatar
synthetic_apriori@programming.devM
in
Avatar
formal_methods@programming.dev
0 comments
hidereport
Next page