SKI Combinators, Point-free Programming, Lambda Elimination, Church Encoding
A new look at twin reduction
cameroncounts.wordpress.comยท3d
2011 N1 = 2024 A2
blog.evanchen.ccยท1d
FSM Library for Embedded C Projects
hackster.ioยท4d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท21h
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.orgยท1d
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.orgยท1d
Loading...Loading more...