AI.info

Swarat Chaudhuri

Explore Swarat Chaudhuri on AI.info.

• Learning Interestingness in Automated Mathematical Theory Formation