Oussama Basta

bastasie

1

·

AI & ML interests

None yet

Recent Activity

updated a Space 16 days ago

published a Space 16 days ago

updated a Space 28 days ago

bastasie/OPi-MathQA-Engine

View all activity

Organizations

None yet

spaces 2

LAMM Mathematical Reasoning Laboratory

Audit mathematical proofs for correctness

OPi MathQA Engine

models 2

bastasie/BaOsa

Question Answering • Updated Jun 11, 2024

bastasie/OPi

Updated Feb 13, 2024

datasets 0

None public yet