Assn for Computing MachinerySep 13, 2025

✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:

Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence

🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/

Assn for Computing MachinerySep 12, 2025

🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.

From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.

🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/

#HLF25 #Mathematics #Computing

Assn for Computing MachinerySep 11, 2025

✨ Spark Session is back again on 9/16 at #HLF25!

In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:

- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and Educability

Don’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/

#HLF25 #TuringAward #AI #Education

TeixiMar 9, 2025

#ACMPrize
#2024ACMPrize
#ACMTuringAward

#AndrewBarto
#RichardSutton

» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «

aka cheap labor unnamed in papers

https://awards.acm.org/about/2024-turing

2/2

Andrew Barto and Richard Sutton are the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning.

Andrew Barto and Richard Sutton as the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning. In a series of papers beginning in the 1980s, Barto and Sutton introduced the main ideas, constructed the mathematical foundations, and developed important algorithms for reinforcement learning—one of the most important approaches for creating intelligent systems.