Automated Reasoning at Amazon: A Conversation
amazon.science
Automated Reasoning at Amazon: A Conversation
1–10 of 12 posts
Re: Automated Reasoning at Amazon: A Conversation
#2> I’m particularly excited to meet the new generation of scientists who have entered the field, to see the world afresh through their eyes. This is such an amazing time to be in the field of automated reasoning.
Indeed
Re: Automated Reasoning at Amazon: A Conversation
#3The hype is well-deserved. The Automated Reasoning Group is doing some remarkable things. Zelkova[1] is making policy compliance a breeze. And the institutional support for Dafny[2] -- a verification aware programming language -- is bringing program verification to the masses. Really envious of them.
--------------
[1] https://aws.amazon.com/blogs/security/protect-sensitive-data... [2] https://github.com/dafny-lang/dafny
Re: Automated Reasoning at Amazon: A Conversation
#4I wasn't familiar with this area, and it's so cool to hear about Moore's law progress on solving SAT, and how SAT is like the drosophila model. To me "automated reasoning" brings to mind reasoning with large language models.
Re: Automated Reasoning at Amazon: A Conversation
#5Is there any field that isn't being hoovered up by AWS?
Re: Automated Reasoning at Amazon: A Conversation
#6I thought FLoC was Google's Federated Labeling of Cohorts? This is too much acronym overloading for me.
I wonder which came first.
Re: Automated Reasoning at Amazon: A Conversation
#7I thought FLoC was Google's Federated Labeling of Cohorts? This is too much acronym overloading for me. I wonder which came first.
This one -- its first occurrence was in '96, several years before Google-the-company was founded.
Re: Automated Reasoning at Amazon: A Conversation
#8I wasn't familiar with this area, and it's so cool to hear about Moore's law progress on solving SAT, and how SAT is like the drosophila model. To me "automated reasoning" brings to mind reasoning with large language models.
What is the link to the drosophila model?
Apologies if it's obvious, I just started looking at SAT solvers so I'm relatively ignorant on the area.
Re: Automated Reasoning at Amazon: A Conversation
#9The hype is well-deserved. The Automated Reasoning Group is doing some remarkable things. Zelkova[1] is making policy compliance a breeze. And the institutional support for Dafny[2] -- a verification aware programming language -- is bringing program verification to the masses. Really envious of them. -------------- [1] https://aws.amazon.com/blogs/security/protect-sensitive-data... [2] https://github.com/dafny-lang/d…
This Dafny thing seems absolutely cool. I didn't check the details but a 30 seconds read tells me that if it could generate rust code (it can Java, C, so it's not unbelievable), then we're in for a better world !
Re: Automated Reasoning at Amazon: A Conversation
#10I wasn't familiar with this area, and it's so cool to hear about Moore's law progress on solving SAT, and how SAT is like the drosophila model. To me "automated reasoning" brings to mind reasoning with large language models.
Funny, automated reasoning was to AI, in the good old fashioned days, what deep learning is today, in terms of perceived significance and hype.