Back and Forth Between Computing and Social Choice

סקירה כללית

Explore the intersection of computer science and social choice theory through SAT solving, theorem proving, ML, and Monte Carlo methods applied to voting theory and AI alignment.

---

נושאים

Computer Science