Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Securing FreeBSD Services with Lightweight Jails
discoverbsd.comยท3h
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.comยท12h
Constrained Prompt Enhancement for Improving Zero-Shot Generalization of Vision-Language Models
arxiv.orgยท5h
Detecting Hope, Hate, and Emotion in Arabic Textual Speech and Multi-modal Memes Using Large Language Models
arxiv.orgยท1d
Prompting Techniques for Reducing Social Bias in LLMs through System 1 and System 2 Cognitive Processes
arxiv.orgยท1d
Loading...Loading more...