Lean Theorem Prover Mathlib
https://github.com/leanprover-community/mathlib4
#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming
Jan :rust: :ferris:
boosted
Conjecture extraction for proof autoformalization. ~ Simon Sorg, Wenda Li, Soumya Banerjee. https://www.researchgate.net/profile/Soumya_Banerjee/publication/396932859_Conjecture_extraction_for_proof_autoformalization/links/68ff6c60a404d657099f1f89/Conjecture-extraction-for-proof-autoformalization.pdf #AI #Math #ITP #LeanProver #Autoformalization
Conjecture extraction for proof autoformalization. ~ Simon Sorg, Wenda Li, Soumya Banerjee. https://www.researchgate.net/profile/Soumya_Banerjee/publication/396932859_Conjecture_extraction_for_proof_autoformalization/links/68ff6c60a404d657099f1f89/Conjecture-extraction-for-proof-autoformalization.pdf #AI #Math #ITP #LeanProver #Autoformalization
Ulrike Hahn
boosted
Scaling mathematical reasoning through data, tools, and generative selection. ~ Ivan Moshkov et als. https://openreview.net/forum?id=OM7ZN0PmSS #LLMs#ITP#LeanProver#Math
Scaling mathematical reasoning through data, tools, and generative selection. ~ Ivan Moshkov et als. https://openreview.net/forum?id=OM7ZN0PmSS #LLMs#ITP#LeanProver#Math