Do given the tables
https://gist.github.com/bytemouse/51615a6ddb82d7fc7aac35f65cb98902

The loop takes like 3 to 5 cycles per iteration depending on branch prediction

meinen Schwanz nicht lutschst, hinterlässt es Narben in meiner Seele

I feel like it definitely looks more like a story

What is a picture that you actually like?

I was just thinking that to create a Lean-optimized fine-tuned LLM, I would just need to hire an army of students to create a labeled dataset of half a million Lean proofs and secure one million dollars to spend on gpu hours.

Schizo geo guessing posting in the eyes of the uninitiated

What the fuck are you even talking about

adam.math.hhu.de

Try Lean by creating the natural numbers with the peano axioms, it's pretty fun.

A friend talked to me about how about LLMs can't solve tasks for the mathematical logic lecture but given an appropriate set of axioms and integration with lean most current LLMs easily can solve all math exercises in university.

https://adam.math.hhu.de/

Try Lean by creating the natural numbers with the peano axioms, it's pretty fun.

solve tasks for the mathematical logic lecture but given an appropriate set of axioms and integration with lean most current LLMs easily can solve all math exercises in university.

like a much less impressive step-function increase.