Solvers, ML, Logic, Complexity
This online colloquia is on the following topics and open to anyone who is interested:
- Theory, Algorithms, and Applications of SAT/SMT Solver
- Testing, Analysis, Verification, Security and Privacy (TAVSP) of ML systems
- Combinations of ML and Logic, e.g., NeuroSymbolic AI
- Use of ML in logic solvers and provers
Join Our Group
Join our group in order to be notified about upcoming talks. Subscribe in order to add upcoming talks to your calendar.
Upcoming Talks
| Date | Author Name | Author Affiliation | Talk Title/Slides | More Info |
|---|---|---|---|---|
| Monday, December 13th, 2021 @ 1PM EST | Shyan Akmal | Massachusetts Institute of Technology | Majority-3SAT (and Related Problems) in Polynomial Time | Link |