Hosted by Sean Welleck
Assistant Professor CMU

Support the podcast:
 Buy me a coffee  Become a Patron!

Episode 20 | Josef Urban

Exploring and Combining Deductive and Inductive Reasoning in Large Libraries of Formalized Mathematics

Papers and Links:


The Thesis Review ยท [42] Charles Sutton - Efficient Training Methods for Conditional Random Fields