Paper-reading notes: RASP
Paper-reading notes: MIRAS
Paper-reading notes: FNet
Paper-reading notes: Linformer
Paper-reading notes: Performers
Paper-reading notes: On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
Paper-reading notes: What Formal Languages Can Transformers Express? A Survey
Paper-reading notes: ATLAS
Paper-reading notes: AlphaGeometry
Paper-reading notes: Formal Mathematical Reasoning A New Frontier in AI