欢迎加入我们~
This repository contains a Jax implementation of conformal training corresponding to the ICLR'22 paper "learning optimal conformal classifiers".
A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
最近更新: 4天前