Twitter | Pretraživanje | |
Somesh Jha
Professor of Computer Science and a music lover. Interested in formal methods, security, and adversarial ML (AML). Oh yes, and classical music and jazz.
681
Tweetovi
618
Pratim
1.083
Osobe koje vas prate
Tweetovi
Somesh Jha 1. velj
One thing I have always wondered whether randomized algorithms for SAT () can be used as pre-filter. Problem is that you are giving up soundness guarantee.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Unfortunately I think if there is no consequence in elections (e.g. senators losing their seats), all this talk doesn't matter :-(
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Odgovor korisniku/ci @samth @johnregehr
Piggybacking on Sam's idea. All solvers (I think Z3) have pre-solvers that quickly try to find whether a formula is satisfiable. It looks like you want your own pre-solver. Right?
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Odgovor korisniku/ci @clegoues
How about Dear Esteemed Exalted Professor? :-)
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Odgovor korisniku/ci @roydanroy
I would say it is more insidious. I am sure all these senators had a backroom deal. Collins voted no because it helps her re-election campaign and it doesn't matter.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Odgovor korisniku/ci @polikarn @NSF
Big congrats!!
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
When I heard of Senator Alexander's vote, this was my first thought. Thanks for articulating it!
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 31. sij
Odgovor korisniku/ci @johnregehr @TomChen17
This makes it clear. You have a formula $\phi$ and you want to quickly prove (via sampling) that it not valid, and got to Z3 only for formulas that your method doesn't catch. Do I have this right? This is quite interesting. I will send email.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 30. sij
Odgovor korisniku/ci @johnregehr
Assuming x and y are bounded length bit vectors, you can bit blast these and proving inequivalence of the two formulas is in QBF. And then just use a QBF solver like I think you look QBF because you need forall and exists.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 30. sij
Odgovor korisniku/ci @johnregehr
Please provide a sample formula/query that you want to answer.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 30. sij
Odgovor korisniku/ci @roydanroy
I don't think they will stop their. They also want Schiff, Pelosi, Nadler,...
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 30. sij
Odgovor korisniku/ci @roydanroy
What can Bidens add to the articles of impeachment? They won't anything about the relevant timeline (e.g. when and how the aid was withheld?) Am I missing something?
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 29. sij
Odgovor korisniku/ci @talasec
Great article by Mark!!
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 29. sij
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 29. sij
Wow! This is why ACM SIGARCH should not be involved in the investigation. It should be an independent ACM body (e.g. ethics board)
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 28. sij
Odgovor korisniku/ci @OptimistsInc
Starting from another good research poster. I am not kidding:-)
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 28. sij
Funny. Best Boston accent I have heard in a while.
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 28. sij
Odgovor korisniku/ci @talasec
Go Tala!
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 27. sij
Lots of folks in suits around campus. Must be the recruiting season :-)
Reply Retweet Označi sa "sviđa mi se"
Somesh Jha 26. sij
Reply Retweet Označi sa "sviđa mi se"