|
Somesh Jha
@
jhasomesh
Wisconsin, USA
|
|
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
@jhasomesh
|
1. velj |
|
One thing I have always wondered whether randomized algorithms for SAT (cs.cmu.edu/~15210/recitat…) can be used as pre-filter. Problem is that you are giving up soundness guarantee.
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
Unfortunately I think if there is no consequence in elections (e.g. senators losing their seats), all this talk doesn't matter :-( twitter.com/ABC/status/122…
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
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?
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
How about Dear Esteemed Exalted Professor? :-)
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
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.
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
Big congrats!!
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
When I heard of Senator Alexander's vote, this was my first thought. Thanks for articulating it! twitter.com/GovHowardDean/…
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
31. sij |
|
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.
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
30. sij |
|
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
beyondnp.org/pages/solvers/… I think you look QBF because you need forall and exists.
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
30. sij |
|
Please provide a sample formula/query that you want to answer.
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
30. sij |
|
I don't think they will stop their. They also want Schiff, Pelosi, Nadler,...
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
30. sij |
|
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?
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
29. sij |
|
Great article by Mark!!
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
29. sij |
|
Big Congrats to @talasec twitter.com/RonGula/status…
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
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) twitter.com/VHuixiang/stat…
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
28. sij |
|
Starting from another good research poster. I am not kidding:-)
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
28. sij |
|
Funny. Best Boston accent I have heard in a while. twitter.com/Hyundai/status…
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
28. sij |
|
Go Tala!
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
27. sij |
|
Lots of folks in suits around campus. Must be the recruiting season :-)
|
||
|
|
||
|
Somesh Jha
@jhasomesh
|
26. sij |
|
Confirmed 😢 twitter.com/CityofCalabasa…
|
||
|
|
||