Solving (some) formal math olympiad problems
We constructed a neural theorem prover for Lean that discovered to unravel quite a lot of difficult high-school ...
Read moreWe constructed a neural theorem prover for Lean that discovered to unravel quite a lot of difficult high-school ...
Read more© 2023 TheTimesofAI | All Rights Reserved
© 2023 TheTimesofAI | All Rights Reserved