University of Edinburgh

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  authored a paper 19 days ago

Theorem Prover as a Judge for Synthetic Data Generation

Jforeverss  authored a paper 19 days ago

PiCSAR: Probabilistic Confidence Selection And Ranking

Jforeverss  authored a paper 10 months ago

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

View all activity

Team members 1