Dependency-Aware Premise Selection

non-profit

AI & ML interests

None defined yet.

Recent Activity

zxclara010 published a dataset 3 days ago

DAPS-Math/DAPS-Mathlib-Graph

zxclara010 published a dataset 3 days ago

DAPS-Math/DAPS-Blueprint

zxclara010 published a dataset 3 days ago

DAPS-Math/DAPS-Collection

View all activity

DAPS-Math 's models 2

DAPS-Math/DAPS-selector

Updated 3 days ago • 4

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 3 days ago • 7