The readings shared in Bluesky on 12 February 2025 are

• STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan Dong, Tengyu Ma. #LLMs #ITP #LeanProver #IsabelleHOL
• Competitive programming with large reasoning models. ~ OpenAI. #LLMs #Programming