4 ms·
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
by mxwsn 4y ago
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.
- brutusborn 4y agoWhat 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.
- mxwsn 4y agoI 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.
- jmeister 4y agoFunny, automated reasoning was to AI, in the good old fashioned days, what deep learning is today, in terms of perceived significance and hype.