1 result found Sort:

1
37
unknown
3
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Created 2024-02-14
7 commits to main branch, last one 6 months ago