Misinformation, AI & Responsible Society (MARS) Lab

AI & ML interests

None defined yet.

Recent Activity

salmannyu  submitted a paper 14 days ago

LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification

Ashima  updated a collection 5 months ago

SuperNova ☀️

Ashima  updated a model 5 months ago

marslabucla/Supernova-4B

View all activity

Team members 9