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

models 2

DAPS-Math/DAPS-selector

Updated 3 days ago • 3

DAPS-Math/DAPS-text-encoder

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

datasets 3

DAPS-Math/DAPS-Collection

Updated 3 days ago • 7

DAPS-Math/DAPS-Blueprint

Viewer • Updated 3 days ago • 236 • 11

DAPS-Math/DAPS-Mathlib-Graph

Updated 3 days ago • 8