SKI Combinators, Point-free Programming, Lambda Elimination, Church Encoding
Historical highlights?
logicmatters.netยท2d
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท3d
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.orgยท1d
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.orgยท2d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท1d
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.orgยท2d
Loading...Loading more...