Large Concept Models
Paper Reading Notes: “Large Concept Models: Language Modeling in a Sentence Representation Space”
Reasoning
From Tokens To Thoughts: How LLMs And Humans Trade Compression For Meaning
Paper Reading Notes: “From Tokens To Thoughts: How LLMs And Humans Trade Compression For Meaning”
Learning Transformer Programs
Paper Reading Notes: “Learning Transformer Programs”
ALTA: Compiler-Based Analysis of Transformers
Paper-reading notes: ALTA
Tracr: Compiled Transformers as a Laboratory for Interpretability
Paper-reading notes: Tracr
Thinking Like Transformers
Paper-reading notes: RASP
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
Paper-reading notes: On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
What Formal Languages Can Transformers Express? A Survey
Paper-reading notes: What Formal Languages Can Transformers Express? A Survey
Solving olympiad geometry without human demonstrations
Paper-reading notes: AlphaGeometry
Formal Mathematical Reasoning A New Frontier in AI
Paper-reading notes: Formal Mathematical Reasoning A New Frontier in AI