ENTITY algebra

algebra

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

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_38103 · May 19 · 04:02

Algebra and LLMs verify flight-plan bug fix in Lean

Researchers have utilized large language models (LLMs) in conjunction with algebraic methods to verify a bug fix within the Lean theorem prover. This approach focused on a specific flight-plan software component, demons…