Compact Proofs: Measuring Quality of Understanding with Compression-Based Metrics

Compact Proofs: Measuring Quality of Understanding with Compression-Based Metrics

Topos Institute via YouTube Direct link

Introduction

1 of 18

1 of 18

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Compact Proofs: Measuring Quality of Understanding with Compression-Based Metrics

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 Why Metrics
  3. 3 Theorem Statement
  4. 4 Baseline Approach
  5. 5 Brute Force Approach
  6. 6 mechanistic understanding
  7. 7 toy case
  8. 8 current applications
  9. 9 distilling NE networks
  10. 10 compressing proofs
  11. 11 research agenda
  12. 12 QA
  13. 13 Group approach
  14. 14 Model
  15. 15 Brute Force
  16. 16 Insight
  17. 17 Error Term Matrix
  18. 18 Modular Arithmetic Model

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.