Research
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Researchers introduce Pythagoras-Prover, a compute-efficient family of Lean theorem provers that achieves strong performance with substantially fewer parameters than existing systems. The work includes innovations in curriculum training and a novel diffusion-based proving approach.
Read full story at arXiv →V: · A: · D:
Related
Research
Reinforcement Learning Towards Broadly and Persistently Beneficial Models
Researchers have published findings suggesting that reinforcement learning on carefully constructed datasets of benefici...
Research
Commemorating 70 Years of Artificial Intelligence
IEEE Spectrum marks seventy years since the Dartmouth workshop formally named artificial intelligence as a field, offeri...
Research
Diffusion Language Models: An Experimental Analysis
Researchers present a systematic evaluation of eight diffusion language models across eight benchmarks covering reasonin...