AI.info

James Shiffer

Explore James Shiffer on AI.info.

• LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification