Simplex over pairs: geometry of multimodal mathematics
Why SciLibModal uses centroid geometry instead of the pairwise CLIP scheme.
∇ Blog
Blog
Notes from the SciLib team: research write-ups, experiment descriptions, tool and model releases, lab events.
SciLib-GRC21: eight steps without an LLM
We walk through the design of our pipeline that retrieves premises for Lean4 goals.
scilibai.ru is open
We have launched the public part of the SciLib lab.