SAEs in Formal Languages
Dr. David Krueger (University of Cambridge)
Portfolio
Barvinok’s Algorithm
Dr. Tobias Grosser (University of Edinburgh)
Mutable Grammars
Dr. Tobias Grosser (University of Edinburgh)
Neural Factual Inconsistency Classification
Dr. Manish Gupta (IIIT-H, Microsoft)