Dependency-Aware Premise Selection

non-profit

AI & ML interests

None defined yet.

Recent Activity

zxclara010 published a dataset 13 days ago

DAPS-Math/DAPS-Mathlib-Graph

zxclara010 published a dataset 13 days ago

DAPS-Math/DAPS-Blueprint

zxclara010 published a dataset 13 days ago

DAPS-Math/DAPS-Collection

View all activity

published 3 datasets 13 days ago

DAPS-Math/DAPS-Mathlib-Graph

Updated 13 days ago • 51

DAPS-Math/DAPS-Blueprint

Viewer • Updated 13 days ago • 236 • 86

DAPS-Math/DAPS-Collection

Updated 13 days ago • 24

published 2 models 13 days ago

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 13 days ago • 28

DAPS-Math/DAPS-selector

Updated 13 days ago • 26

updated a dataset 13 days ago

DAPS-Math/DAPS-Collection

Updated 13 days ago • 24

updated 2 models 13 days ago

DAPS-Math/DAPS-selector

Updated 13 days ago • 26

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 13 days ago • 28

updated 2 datasets 13 days ago

DAPS-Math/DAPS-Blueprint

Viewer • Updated 13 days ago • 236 • 86

DAPS-Math/DAPS-Mathlib-Graph

Updated 13 days ago • 51

authored a paper 15 days ago

Apertus 1.5: From Open Text Models to Open Multimodal Reasoners

Paper • 2610.15542 • Published 29 days ago • 41