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:0.4 · A:0.3 · D:0.4
Related
Research
Can AI Agents Synthesize Scientific Conclusions?
Researchers created SciConBench, a benchmark testing AI agents' ability to synthesize scientific conclusions from multip...
Research
How memory tools can make AI models worse
New research suggests that AI memory systems intended to improve model performance can actually degrade capabilities and...
Research
Mechanistic Analysis of Alignment Algorithms in Language Models
Researchers conducted a systematic analysis of six preference-optimization methods (PPO, DPO, SimPO, ORPO, GRPO, and KTO...