Dependency-Aware Premise Selection

DAPS-Math's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

zxclara010 

published 3 datasets 3 days ago

DAPS-Math/DAPS-Mathlib-Graph

Updated 3 days ago • 10

DAPS-Math/DAPS-Blueprint

Viewer • Updated 3 days ago • 236 • 14

DAPS-Math/DAPS-Collection

Updated 3 days ago • 10

zxclara010 

published 2 models 3 days ago

DAPS-Math/DAPS-text-encoder

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

DAPS-Math/DAPS-selector

Updated 3 days ago • 4

zxclara010 

updated a dataset 3 days ago

DAPS-Math/DAPS-Collection

Updated 3 days ago • 10

zxclara010 

updated 2 models 3 days ago

DAPS-Math/DAPS-selector

Updated 3 days ago • 4

DAPS-Math/DAPS-text-encoder

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

zxclara010 

updated 2 datasets 3 days ago

DAPS-Math/DAPS-Blueprint

Viewer • Updated 3 days ago • 236 • 14

DAPS-Math/DAPS-Mathlib-Graph

Updated 3 days ago • 10

zxclara010 

authored a paper 5 days ago

Apertus 1.5: From Open Text Models to Open Multimodal Reasoners

Paper • 2610.15542 • Published 19 days ago • 53