Paper-reading notes: RASP
Paper-reading notes: MIRAS
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
Paper-reading notes: Titans
Paper-reading notes: DeepSeek-R1 - Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Paper-reading notes: Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks