Invited talk: Circuit Languages at the Confluence of Learning and Reasoning