Automated Reasoning at Amazon: A Conversation

Re:Automated Reasoning at Amazon: A Conversation by mxwsn on Monday August 08, 2022 @06:31PM (#32391946)

I 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.

[ Parent | on HN ]

Re:Automated Reasoning at Amazon: A Conversation by jmeister on Tuesday August 09, 2022 @06:25AM (#32396052)

Funny, automated reasoning was to AI, in the good old fashioned days, what deep learning is today, in terms of perceived significance and hype.

[ Parent | on HN ]

Re:Automated Reasoning at Amazon: A Conversation by brutusborn on Tuesday August 09, 2022 @01:42AM (#32394556)

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.

[ Parent | on HN ]

Re:Automated Reasoning at Amazon: A Conversation by mxwsn on Tuesday August 09, 2022 @02:49PM (#32402223)

I loosely mean how drosophila in biology is a relatively simple yet representative model that is easy to study that yields some insights about other systems.

[ Parent | on HN ]