Paul Sebastien Larivee

mastertest1's activity

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

liked a Space about 17 hours ago

Running

3

Lean Refactor Arena

🌖

3

Leaderboard for multi-objective Lean 4 proof refactoring

liked a Space over 1 year ago

Running

Agents

110

puzzle

👁

110

Get a numeric score for any text input

liked 2 models almost 5 years ago

mrm8488/longformer-base-4096-finetuned-squadv2

Question Answering • Updated Dec 5, 2022 • 140 • 15

deepset/roberta-base-squad2

Question Answering • 0.1B • Updated Sep 24, 2024 • 503k • • 949