0
2 commits
1 linked in READMEs
updated Aug 28, 2025
AlexVav01/FormalMath-formalization
AlexVav01/autoformalization-clean
AlexVav01/autoformalization-bench
LukeBailey181Pub/D_3k
1
NousResearch/json-mode-eval
43
qq8933/OpenLongCoT-SFT
10
jayavibhav/prompt-injection
8
solanaclawd/solana-tx-foundation-cpt
Slim205/RL-Lean
