University of Edinburgh

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  submitted a paper about 4 hours ago

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

Jforeverss  submitted a paper 4 months ago

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

Jforeverss  authored a paper 10 months ago

Theorem Prover as a Judge for Synthetic Data Generation

View all activity

Team members 1