ENTITY
M2K
M2K
PulseAugur coverage of M2K — every cluster mentioning M2K across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New M2K framework enhances CUDA kernel verification for LLM inference
Researchers have developed M2K, a new framework designed to enhance the reliability of CUDA kernels used in large language model (LLM) inference systems. M2K addresses the issue of implicit and poorly specified interfac…
-
Imitation learning boosts automated theorem proving performance
Researchers have developed a novel approach to automated theorem proving by framing the construction of connection-tableaux as a policy within a transition system. This method utilizes a graph neural network trained via…