( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
LEGO-Prover: Neural Theorem Proving with Growing Libraries.

, , , , , , , , , , , , , и . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yang Cao

Jingjing Cao

Yude Cao

Hong Cao

Weixun Cao

 

Другие публикации лиц с тем же именем

Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding., , , , и . CoRR, (2020)Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding., , , , и . IEEE Trans. Neural Networks Learn. Syst., 33 (7): 2758-2767 (2022)LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , и 2 other автор(ы). ICLR, OpenReview.net, (2024)Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning., , , , и . CoRR, (2019)LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , и 4 other автор(ы). CoRR, (2023)Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model., , , и . ISBI, стр. 1184-1187. IEEE, (2014)FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving., , , , , , , и . CoRR, (2024)REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement., , , , , и . CoRR, (2020)Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering., , , , и . ICCV, стр. 1594-1603. IEEE, (2021)DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning., , , , , , , , , и 3 other автор(ы). ICLR, OpenReview.net, (2024)