ENTITY
NTP4VC
NTP4VC
PulseAugur coverage of NTP4VC — every cluster mentioning NTP4VC across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New Lean Prover EasyProver tackles real-world code verification tasks
Researchers have developed EasyProver, a new Lean proving system designed for real-world code verification. This system utilizes recursive agents, isolated contexts, and asynchronous search to tackle complex verificatio…
-
EasyProver system tackles Putnam, IMO benchmarks with recursive agents
Researchers have developed EasyProver, a novel Lean proving system that utilizes recursive agents and asynchronous search to tackle complex mathematical and code verification tasks. This system has demonstrated impressi…