Refinement Types, SMT Integration, Program Verification, Type Safety
ELA-1477-1 jessie-elts end of life
freexian.comยท3h
Stop the Uncritical Adoption of AI Technologies in Academia
openletter.earthยท15h
SepFormer: Coarse-to-fine Separator Regression Network for Table Structure Recognition
arxiv.orgยท17h
Loading...Loading more...