Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
, distillation from LLMs, acceleration such as KV caching, data synthesis, utilization of external knowledge, multimodal integration, and architecture improvement. We aim for advanced research outcomes
Searches related to cache
Enter an email to receive alerts for cache positions