Paul Sebastien Larivee

mastertest1's activity

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

liked a Space 2 months ago

Running

4

Lean Refactor Arena

🌖

4

Two-track multi-objective Lean 4 proof refactoring

liked a Space over 1 year ago

Running

Agents

112

puzzle

👁

112

Get a numeric score for any text input

liked 2 models about 5 years ago

mrm8488/longformer-base-4096-finetuned-squadv2

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

deepset/roberta-base-squad2

Question Answering • 0.1B • Updated Sep 24, 2024 • 497k • • 960