Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
EMeRALDS: Electronic Medical Record Driven Automated Lung Nodule Detection and Classification in Thoracic CT Images
arxiv.org·22h
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·23h
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·23h
A Transformer-Based Cross-Platform Analysis of Public Discourse on the 15-Minute City Paradigm
arxiv.org·22h
Geospatial AI for Liquefaction Hazard and Impact Forecasting: A Demonstrative Study in the U.S. Pacific Northwest
arxiv.org·22h
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.org·22h
Loading...Loading more...