Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
The refusal problem in large language models
seangoedecke.com·1d
Multiscale geometrical and topological learning in the analysis of soft matter collective dynamics
arxiv.org·8h
\textit{FedABC}: Attention-Based Client Selection for Federated Learning with Long-Term View
arxiv.org·1d
Structural-Aware Key Node Identification in Hypergraphs via Representation Learning and Fine-Tuning
arxiv.org·1d
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·1d
MAGE: Multimodal Alignment and Generation Enhancement via Bridging Visual and Semantic Spaces
arxiv.org·8h
diffSPH: Differentiable Smoothed Particle Hydrodynamics for Adjoint Optimization and Machine Learning
arxiv.org·8h
Loading...Loading more...