Loading profile…

Loading activity…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Jia-Chen Gu (@jiachen_gu) · Digg

Jia-Chen Gu

@jiachen_gu

Postdoc @UCLA

following
followers

Featured in

AI

LeanGraphSearch follows Mathlib dependencies to uncover missing proof ingredients

A post introducing the tool claims its approach brings better retrieval and more Lean-verified proofs.

1401234567890123456789

2 Sources, 20d ago, first seen 20d ago

Connections

@Jiachen_Gu