|
|
|
|
|
|
by fractorial
19 days ago
|
|
|
You might be interested to learn I am primarily doing proofs & formal methods. I have a couple of novel formalizations using some bolt-on programs I wrote for Claude Code, but I am mainly using it now to build my eval dataset for my custom inferencing and compute. |
|
|