Martin-LĂśf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.org¡1d
RadarLLM: Adapting Pretrained Large Language Models for Marine Radar Target Detection with Preference-aware Loss
arxiv.org¡16h
SMILE: A Super-resolution Guided Multi-task Learning Method for Hyperspectral Unmixing
arxiv.org¡16h
EmoBench-Reddit: A Hierarchical Benchmark for Evaluating the Emotional Intelligence of Multimodal Large Language Models
arxiv.org¡16h
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org¡16h
Loading...Loading more...