Oussama Basta

bastasie's activity

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

updated a Space 16 days ago

Sleeping

Agents

LAMM Mathematical Reasoning Laboratory

🧮

Audit mathematical proofs for correctness

published a Space 16 days ago

Sleeping

Agents

LAMM Mathematical Reasoning Laboratory

🧮

Audit mathematical proofs for correctness

updated a Space 28 days ago

Runtime error

Agents

OPi MathQA Engine

💬

published a Space 28 days ago

Runtime error

Agents

OPi MathQA Engine

💬

liked a model about 1 year ago

Qwen/Qwen3-Coder-480B-A35B-Instruct

Text Generation • 480B • Updated Aug 21, 2025 • 32.4k • • 1.37k

updated a model about 2 years ago

bastasie/BaOsa

Question Answering • Updated Jun 11, 2024

updated a model over 2 years ago

bastasie/OPi

Updated Feb 13, 2024