From ea2e38686570913ee9f77af2ca3dc9b88f3ca783 Mon Sep 17 00:00:00 2001 From: sync Date: Fri, 6 Sep 2024 18:43:53 +0000 Subject: [PATCH] =?UTF-8?q?Edit=20=E2=80=98good=5Fideas=E2=80=99:=20Synced?= =?UTF-8?q?=201725647705430?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- good_ideas.myco | 1 + 1 file changed, 1 insertion(+) diff --git a/good_ideas.myco b/good_ideas.myco index 301941c..8d3c53e 100644 --- a/good_ideas.myco +++ b/good_ideas.myco @@ -3,6 +3,7 @@ * Overengineered LLM-based autocomplete to spite "it's just autocomplete" people. * Expanded [[vengeance]] policy. * Combine new CRL (https://arxiv.org/abs/2408.05804) with offline pretraining. +* Similarly, contrastive RL for computer algebra (specifically, proving that expressions equal other expressions via making substitutions repeatedly). Try and contrastively learn a "how close is this expression to this other one" function (I think with an action input?). Bootstrap to progressively harder problems. * { Startup ideas: * Automated reminders to make spontaneous gestures to maintain friendships.