Type Synthesis, Type Checking, Local Inference, Elaboration
The Shape of an Intermediate Logic Class
consequently.org·1d
Synthesizing Standalone World-Models, Part 4: Metaphysical Justifications
alignmentforum.org·4d
Transformer Classification of Breast Lesions: The BreastDCEDL_AMBL Benchmark Dataset and 0.92 AUC Baseline
arxiv.org·4h
CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
arxiv.org·4h
TopoSPAM: Topology grounded Simulation Platform for morphogenesis and biological Active Matter
arxiv.org·1d
DNABERT-2: Fine-Tuning a Genomic Language Model for Colorectal Gene Enhancer Classification
arxiv.org·4h
Thinking-Free Policy Initialization Makes Distilled Reasoning Models More Effective and Efficient Reasoners
arxiv.org·4h
Loading...Loading more...