Cites: Propose, Solve, Verify: Self-Play Through Formal Verification

2 citation edges inside this catalog. A title match is weaker evidence than an identifier match. Zero entries does not mean no citations on the web.

• DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
  arxiv:2402.03300 · evidence: id
• Code Llama: Open Foundation Models for Code
  url:ai.meta.com/research/publications/code-llama-open-foundation-models-for-code · evidence: id