( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

, , , , , , , , и . ICLR, OpenReview.net, (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.

Jiacheng Lin

Liu Liu

Liu Liu

Liu Liu

Dongmei Liu

 

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

PsiDB: A Framework for Batched Query Processing and Optimization., , , , и . IEEE BigData, стр. 6046-6048. IEEE, (2019)NaturalProver: Grounded Mathematical Proof Generation with Language Models., , , , и . NeurIPS, (2022)Architecting Efficient Multi-modal AIoT Systems., , , , , , , и . ISCA, стр. 31:1-31:13. ACM, (2023)A Bibliometric Analysis of Research Publications that Adopted the Medical Expenditure Panel Survey (MEPS) Data., , и . AMIA, AMIA, (2019)Conditional Transformation Diffusion for Object Placement., , и . ICIGP, стр. 363-368. ACM, (2024)Pangu-Agent: A Fine-Tunable Generalist Agent with Structured Reasoning., , , , , , , , , и 6 other автор(ы). CoRR, (2023)Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs., , , , , , , , и . ICLR, OpenReview.net, (2023)Unpacking DPO and PPO: Disentangling Best Practices for Learning from Preference Feedback., , , , , , , , и . CoRR, (2024)Graph Contrastive Learning for Truth Inference., , , , , , , , , и . ICDE, стр. 263-275. IEEE, (2024)A feature perturbation weakly supervised learning network for airborne multispectral LiDAR pointcloud classification., , , , , , , и . Int. J. Appl. Earth Obs. Geoinformation, (2024)