ENTITY type theory

type theory

PulseAugur coverage of type theory — every cluster mentioning type theory across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_99600 · Jun 18 · 10:40

Lean Proof Assistant Enhances Reinforcement Learning for Theorem Proving

Researchers have developed a novel method for theorem proving using reinforcement learning, integrating the Lean proof assistant to provide detailed, verified feedback. This approach, termed Process-Verified Reinforceme…