SPA

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a dataset about 3 hours ago

DiffLean/Formal-Proof-Unverified

Jforeverss  published a dataset about 5 hours ago

DiffLean/Formal-Proof-Unverified

Jforeverss  submitted a paper 16 days ago

Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models

View all activity

Team members 3