Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
Jforeverss  authored a paper about 9 hours ago
OpenSIR: Open-Ended Self-Improving Reasoner
Jforeverss  authored a paper about 9 hours ago
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models
Jforeverss  authored a paper about 9 hours ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks
View all activity

Papers

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

View all Papers

Pythagoras-LM 's papers 1