आयुष 🌱
Search
Search
Dark mode
Light mode
Explorer
Tag: math
3 items with this tag.
May 30, 2025
Bridging Informal and Formal Mathematical Reasoning with AI
theorem-proving
formal-methods
math
May 29, 2025
AlphaProof
theorem-proving
math
formal-methods
May 29, 2025
Language models for autoformalization and theorem proving
theorem-proving
autoformalization
math