Links for tabpfn-lean