Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
Deploy a full-stack web application on Kubernetes: A Full Course meal
blog.devops.dev·4h
Negotiating Comfort: Simulating Personality-Driven LLM Agents in Shared Residential Social Networks
arxiv.org·16h
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·1d
The Hidden Costs of AI: A Review of Energy, E-Waste, and Inequality in Model Development
arxiv.org·16h
A Training-Free, Task-Agnostic Framework for Enhancing MLLM Performance on High-Resolution Images
arxiv.org·16h
Loading...Loading more...