Dependency-Aware Premise Selection

non-profit

AI & ML interests

None defined yet.

Recent Activity

zxclara010 published a dataset 16 days ago

DAPS-Math/DAPS-Mathlib-Graph

zxclara010 published a dataset 16 days ago

DAPS-Math/DAPS-Blueprint

zxclara010 published a dataset 16 days ago

DAPS-Math/DAPS-Collection

View all activity

published 3 datasets 16 days ago

DAPS-Math/DAPS-Mathlib-Graph

Updated 16 days ago • 53

DAPS-Math/DAPS-Blueprint

Viewer • Updated 16 days ago • 236 • 93

DAPS-Math/DAPS-Collection

Updated 16 days ago • 25

published 2 models 16 days ago

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 16 days ago • 32

DAPS-Math/DAPS-selector

Updated 16 days ago • 30

updated a dataset 16 days ago

DAPS-Math/DAPS-Collection

Updated 16 days ago • 25

updated 2 models 16 days ago

DAPS-Math/DAPS-selector

Updated 16 days ago • 30

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 16 days ago • 32

updated 2 datasets 16 days ago

DAPS-Math/DAPS-Blueprint

Viewer • Updated 16 days ago • 236 • 93

DAPS-Math/DAPS-Mathlib-Graph

Updated 16 days ago • 53

authored a paper 18 days ago

Apertus 1.5: From Open Text Models to Open Multimodal Reasoners

Paper • 2610.15542 • Published Oct 11 • 41