most citedLEGO-Prover: Neural Theorem Proving with Growing Libraries

9 citations · 10 across the 3 of their papers we have counts for

collaborators
Showing math.NAShow all

1 paper · 1 filter

math.NA2024

Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation

Zichao Long, Lin Li, Lei Han +10

Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constru…