PulseAugur
EN
LIVE 03:44:20
ENTITY type theory

type theory

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

Show in brief
Total · 30d
0
0 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D

No coverage in the last 90 days.

TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_99600 ·

    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…