Formal mathematics statement curriculum learning. Polu, Stanislas et al. arXiv 2022. [paper] Proof Artifact Co-Training for Theorem Proving with Language Models. Jesse Michael Han et al. ICLR 2022. [paper] Solving quantitative reasoning problems with language models. Lewkowycz, Aitor et al. ar...
Katz, Lilian G.|Chard, Sylvia D - 《Curriculum Design》 被引量: 129发表: 1993年 Conditional gauge theorem for non-local Feynman-Kac transforms Feynman-Kac transforms driven by discontinuous additive functionals are studied in this paper for a large class of Markov processes. General gauge and ...