目前共计 83 个标签
3SAT CLIQUE Chomsky normal form CoT Cook-Levin theorem Finite Automata HPC LLaMA LoRA MoE NPC PEFT Post's correspondence problem Qwen RANSAC Rice theorem RoPE SAT SVD Skolem problem Turing machine VLM WSL agent api classical curve theory classical surface theory claude code coding coding agent compiler context free grammar context free language cuda curvature decorator einops embedding git gradient decent halting problem inference intro ld lecture notes linux loss machine learning math intro memory mex mpi multi-tape Turing machine normal numpy papers parallel computing part point cloud pose estimation positional encoding probability prompt engineering pumping lemma pushdown automata python quantization recursively enumerable language recursively language regular expression scaling law softmax software engineering sota tasks temperature tools torch two-stack PDA united platform video vscode warning