2 results found Sort:

GeoCoq
GeoCoq GeoCoq
26
177
lgpl-3.0
19
A formalization of geometry in Coq based on Tarski's axiom system
coq euclid pappus elements geometry desargues archimedes continuity tarski-axiom formalization hilbert-axioms parallel-postulate
Created 2015-07-15
172 commits to master branch, last one 28 days ago
kaiwenzha
Rank-N-Contrast kaiwenzha
6
66
unknown
1
[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression
neurips continuity regression neurips-2023 ranking-algorithms contrastive-learning representation-learning
Created 2023-10-09
8 commits to main branch, last one 4 months ago