Academic field 1.1 · 1 idea
Mathematics
research ideas.
Qualified university research directions mapped to Mathematics. They are starting points for further scoping, literature review and supervision. They are not completed proposals or claims of novelty.
Ideas in this field
Search and filter these ideas →RIR-3027Contributor idea
Automated Decomposition and Formalization of Mathematical Proofs in Lean
This research explores the development and benchmarking of computational systems capable of decomposing complex mathematical conjectures into verifiable lemmas. It further investigates the autoformalization of informal mathematical proofs into the Lean theorem prover to address current bottlenecks in proof verification.