home.social

#acmprize — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #acmprize, aggregated by home.social.

fetched live
  1. Assn for Computing Machinery @[email protected] ·

    ✨ 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

    🔗 heidelberg-laureate-forum.org/

    #hlf25 #acmturingaward #acmprize
  2. Assn for Computing Machinery @[email protected] ·

    🔎 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.

    🔗 heidelberg-laureate-forum.org/

    #HLF25 #Mathematics #Computing

    #hlf25 #acmprize #mathematics #computing
  3. Assn for Computing Machinery @[email protected] ·

    ✨ 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.
    🔗 heidelberg-laureate-forum.org/

    #HLF25 #TuringAward #AI #Education

    #hlf25 #acmprize #acmturingaward #turingaward #ai #education
  4. Teixi @[email protected] ·

    #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

    awards.acm.org/about/2024-turi

    2/2

    #acmprize #2024acmprize #acmturingaward #andrewbarto #richardsutton #reinforcementlearning