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
Nothing from Something: Can a Language Model Discover 0?
This arxiv paper uses the concept of zero as a test case for whether language models can engage in genuine mathematical ...
Research
Relational Structural Causal Models
Researchers have extended Pearl's structural causal models to settings where objects and their relations vary, addressin...
Research
A Definition of Good Explanations and the Challenges Explaining LLM Outputs
This arxiv paper proposes a formal definition of what constitutes a good explanation, drawing on counterfactual reasonin...