Ivado_workshop

I gave an invited talk at IVADO in Montréal on “Human and AI Solution Paths in Formalizing Expert Mathematics” the Workshop on Social Reasoning and the Ecology of Thought.