avatar
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:

Listen:

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