publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2024
2023
- arXiv
2022
- AITPLearning Plausible and Useful Conjectures7th Conference on Artificial Intelligence and Theorem Proving 2022