Home
last modified time | relevance | path

Searched defs:theorem (Results 1 – 4 of 4) sorted by relevance

/aosp_15_r20/external/emboss/doc/
H A Dmodular_congruence_multiplication_proof.tex20 \newtheorem{theorem}{Theorem} theorem
/aosp_15_r20/external/executorch/examples/mediatek/models/llm_models/weights/Llama-3.2-1B-Instruct/
H A Dtokenizer.json35027 "theorem": 32615, number
/aosp_15_r20/external/executorch/examples/mediatek/models/llm_models/weights/Llama-3.2-3B-Instruct/
H A Dtokenizer.json35027 "theorem": 32615, number
/aosp_15_r20/external/executorch/examples/mediatek/models/llm_models/weights/llama3-8B-instruct/
H A Dtokenizer.json34968 "theorem": 32615, number