AI.info

Amitayush Thakur

Explore Amitayush Thakur on AI.info.

• Learning Interestingness in Automated Mathematical Theory Formation