Toutes les curations

6 curations · 1314 membres · fenêtre de 24 h, demi-vie 6 h, seuil 2 relayeurs

Fenêtre 6 h 12 h 24 h 2 j 3 j 7 j
Montrer Les deux Liens 5 Tweets 12
Seuil 2 relayeurs 3 relayeurs 4 relayeurs 5 relayeurs 6 relayeurs Tout remettre
5liens
12tweets
88806posts lus
953auteurs
9206liens en base
1471 hde recul

Les liens 5

Classés par auteurs distincts, jamais par audience.

1

A Theoretical Framework for Self-Play Theorem Proving Algorithms

Self-play, a type of training algorithm that enables a model to self-improve, has recently shown promising empirical results in the context of formal theorem proving using Large Language Models (LLMs). (Dong & Ma, 2025) instantiate self-play with two cooperating agents: a prover, which proves theorems, and a conjecturer, which generates new theorems as a curriculum to the prover. In this paper, we provide a theoretical framework for understanding the self-improvement capabilities of self-play algorithms for theorem proving. First, we formalize the set of theorems as a graph, with nodes as theo

2 relayeurs à 2 · il y a 6 h arXiv.org ai-iahigh-signal
Qui l'a relayé
Stanford NLP Group @stanfordnlp · 08/11 21:43 Natural Language Processing/Machine Learning @chrmanning @jurafsky @percyliang @ChrisGPotts @tatsu_hashimoto @MonicaSLam @Diyi_Yang @YejinChoinka @StanfordAILab
How can an LLM self-improve at theorem proving? Inspired by STP (Dong & Ma, 2025), we propose a theoretical framework for understanding prover-conjecturer self-play algorithms. NeurIPS 2026, Sydney Poster Session 2, Tue 5-8pm @ Hall 1-4. 1/8
Stanford AI Lab @StanfordAILab · 08/11 20:21 The Stanford Artificial Intelligence Laboratory (SAIL), a leading #AI lab since 1963. ⛵️🤖 Emmy-winning video: https://t.co/lV9smZTC1m
How can an LLM self-improve at theorem proving? Inspired by STP (Dong & Ma, 2025), we propose a theoretical framework for understanding prover-conjecturer self-play algorithms. NeurIPS 2026, Sydney Poster Session 2, Tue 5-8pm @ Hall 1-4. 1/8
2

How ShipStation Global built an AI IT help desk on Amazon Bedrock AgentCore | Amazon Web Services

ShipStation Global's engineering team built Deckhand, an AI IT help desk agent for Slack on Amazon Bedrock AgentCore. It answers routine IT questions from a curated knowledge base, reads error-message screenshots, and files Jira tickets. In its first three months it resolved 97.5% of channel queries with a 96% positive feedback rating.

2 relayeurs à 2 · il y a 6 h Amazon Web Services high-signal
Qui l'a relayé
Omar Khattab @lateinteraction · 08/11 19:28 prof @MIT CSAIL | ColBERT, https://t.co/ZZaSzaRaZ7 (@DSPyOSS), GEPA, RLMs, Pedagogical RL
Nice section in this AWS post on ShipStation Global’s AI IT help desk. A dspy.RLM module holds their entire Slack history as a variable, and mines it into a knowledge base of resolved issues.
Stanford NLP Group @stanfordnlp · 08/11 21:43 Natural Language Processing/Machine Learning @chrmanning @jurafsky @percyliang @ChrisGPotts @tatsu_hashimoto @MonicaSLam @Diyi_Yang @YejinChoinka @StanfordAILab
Nice section in this AWS post on ShipStation Global’s AI IT help desk. A dspy.RLM module holds their entire Slack history as a variable, and mines it into a knowledge base of resolved issues.
3

GitHub - scottleimroth/signal-dog: Hermes Agent plugin: listens through the microphone for door knocks, appliance beeps and alarms and tells you in chat. Built by a deaf developer. Not a certified smoke alarm.

Hermes Agent plugin: listens through the microphone for door knocks, appliance beeps and alarms and tells you in chat. Built by a deaf developer. Not a certified smoke alarm. - scottleimroth/signal...

2 relayeurs à 2 · il y a 9 h GitHub ai-iahigh-signal
Qui l'a relayé
Teknium 🪽 @Teknium · 08/11 19:05 Cofounder and Lead Engineer - Hermes Agent @NousResearch, prev @StabilityAI Github: https://t.co/LZwHTUFwPq HuggingFace: https://t.co/sN2FFU8PVE
I'm deaf, so I never hear the fridge alarm, an oven timer or a knock at the door. I built Signal Dog for @NousResearch's Hermes Agent Plugin Hackathon: a plugin that listens through the microphone and tells you in chat. No audio kept.
Robert Scoble @Scobleizer · 08/11 19:15 The automated life | San Francisco/Silicon Valley AI, robotics, BCIs | Ex-Microsoft, Rackspace, Fast Company | Wrote eight books about the future.
I'm deaf, so I never hear the fridge alarm, an oven timer or a knock at the door. I built Signal Dog for @NousResearch's Hermes Agent Plugin Hackathon: a plugin that listens through the microphone and tells you in chat. No audio kept.