Crowdsourcing Theorem Proving via Natural Games.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Browse the full IJCAI paper archive.