frunkp

4 ms·

1. 1.▲
   by frunkp 23d ago

   When I saw "hidden reasoning", it reminded me of diffusion models: generating a block spans many steps (with remasking), which hide the reasoning that led to the block. I had not heard of looped transformers, but the engineering b
2. 2.▲
   by frunkp 6mo ago

   Those who play go may enjoy the variants: https://www.govariants.com/variants/rules-list Tetris is a fun one to try!
3. 3.▲
   Anna's Archive perd son domaine en .org mais reste debout(korben.info)

   1 points by frunkp 8mo ago|1 comments
4. 4.▲
   NN Interpretability(openai.com)

   2 points by frunkp 11mo ago|0 comments
5. 5.▲
   by frunkp 1y ago

   The model does well on highschool competition maths. Problems in the "Set Theory" and "Natural Numbers" chapters of Elements of Abstract Algebra may be doable with Kimina-Prover, nothing beyond because it doesn't kn
6. 6.▲
   Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models(huggingface.co)

   3 points by frunkp 1y ago|2 comments