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