16-12-2024
The Center of Mathematics and Applications (NOVA Math), promote the Seminar of Algebra and Logic with the title: “The Bright Side of AITP”. João Araújo (NOVA Math) is the speaker.
Abstract: Significant efforts have been made to have LLMs prove theorems, but their reasoning power is very limited. Their problem-solving depends on how problems are phrased, struggling with variations from known patterns. They handle "Do X" better than "Don’t do X", as they focus on "X" regardless. Their performance drops in long conversations due to attention mechanism limits. Neural networks aren’t built for true reasoning. The current belief claims that symbolic AI offers reasoning but is rarely practical. ProverX is symbolic AI Theorem Proving and during this talk I will show how completely wrong is the current belief.
Tuesday, 17 December 2024, at 14:00.