Technology ❯ Innovation ❯ Research and Development
Disney Task Force Market Trends Robust AI Solutions Meta Reality Labs
The paper details an AlphaZero-style agent that learns checkable Lean proofs using large-scale auto-formalization and test-time reinforcement learning.