Arijit Shaw
@masterarijit
Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting.
You might like
A bit of recap of all the SAT research tools (solving, counting, sampling, etc) I maintain and helped develop over the years, along with my colleagues: msoos.org/2024/02/our-to… Thinking back over the years, it's been quite a long journey.
Arijit Shaw, PhD Student, Chennai Mathematical Institute, is presenting their work on the Approximate Skolem function counter. @masterarijit
Come by HFH 1132 on Wednesday, May 17th, at 3:30 pm for Arijit's talk, "Building a Scalable bit-vector model counter". Everyone is welcome to join! Host: Tevfik Bultan For the abstract/bio, visit the CS website (link in bio).
Kuldeep Meel is taking about using Machine learning to improve SAT solvers. #Dagstuhl seminar on ML and Logic.
Excited to be part of S$56 million AI program between Singapore and France; We are *HIRING* post-docs and Ph.D. students. Come and join us in Singapore/France: enjoy French wine and Singaporean tropical weather. news.nus.edu.sg/integrated-dec…
People's COVID Response 2.0 by Quarantined Student Youth Network. This endeavour needs your financial support. Stand by us so that we can stand by all! Contribute here : ketto.org/fundraiser/qsy… Read more here : m.facebook.com/story.php?stor…
No Vote To BJP postering at several districts of Bengal. #NoVoteToBJP in #BengalElection2021
The 5th edition of the Indian SAT+SMT school will be completely online this year! And, the registration is completely free! Register at sat-smt.in Retweet and help us spread the word.
Wonderful article celebrating efforts of @SoosMate and @masterarijit. As always, @SoosMate is quotable “In this sense, we made the best of a dark situation and the opportunities it gave us”
GOOD NEWS: The folks at Meel Group (one of our #AI research labs) won the top prizes at a competition for solvers of the Boolean Satisfiability (SAT) problem. Congratulations! Find out how they ‘made the best of a dark situation’ to their advantage: comp.nus.edu.sg/news/3515-2020…
"We are in the same storm, but not in the same boat." Prithibir Pathshala was made for those who are worst hit by the education gap widendend in the pandemic. A month at Pathshala-s is an eye-opener to us, how badly the pandemic has hit India. telegraphindia.com/calcutta/basti…
@SAT2020conf concluded this week, and our group's solvers (well, single-handedly led by @SoosMate ) had a great run: 3rd place in Main Track and 2nd place in Planning track. Proud of my intern @masterarijit for his work on LSIDS, which held up to its promise in competition. 1/2
Integrating Verification, Synthesis, and Learning by Prof Sanjit A. Seshia @satsmtschool
Prof. Sanjit A. Seshia opens the post lunch session with exciting emerging topics for applying SAT/SMT in verifiable AI @satsmtschool @iitbombay
We move from verifying AI to verifying concurrency of programs. Soham Chakraborty from IIT Delhi talks about validating optimisations of concurrent C/C++ programs @satsmtschool
Recent work about new strategies for the incomplete MaxSAT problem where the optimality of the solution is not guaranteed but the solution is returned very quickly presented by Saurabh Joshi from IIT Hyderabad @satsmtschool
I'm starting as a Google Season of Doc '19 technical content writer today. Wish me luck. #gsod @GoogleOSS
"thank you for this that post literally cleared my skin it watered my plants it paid my bills" Someone said in the comments. 😍
United States Trends
- 1. $LUNA 1,605 posts
- 2. Utah 35K posts
- 3. Crosby 11.7K posts
- 4. New Mexico 6,705 posts
- 5. Kyle Whittingham 16.8K posts
- 6. FDNY 7,562 posts
- 7. Kwanzaa 38K posts
- 8. #RateBowl N/A
- 9. Amorim 50.2K posts
- 10. Nick Shirley 110K posts
- 11. Drake Lindsey N/A
- 12. Newcastle 70.5K posts
- 13. Minnesota 346K posts
- 14. Somaliland 102K posts
- 15. Gophers 1,620 posts
- 16. Darius Taylor N/A
- 17. #WWEBaltimore N/A
- 18. #MUNNEW 11.2K posts
- 19. Lobos 5,196 posts
- 20. Jay Hill 1,253 posts
Something went wrong.
Something went wrong.