2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Jimmy Xin, Alex Schneidman, Chris Cummins +3
We present AXLE (Axiom Lean Engine), a cloud service for Lean 4 proof manipulation, extraction, and verification. Recent progress in AI for mathematics -- reinforcement learning pi…