ENTITY
LRAT
LRAT
PulseAugur coverage of LRAT — every cluster mentioning LRAT across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Keenable AI open-sources NEEDLE, a dynamic web search benchmark
Keenable AI has open-sourced NEEDLE, a new benchmark designed to evaluate web search APIs by dynamically generating query sets hourly and daily. This approach prevents agents from accessing pre-existing answers, ensurin…
-
New tool imports SAT solver certificates into Lean 4 theorem prover
Researchers have developed LRAT-Catcher, a tool that imports SAT solver certificates into the Lean 4 theorem prover. This tool utilizes a formally verified LRAT checker compiled as native code via reflection, enabling i…