Skip to main contentNeuro-Symbolic AI

Axiom Verification

Description

Code for research regarding data-driven verification of social choice axiom for voting rules. Work in progress with current working manuscript - “Mohsin, F., Han, Q., Ruan, S., Chen, P.Y., Rossi, F., & Xia, L. Computing Data-Driven Satisfaction of Voting Axioms.”

Main Contributors

Farhad Mohsin, Sikai Ruan, Qishen Han