Mini Reasoning

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  authored a paper about 8 hours ago

Theorem Prover as a Judge for Synthetic Data Generation

Jforeverss  authored a paper about 8 hours ago

PiCSAR: Probabilistic Confidence Selection And Ranking

aryopg  authored a paper about 8 hours ago

PiCSAR: Probabilistic Confidence Selection And Ranking

View all activity

Team members 7