osmarks/documentation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Edit ‘good_ideas’: Synced 1725957515073

Browse Source
This commit is contained in:
sync 2024-09-10 08:43:54 +00:00 committed by wikimind
parent fe1d9e681c
commit ebf48873d3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
good_ideas.myco
View File

@ -6,6 +6,7 @@
* { * {
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. 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.
* What does Gyges mean by "anyone who wants it: you should be able to train contrastive models way faster if you use lsh to determine pairs to contrast"? This might contain alpha. * What does Gyges mean by "anyone who wants it: you should be able to train contrastive models way faster if you use lsh to determine pairs to contrast"? This might contain alpha.
* Maybe this should be a "theorem prover" and not an "expression rewriter". I think they're fairly similar anyway.
} }
* { * {
Startup ideas: Startup ideas: