Lean Graph Search for Formal Theorem Proving
LeanGraphSearch retrieves supporting Lean lemmas via dependency graphs and lifts theorem-proving pass rates.
Stories per day · 30 days
2 RSS
1 stories, newest first · one card per story
1 stories, newest first · one card per story
LeanGraphSearch retrieves supporting Lean lemmas via dependency graphs and lifts theorem-proving pass rates.
Today 227 readers · 244 views · 17 reads · all time 108K views